فهرست

[1] C.A. Gunter, E.L. Gunter, M. Jackson, P. Zave “A reference model for requirements and specifications”, IEEE Software, 17(3):37-43, 2000.

[2] J.G. Hall, L. Rapanotti, Towards a semantics of Problem Frames, The Open University, Department of Computing, Research Report No. 2003/5, 2003.

[3] C. A. R. Hoare, Communicating Sequential Processes. Englewood Cliffs, NJ: Prentice-Hall, 1985.

[4] M. Jackson, Software Requirements & Specifications: a Lexicon of Practice, Principles, and Prejudices, Addison- Wesley, 1995.

[5] M. Jackson, Problem Frames, ACM Press Books, Addison Wesley, 2001

[6]Alderson, A. (1993) Meta-CASE Technology. IPSYS Software plc, Macclesfield, Cheshire, UK.