• DocumentCode
    3143575
  • Title

    Triumphs and Challenges for Model-Oriented Formal Methods: The VDM++ Experience (Abstract)

  • Author

    Fitzgerald, John S. ; Larsen, Peter Gorm

  • Author_Institution
    Newcastle Univ., Newcastle upon Tyne
  • fYear
    2006
  • fDate
    15-19 Nov. 2006
  • Firstpage
    1
  • Lastpage
    4
  • Abstract
    The Vienna development method (VDM) is one of the longest established and best known formal methods. Recent developments in VDM have included its extension to support object-oriented design and concurrency in VDM++ and providing a capability for modelling real-time distributed systems. VDM is model-oriented - the formal language is used to construct a model of the system of interest, given in terms of data and functionality. In this paper, we draw on experience in developing the semantics and tool support for VDM, and in applying VDM technology in industry, to identify achievements and challenges in providing lightweight but effective formal methods.
  • Keywords
    Vienna development method; formal specification; specification languages; VDM++; Vienna development method; formal specification language; model-oriented formal method; object-oriented design; real-time distributed systems; Automation; Computer industry; Concurrent computing; Educational institutions; Formal specifications; Laboratories; Logic; Object oriented modeling; Programming; Real time systems;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Leveraging Applications of Formal Methods, Verification and Validation, 2006. ISoLA 2006. Second International Symposium on
  • Conference_Location
    Paphos
  • Print_ISBN
    978-0-7695-3071-0
  • Type

    conf

  • DOI
    10.1109/ISoLA.2006.33
  • Filename
    4463684
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3143575