Index for publications on software process technologies


Index for publications on software process technologies

Stepwise refinement

Contents
Glossary
Publications
See also

Contents		Glossary Publications See also

Publications

1994:
/Sa, 1994/ Modelling Processes Using a Stepwise Refinement Technique

1990:
/Ochimizu, 1990/ A process-oriented architecture with knowledge acquisition and refinement mechanisms on software processes
/Rueher, 1990/ Formalizing operations and relationships on objects to support dynamic refinement of process models instances

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

1971:
/Wirth, 1971/ Program Development by Step-wise Refinement