From Requirements to Development: Methodology and Example.

Wen Su, Jean-Raymond Abrial, Runlei Huang, Huibiao Zhu

Browse the full ICFEM paper archive.