The Community for Technology Leaders
Proceedings of 1995 IEEE International Symposium on Requirements Engineering (RE'95) (1995)
York, England
Mar. 27, 1995 to Mar. 29, 1995
ISBN: 0-8186-7017-7
pp: 2
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.
INDEX TERMS
formal specification; systems analysis; domain knowledge; specifications; program requirements; application domain; simple subproblems; problem frames
CITATION
M. Jackson, "Problems and requirements [software development]", Proceedings of 1995 IEEE International Symposium on Requirements Engineering (RE'95), vol. 00, no. , pp. 2, 1995, doi:10.1109/ISRE.1995.512540
47 ms
(Ver 3.3 (11022016))