DocumentCode
2277441
Title
Problems and requirements [software development]
Author
Jackson, Michael
Author_Institution
101 Hamilton Terrace, London, UK
fYear
1995
fDate
27-29 Mar 1995
Firstpage
2
Lastpage
8
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Requirements Engineering, 1995., Proceedings of the Second IEEE International Symposium on
Print_ISBN
0-8186-7017-7
Type
conf
DOI
10.1109/ISRE.1995.512540
Filename
512540
Link To Document