Software (Re-)Engineering with PSF III: an IDE for PSF

Simple item page
dc.creatorDiertens, Bob
dc.date2007-12-19
dc.date.accessioned2026-07-07T08:50:18Z
dc.date.available2026-07-07T08:50:18Z
dc.descriptionWe describe the design of an integrated development environment (IDE) for PSF. In the software engineering process we used process algebra in the form of PSF for the specification of the architecture of the IDE. This specification is refined to a PSF specification of the IDE system as a ToolBus application, by applying vertical and horizontal implementation techniques. We implemented the various tools as specified and connected them with a ToolBus script extracted from the system specification.
dc.identifierhttps://arxiv.org/abs/0712.3128
dc.identifierhttp://arxiv.org/abs/0712.3128
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/144561
dc.subjectSoftware Engineering
dc.titleSoftware (Re-)Engineering with PSF III: an IDE for PSF
dc.typetext

Files

Collections

arXiv