Title :
Stepwise Refinement Process With Modularity: An Algebraic Approach
Author :
Nakagawa, Ataru T. ; Futatsugi, Kokichi
Author_Institution :
Electrotechnical Laboratory
Keywords :
Algebra; Cities and towns; Concrete; Distributed computing; Laboratories; Permission; Shape; Specification languages; Terminology;
Conference_Titel :
Software Engineering, 1989. 11th International Conference on
Print_ISBN :
0-8186-8941-2
DOI :
10.1109/ICSE.1989.714417
