Building a simulator in the $\mu$CRL toolbox -- A case-study in modern software engineering
Henri Korver · Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands · 1996
In this paper we report on the current status of our development of a simulator tool in the $mu CRL$ Toolbox. The tool is built from (reusable) software components which are implemented in different languages like C, TCL/TK and ASF+SDF. The components communicate with each other via the ToolBus which is a new software architecture for building large, heterogeneous and distributed systems.