GDPA  
Index for publications on software process technologies  

Stepwise refinement

Contents  
  • Glossary
  • Publications
  • See also
  • Glossary

    Stepwise Refinement

    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

    See also

    Publications on software process technologies

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