Software (Re-)Engineering with PSF II: from architecture to implementation
Abstract
This paper presents ongoing research on the application of PSF in the field of software engineering and reengineering. We build a new implementation for the simulator of the PSF Toolkit starting from the specification in PSF of the architecture of a simple simulator and extend it with features to obtain the architecture of a full simulator. We apply refining and constraining techniques on the specification of the architecture to obtain a specification low enough to build an implementation from.
- Publication:
-
arXiv e-prints
- Pub Date:
- December 2007
- DOI:
- 10.48550/arXiv.0712.3115
- arXiv:
- arXiv:0712.3115
- Bibcode:
- 2007arXiv0712.3115D
- Keywords:
-
- Computer Science - Software Engineering