Proceedings of 1995 IEEE International Symposium on Requirements Engineering (RE'95) (1995)
Mar. 27, 1995 to Mar. 29, 1995
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.
formal specification; systems analysis; domain knowledge; specifications; program requirements; application domain; simple subproblems; problem frames
M. Jackson, "Problems and requirements [software development]," Proceedings of 1995 IEEE International Symposium on Requirements Engineering (RE'95)(RE), York, England, 1995, pp. 2.