New methods of managing developments to large software systems are being tested. They rely on building/maintaining models of the current system and planning developments by experimenting with the models. We have chosen a particular application domain where the need for distribution is most apparent. Models have been built in a variety of specialized languages but for commercial reasons, the resulting implementations are written in C++.
Declarative Systems & Software Engineering Group
Department of Electronics and Computer Science
University of Southampton
28th December 1994