• DocumentCode
    2980677
  • Title

    Rapid prototyping of formally modelled distributed systems

  • Author

    Buchs, Didier ; Buffo, Mathieu

  • Author_Institution
    Software Eng. Lab., Swiss Federal Inst. of Technol., Lausanne, Switzerland
  • fYear
    1999
  • fDate
    36342
  • Firstpage
    4
  • Lastpage
    9
  • 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
  • Keywords
    distributed processing; software prototyping; distributed systems CO-OPN/2; formal modelling language; formally modelled distributed systems; prototype evolution; rapid prototyping; software life-cycle; Application software; Concrete; Context modeling; Laboratories; Object oriented modeling; Petri nets; Programming; Prototypes; Software engineering; Software prototyping;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Rapid System Prototyping, 1999. IEEE International Workshop on
  • Conference_Location
    Clearwater, FL
  • Print_ISBN
    0-7695-0246-6
  • Type

    conf

  • DOI
    10.1109/IWRSP.1999.779023
  • Filename
    779023
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2980677