A concern-based approach to generating formal requirements specifications

Ying Jin, Jing Zhang, Weiping Hao, Pengfei Ma, Yan Zhang, Haiyan Zhao, Hong Mei. A concern-based approach to generating formal requirements specifications. Frontiers of Computer Science in China, 4(2):162-172, 2010. [doi]

Abstract

Abstract is missing.