conference paper
Rapid Prototyping of Formally Modelled Distributed Systems
Titsworth, Frances M.
1999
Proceedings of the Tenth International Workshop on Rapid System Prototyping (RSP'99)
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.
Type
conference paper
Author(s)
Buffo, Mathieu
Editors
Titsworth, Frances M.
Date Issued
1999
Publisher
Published in
Proceedings of the Tenth International Workshop on Rapid System Prototyping (RSP'99)
Start page
4
End page
9
Subjects
Written at
EPFL
EPFL units
Available on Infoscience
September 20, 2005
Use this identifier to reference this record