Stepwise Refinement Process with Modularity: An Algebraic Approach.

Ataru T. Nakagawa, Kokichi Futatsugi

Browse the full ICSE paper archive.