Title :
Problems and requirements [software development]
Author :
Jackson, Michael
Author_Institution :
101 Hamilton Terrace, London, UK
Abstract :
Requirements, specifications, and programs are distinguished by the phenomena they concern. Requirements are about phenomena of the application domain and describe properties of the domain that the machine is required to bring about and maintain. The application domain is informal, and serious difficulties are encountered both in describing it and in reasoning about it. Requirements are complex, so they must be decomposed. Decomposition is based on the recognition of simple subproblems, characterised by problem frames.
Keywords :
formal specification; systems analysis; application domain; domain knowledge; problem frames; program requirements; simple subproblems; specifications; Character recognition; Control systems; Cranes; Design engineering; Job production systems; Knowledge engineering; Presses; Programming; Rail transportation; Software systems;
Conference_Titel :
Requirements Engineering, 1995., Proceedings of the Second IEEE International Symposium on
Print_ISBN :
0-8186-7017-7
DOI :
10.1109/ISRE.1995.512540
