Download Now Free registration required
In previous work, the authors described how the process algebra based language PSF can be used in software engineering, using the ToolBus, a coordination architecture also based on process algebra, as implementation model. They also described this software development process more formally by presenting the tools they use in this process in a CASE setting, leading to the PSF-ToolBus software engineering environment. In this paper, they summarize that work and describe a similar software development process for implementation of software systems using a client/server model and present this in a CASE setting as well.
- Format: PDF
- Size: 88.48 KB