Rapid Prototyping of Formally Modelled Distributed Systems

This paper presents various kinds of prototypes, used in the prototyping of formally modelled distributed systems. It presents the notions of prototyping techniques and prototype evolution, and shows how to relate them to the software life-cycle. It is illustrated through the use of the formal modelling language for distributed systems CO-OPN/2.


Editor(s):
Titsworth, Frances M.
Published in:
Proceedings of the Tenth International Workshop on Rapid System Prototyping (RSP'99)
Year:
1999
Publisher:
IEEE
Keywords:
Laboratories:




 Record created 2005-09-20, last modified 2018-01-27

External link:
Download fulltext
n/a
Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)