Index for publications on software process technologies


Index for publications on software process technologies

Formal Methods/Models

Contents
Publications
See also

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