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

Simple item page
dc.creatorDiertens, Bob
dc.date2007-12-19
dc.date.accessioned2026-07-07T08:50:17Z
dc.date.available2026-07-07T08:50:17Z
dc.descriptionThis 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.
dc.identifierhttps://arxiv.org/abs/0712.3115
dc.identifierhttp://arxiv.org/abs/0712.3115
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/144558
dc.subjectSoftware Engineering
dc.titleSoftware (Re-)Engineering with PSF II: from architecture to implementation
dc.typetext

Files

Collections

arXiv