Theory of Computer Science
Software
- ASF+SDF Meta-Environment
- An interactive development environment for formal specifications
that also acts as a generator for programming environments.
Developed in cooperation with CWI (SEN1).
- PSF-Toolkit
- A set of tools to support the development of process algebra
specifications with the
Process Specification
Formalism.
- ToolBus
- A system for the interconnection of heterogeneous, distributed
systems.
Developed in cooperation with CWI (SEN1).
- PGA-Toolset
- A toolset to aid in research on and education in
ProGram Algebra.
