Software (Re-)Engineering with PSF II: from architecture to implementation

Bob Diertens
DOI: https://doi.org/10.48550/arXiv.0712.3115
2007-12-19
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.
Software Engineering
What problem does this paper attempt to address?