Repository landing page

We are not able to resolve this OAI Identifier to the repository landing page. If you are the repository manager for this record, please head to the Dashboard and adjust the settings.
oaioai:dare.uva.nl:openaire_cris_publications/b19a3a25-a396-4ec3-9d78-a1b373f10b69

A process algebra software engineering environment

Authors
Publication date
1 January 2008
Publisher

Abstract

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 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

Similar works

Full text

thumbnail-image

International Migration, Integration and Social Cohesion online publications

redirect
oaioai:dare.uva.nl:openaire_cris_...
Last time updated on 08/03/2023

This paper was published in International Migration, Integration and Social Cohesion online publications.

Having an issue?

Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.