A Process Algebra Software Engineering Environment

Simple item page
dc.creatorDiertens, B.
dc.date2008-06-17
dc.date.accessioned2026-07-07T09:45:01Z
dc.date.available2026-07-07T09:45:01Z
dc.descriptionIn 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 algebra, as implementation model. In this article we summarize that work and describe the software development process more formally by presenting the tools we use in this process in a CASE setting, leading to the PSF-ToolBus software engineering environment. We generalize the refine step in this environment towards a process algebra based software engineering workbench of which several instances can be combined to form an environment.
dc.identifierhttps://arxiv.org/abs/0806.2730
dc.identifierhttp://arxiv.org/abs/0806.2730
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/163074
dc.subjectSoftware Engineering
dc.titleA Process Algebra Software Engineering Environment
dc.typetext

Files

Collections

arXiv