فهرست

[۱] C.A. Gunter, E.L. Gunter, M. Jackson, P. Zave “A reference model for requirements and specifications”, IEEE Software, ۱۷(۳):۳۷-۴۳, ۲۰۰۰.

[۲] J.G. Hall, L. Rapanotti, Towards a semantics of Problem Frames, The Open University, Department of Computing, Research Report No. ۲۰۰۳/۵, ۲۰۰۳.

[۳] C. A. R. Hoare, Communicating Sequential Processes. Englewood Cliffs, NJ: Prentice-Hall, ۱۹۸۵.

[۴] M. Jackson, Software Requirements & Specifications: a Lexicon of Practice, Principles, and Prejudices, Addison- Wesley, ۱۹۹۵.

[۵] M. Jackson, Problem Frames, ACM Press Books, Addison Wesley, ۲۰۰۱

[۶]Alderson, A. (۱۹۹۳) Meta-CASE Technology. IPSYS Software plc, Macclesfield, Cheshire, UK.