Specifying Software Specification & Design Methods

Motoshi Saeki, Kuo Wenyin

Browse the full CaiSE paper archive.