Software (Re-)Engineering with PSF II: from architecture to implementation
Software Engineering
2007-12-20 v1
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.
Cite
@article{arxiv.0712.3115,
title = {Software (Re-)Engineering with PSF II: from architecture to implementation},
author = {Bob Diertens},
journal= {arXiv preprint arXiv:0712.3115},
year = {2007}
}