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

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