5 citations · 18 across the 4 of their papers we have counts for
4 papers
A Process Algebra Software Engineering Environment
B. Diertens
In previous work we described how the process algebra based language PSF can be used in software engineering, using the ToolBus, a coordination architecture also based on process a…
Software (Re-)Engineering with PSF III: an IDE for PSF
Bob Diertens
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…
Software (Re-)Engineering with PSF II: from architecture to implementation
Bob Diertens
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 To…
Software (Re-)Engineering with PSF
Bob Diertens
This paper investigates the usefulness of PSF in software engineering and reengineering. PSF is based on ACP (Algebra of Communicating Processes) and as some architectural descript…