GDPA  
Index for publications on software process technologies  

Formal Methods/Models

Contents  
  • Publications
  • See also
  • Publications

    2001:
    /Becker-Kornstaedt, 2001/ Software Process Technology Transfer: Using a Formal Process Notation to Capture a Software Process in Industry

    1997:
    /Hußmann, 1997/ Formal Foundations for Software Engineering Methods

    1995:
    /Sa, 1995/ A Reflexive Formal Software Process Model

    1993:
    /Sa, 1993/ A Formal Description of the ISPW-6 Software Process Example
    /Suzuki, 1993/ A formal model of re-execution in software process
    /Votta, 1993/ Comparing One Formal to Informal Process Description

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

    1991:
    /Iida, 91/ Generating a Menu-oriented Navigation System from Formal Descriptions of Software Development Activity Sequence
    /Inuoue, 1991/ Design and Implementation of Process-Centered Environments based on Process Language PDL and Formal Grammar
    /Katayama, 1991/ What has been learned from applying a formal process model to a real-process

    1990:
    /Björner, 1990/ VDM '90: VDM and Z. Formal Methods in Software Development

    1989:
    /Finkelstein, 1989/ A structural framework for the formal representation of cooperation

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

    1987:
    /Björner, 1987/ On the Use of Formal Methods in Software Development

    1986:
    /Mili, 1986/ Formal models of stepwise refinements of programs

    See also

    Publications on software process technologies

    This page online  •  GDPA Online  •  Last Updated 17.June.2002 by C. Freericks