Rapid prototyping of formally modelled distributed systems

Conférence Chapitre d'actes Rapid prototyping of formally modelled distributed systems eng 1999 author Buchs Didier 22665 author Buffo Mathieu 29097 4-9 10.1109/IWRSP.1999.779023 978-0-7695-0246-5 http://ieeexplore.ieee.org/document/779023/ 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/. Prototypes Software prototyping Object oriented modeling Petri nets Software engineering Laboratories Programming Concrete Context modeling Application software IEEE Comput. Soc true 727 Software Modeling and Verification Proceedings Tenth IEEE International Workshop on Rapid System Prototyping: shortening the path from specification to prototype 16-18 June 1999 Clearwater (FL, USA) 39ac66eb-6fc2-43f0-88f8-6981195e9e56 Proceedings chapter (Published version) Public 1999Buchs_rapid_prototyping_formally.pdf 37374 application/pdf openAccess

Title	Published in	Access level	OA Policy	Year	Views	Downloads

Rapid prototyping of formally modelled distributed systems	Proceedings Tenth IEEE International Workshop on Rapid System Prototyping: shortening the path from specification to prototype			1999	365	526

Archive ouverte UNIGE

Buffo, Mathieu