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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Buchs, D., Buffo, M.
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Application software Concrete Context modeling Laboratories Object oriented modeling Petri nets Programming Prototypes Software engineering Software prototyping
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	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/sub /2/.
DOI:	10.1109/IWRSP.1999.779023