• DocumentCode
    1706466
  • Title

    Distributed cooperative formal methods tools

  • Author

    Goguen, Joseph ; Lin, Kai ; Mori, Akira ; Rosu, Grigore ; Sato, Akiyoshi

  • Author_Institution
    Dept. of Comput. Sci. & Eng., California Univ., San Diego, La Jolla, CA, USA
  • fYear
    1997
  • Firstpage
    55
  • Lastpage
    62
  • Abstract
    This paper describes some tools to support formal methods, and conversely some formal methods for developing such tools. We focus on distributed cooperative proving over the web. Our tools include a proof editor/assistant, servers for remote proof execution, a distributed truth protocol, an editor generator; and a new method for interface design called algebraic semiotics, which combines semiotics with algebraic specification. Some examples are given
  • Keywords
    algebraic specification; explanation; algebraic semiotics; algebraic specification; distributed cooperative formal methods tools; distributed cooperative proving; distributed truth protocol; editor generator; interface design; proof editor; remote proof execution; Computer industry; Computer science; Data structures; Design methodology; Drives; Internet; Java; Maintenance engineering; Protocols; Software tools;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Automated Software Engineering, 1997. Proceedings., 12th IEEE International Conference
  • Conference_Location
    Incline Village, NV
  • Print_ISBN
    0-8186-7961-1
  • Type

    conf

  • DOI
    10.1109/ASE.1997.632824
  • Filename
    632824
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1706466