{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,14]],"date-time":"2026-05-14T07:16:43Z","timestamp":1778743003071,"version":"3.51.4"},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Annals of Software Engineering"],"published-print":{"date-parts":[[1997,1]]},"DOI":"10.1023\/a:1018990005598","type":"journal-article","created":{"date-parts":[[2003,2,19]],"date-time":"2003-02-19T22:07:13Z","timestamp":1045692433000},"page":"5-21","source":"Crossref","is-referenced-by-count":105,"title":["The meaning of requirements"],"prefix":"10.1007","volume":"3","author":[{"given":"Michael","family":"Jackson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"326137_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0167-6423(93)90021-G","volume":"20","author":"A. Dardenne","year":"1993","unstructured":"Dardenne, A., A. van Lamsweerde, and S. Fickas (1993), \u201cGoal-Directed Requirements Acquisition,\u201d Science of Computer Programming 20,1, 3\u201350.","journal-title":"Science of Computer Programming"},{"key":"326137_CR2","first-page":"65","volume-title":"Proceedings of the IEEE International Symposium on Requirements Engineering","author":"S. Easterbrook","year":"1993","unstructured":"Easterbrook, S. (1993), \u201cDomain Modelling with Hierarchies of Alternative Viewpoints,\u201d In Proceedings of the IEEE International Symposium on Requirements Engineering, IEEE Computer Society Press, Los Alamitos, CA, pp. 65\u201372."},{"key":"326137_CR3","first-page":"48","volume-title":"Proceedings of the Second IEEE International Symposium on Requirements Engineering","author":"S. Easterbrook","year":"1995","unstructured":"Easterbrook, S. and B. Nuseibeh (1995), \u201cManaging Inconsistencies in an Evolving Specification,\u201d In Proceedings of the Second IEEE International Symposium on Requirements Engineering, IEEE Computer Society Press, Los Alamitos, CA, pp. 48\u201355."},{"issue":"2","key":"326137_CR4","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1145\/22719.22947","volume":"9","author":"M. S. Feather","year":"1987","unstructured":"Feather, M. S. (1987), \u201cLanguage Support for the Specification and Development of Composite Systems,\u201d ACM Transactions on Programming Languages and Systems 9,2, 198\u2013234.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"326137_CR5","volume-title":"Engineering and the Mind's Eye","author":"E. S. Ferguson","year":"1992","unstructured":"Ferguson, E. S. (1992), Engineering and the Mind's Eye, MIT Press, Cambridge, MA and London, UK."},{"key":"326137_CR6","volume-title":"Software Requirements and Specifications","author":"M. Jackson","year":"1995","unstructured":"Jackson, M. (1995), Software Requirements and Specifications, Addison-Wesley, Reading, MA."},{"key":"326137_CR7","first-page":"56","volume-title":"Proceedings of the Second IEEE International Symposium on Requirements Engineering","author":"M. Jackson","year":"1993","unstructured":"Jackson, M. and P. Zave (1993), \u201cDomain Descriptions,\u201d In Proceedings of the Second IEEE International Symposium on Requirements Engineering, IEEE Computer Society Press, Los Alamitos, CA, pp. 56\u201364."},{"key":"326137_CR8","first-page":"15","volume-title":"Proceedings of the 17th International Conference on Software Engineering","author":"M. Jackson","year":"1995","unstructured":"Jackson, M. and P. Zave (1995), \u201cDeriving Specifications from Requirements: An Example,\u201d In Proceedings of the 17th International Conference on Software Engineering, ACM and IEEE Computer Society Press, Los Alamitos, CA, pp. 15\u201324."},{"issue":"7","key":"326137_CR9","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1109\/MC.1993.274940","volume":"26","author":"N. G. Leveson","year":"1993","unstructured":"Leveson, N. G. and C. S. Turner (1993), \u201cAn Investigation of the Therac-25 Accidents,\u201d IEEE Computer 26,7, 18\u201341.","journal-title":"IEEE Computer"},{"key":"326137_CR10","volume-title":"Computer-Related Risks","author":"P. Neumann","year":"1995","unstructured":"Neumann, P. (1995), Computer-Related Risks, Addison-Wesley, Reading, MA."},{"key":"326137_CR11","volume-title":"Proceedings of the Second European Conference on Computer-Supported Cooperative Work ECSCW-91","author":"M. Robinson","year":"1991","unstructured":"Robinson, M. and L. Bannon (1991), \u201cQuestioning Representations,\u201d In Proceedings of the Second European Conference on Computer-Supported Cooperative Work ECSCW-91, L. Bannon, M. Robinson, and K. Schmidt, Eds., Kluwer, Dordrecht."},{"key":"326137_CR12","first-page":"194","volume-title":"Proceedings of the Second IEEE International Symposium on Requirements Engineering","author":"A. Van Lamsweerde","year":"1995","unstructured":"Van Lamsweerde, A., R. Darimont, and P. Massonet (1995), \u201cGoal-Directed Elaboration of Requirements for a Meeting Scheduler: Problems and Lessons Learnt,\u201d In Proceedings of the Second IEEE International Symposium on Requirements Engineering, IEEE Computer Society Press, Los Alamitos, CA, pp. 194\u2013203."},{"key":"326137_CR13","unstructured":"Woodcock, J. and J. Davies (1996), Using Z: Specification, Refinement and Proof, Prentice-Hall."},{"key":"326137_CR14","unstructured":"Wordsworth, J. B. (1992), Software Development with Z: A Practical Approach to Formal Methods in Software Engineering, Addison-Wesley."}],"container-title":["Annals of Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018990005598.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1018990005598\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018990005598.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T14:21:55Z","timestamp":1747578115000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1018990005598"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,1]]},"references-count":14,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1997,1]]}},"alternative-id":["326137"],"URL":"https:\/\/doi.org\/10.1023\/a:1018990005598","relation":{},"ISSN":["1022-7091","1573-7489"],"issn-type":[{"value":"1022-7091","type":"print"},{"value":"1573-7489","type":"electronic"}],"subject":[],"published":{"date-parts":[[1997,1]]}}}