To Connect the Informal Graphical Design Methodology with the formal Specification in Information System Design.

Yi Zheng, Chih-Sung Tang

Browse the full DS paper archive.