Within the theme of requirements engineering and formal specification, our group worked on the formal specification, in Object-Z, of hypermedia models such as the Dexter model and the Amsterdam Hypermedia model. We also did various case studies in software measurement. Based on these case studies, we developed a Measurement Capability Maturity Model (CMM), akin to the Software CMM as developed by the Software Engineering Institute. We furthermore worked on a supportive environment for interactive systems design which covers requirements engineering and design activities during early stages of development.
Within the theme of architecture, we are investigating how environmental issues, such as distribution, domain characteristics and quality considerations, impact software architecture. This research is done within specific application domains, such as visualisation or electronic commerce.
Within many of our research efforts, multimedia plays a dominant role. The interactive systems design project is intended to cover the development of multimedia user interfaces. The project which addresses the architecture of visualisation applications makes use of multimedia. Both these projects build on a framework for the development of hypermedia applications we developed.