Stepwise Refinement Process with Modularity: An Algebraic Approach

Ataru T. Nakagawa, Kokichi Futatsugi. Stepwise Refinement Process with Modularity: An Algebraic Approach. In ICSE. pages 166-177, 1989.

Abstract

Abstract is missing.