Rapid Prototyping of Formally Modelled Distributed Systems

Authors:
Didier Buchs;Mathieu Buffo
Affiliations:
-;-
Venue:
RSP '99 Proceedings of the Tenth IEEE International Workshop on Rapid System Prototyping
Year:
1999

Citing 0
Cited 2

From an Abstract Object-Oriented Model to a Ready-to-Use Embedded System Controller

RSP '01 Proceedings of the 12th International Workshop on Rapid System Prototyping
Prototyping object oriented specifications

ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.