An Integrated Specification Support System for Communication Software Design Based on Stepwise Refinement and Graphical Representation.

Katsuyuki Sarashina, Tsuyoshi Ando, Kaoru Takahashi, Masataka Ohta, Yoshiaki Tokita

Browse the full FORTE paper archive.