GDPA  
Index for tools/publications on formal methods  

Development Phases: Specification

Contents  
  • Publications
  • Projects/Tools
  • See also

    • Publications

    2000:
    /Van Lamsweerde, 2000/ Formal Specification: A Roadmap

    1992:
    /Sa, 1992/ Integrating a Formal Specification Method with PML: A Case Study

    1990:
    /Kersten, 1990/ Sichere Software (Formale Spezifikation und Verifikation vertrauenswürdiger Systeme)

    1988:
    /Rombach, 1988/ A specification framework for software processes: formal specification and derivation of information base requirements

    1987:
    /Hatley, 1987/ Strategies for Real-Time System Specification
    /Hayes, 1987/ Specification Case Studies

    1986:
    /Finkelstein, 1986/ Making formal specifications dynamic objects
    /Gehani, 1986/ Software Specification Techniques

    Projects/Tools

    ACSR - Algebra of Communicating Shared Resources
    Action Semantics
    ADL - Algebraic Design Language
    CafeOBJ
    CCS - Calculus of Communicating Systems
    CoFI - Common Framework Initiative
    COLD - Common Object-oriented Language for Design
    DisCo - specification method for reactive systems
    Extended ML
    LOTOS - Language of Temporal Ordering Specifications
    LUSTRE - language for programming reactive systems
    PARAGON - visual specification and verification of real-time systems
    SCR - Software Cost Reduction
    SDL - Specification and Description Language
    TAM - Temporal Agent Model
    Temporal-Rover - formal specification and testing
    TLA - Temporal Logic of Actions

    See also

    Index for tools/publications on formal methods

    GDPA Online Last Updated 01.Jan.2002 Updated by Webmaster Last Revised 01.Jan.2002 Revised by Webmaster