A reference model for requirements engineering

Proceedings of the IEEE International Conference on Requirements Engineering

Volumn 2003-January, Issue , 2003, Pages 181-187

  Hall, J G ^a   Rapanotti, L ^a  

^a OPEN UNIVERSITY   (United Kingdom)

Author keywords

Application software; Control system synthesis; Control systems; Grounding; Logic; Power engineering and energy; Programming; Software engineering; Vocabulary

Indexed keywords

APPLICATION PROGRAMS; COMPUTER SYSTEMS PROGRAMMING; CONTROL SYSTEMS; ELECTRIC GROUNDING; MATHEMATICAL PROGRAMMING; REQUIREMENTS ENGINEERING; SOFTWARE ENGINEERING;

LOGIC; POWER ENGINEERING AND ENERGIES; REACHABILITY; REFERENCE MODELING; VOCABULARY;

CONTROL SYSTEM SYNTHESIS;

EID: 28044447575     PISSN: 1090705X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICRE.2003.1232749     Document Type: Conference Paper

References (10)

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. M. Jackson, P. Zave, Deriving Specifications from Requirements: an example, Proc. 17th Int. Conf. on Sofware Engineering, IEEE Computer Society Press, Los Alsamos, California, 1995, pp. 15-24.
7. Y. Kesten, Z. Manna, A. Pnueli. Verifying Clocked Transition Systems. In Hybrid Systems III, LNCS vol. 1066, pp. 13-40, Springer-Verlag, 1996.
8. R. Milner, A Calculus of Communicating Systems, Lecture Notes in Computer Science 92, Springer-Verlag, 1980.
9. D.L.Parnas, J. Madey. Functional Documentation for Computer Systems. Science of Computer Programming, Vol. 25, No. 1, Oct, 1995, pp. 41-61.
10. P. Zave, M. Jackson, Four dark corners of Requirements Engineering, ACM Transactions on Software Engineering and and methodology, Vol. 6, No. 1, Jan. 1997, pp. 1-30.