Betty H. C. Cheng, Laura A. Campbell. Integrating Informal and Formal Approaches to Requirements Modeling and Analysis. In 5th IEEE International Symposium on Requirements Engineering (RE 2001), 27-31 August 2001, Toronto, Canada. pages 294-295, IEEE Computer Society, 2001. [doi]
Abstract is missing.