Building a simulator in the $\mu$CRL toolbox -- A case-study in modern software engineering

  • Authors:
  • Henri P. Korver

  • Affiliations:
  • -

  • Venue:
  • Building a simulator in the $\'mu$CRL toolbox -- A case-study in modern software engineering
  • Year:
  • 1996

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.