Rapid prototyping of formally modelled distributed systems

Buchs, Didier; Buffo, Mathieu

doi:10.1109/IWRSP.1999.779023

Proceedings chapter

English

Rapid prototyping of formally modelled distributed systems

ContributorsBuchs, Didier; Buffo, Mathieu

Presented atClearwater (FL, USA), 16-18 June 1999

Published inProceedings Tenth IEEE International Workshop on Rapid System Prototyping: shortening the path from specification to prototype, p. 4-9

PublisherIEEE Comput. Soc

Publication date1999

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/sub/2/.

Keywords

Prototypes
Software prototyping
Object oriented modeling
Petri nets
Software engineering
Laboratories
Programming
Concrete
Context modeling
Application software

Affiliation entities

Not a UNIGE publication

Research groups

Software Modeling and Verification

Citation (ISO format)

BUCHS, Didier, BUFFO, Mathieu. Rapid prototyping of formally modelled distributed systems. In: Proceedings Tenth IEEE International Workshop on Rapid System Prototyping: shortening the path from specification to prototype. Clearwater (FL, USA). [s.l.] : IEEE Comput. Soc, 1999. p. 4–9. doi: 10.1109/IWRSP.1999.779023

Proceedings chapter (Published version)

Identifiers

PID : unige:121384
DOI : 10.1109/IWRSP.1999.779023

Additional URL for this publicationhttp://ieeexplore.ieee.org/document/779023/

ISBN978-0-7695-0246-5

364views

522downloads

Creation23/07/2019 15:22:00

First validation23/07/2019 15:22:00

Update15/03/2023 17:49:04

Status update15/03/2023 17:49:03

Last indexation31/10/2024 13:55:25

Archive ouverte UNIGE

Rapid prototyping of formally modelled distributed systems

Technical informations