System and Software Engineering Laboratory Vrije Universiteit Brussel
There are two main lines of research in the group. The first one concerns integrated system development methodologies for distributed, reactive systems. Current research is on componential development, re-use, iteration, reverse and re-engineering. In this context, bridges are investigated between object oriented analysis and design formalisms (OMT/UML style), formal specification languages (SDL-92 style), and implementation languages (C, ...