Rapid Prototyping of Formally Modelled Distributed Systems

Other literature type English OPEN
Buchs, Didier; Buffo, Mathieu; Titsworth, Frances M.;
(1999)
  • Publisher: IEEE
  • Subject: prototyping | ooMethod | concurrency | conform

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 throu... View more
Share - Bookmark