Projects
Current
PSF (Process Specification Formalism)
- Maintaining the Toolkit for PSF.
- Reengineering the Toolkit.
PGA (ProGram Algebra)
- Developing a Tool-set consisting of projections and simulators.
Software Engineering with Process Algebra
Computational Models
A sub-project of Software Engineering with Process Algebra that focuses on computational models that allow for concurrent execution of constructs.Software Design
Implementation of design principles into an abstract design process using a function-behaviour-structure framework.
Past
- System Renovation
- Building a factory for batch-oriented transformations of Cobol-systems.
Thread Algebra
The modelling of the behaviour of program objects as threads.- Extending the PGA Toolset with a thread simulator.