• DocumentCode
    1041997
  • Title

    Guest Editor´s Introduction: Rapid System Prototyping

  • Author

    Drusinsky, Doron ; Man-Tak Shing ; Demir, Kadir Alpaslan

  • Author_Institution
    Naval Postgraduate Sch., Monterey
  • Volume
    8
  • Issue
    5
  • fYear
    2007
  • fDate
    5/1/2007 12:00:00 AM
  • Firstpage
    1
  • Lastpage
    1
  • Abstract
    Integrating formal assertions into the modeling, implementation, and testing of statechart-based designs can enhance a system´s robustness by providing runtime monitoring and recovery from assertion failures.
  • Keywords
    formal specification; software prototyping; embedded assertion statecharts; formal assertions; rapid system prototyping; runtime monitoring; system robustness; Art; Conferences; Hardware; Multiprocessing systems; Operating systems; Prototypes; Robustness; Software libraries; System testing; rapid system prototyping;
  • fLanguage
    English
  • Journal_Title
    Distributed Systems Online, IEEE
  • Publisher
    ieee
  • ISSN
    1541-4922
  • Type

    jour

  • DOI
    10.1109/MDSO.2007.26
  • Filename
    4264331
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1041997