{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,17]],"date-time":"2025-01-17T09:43:05Z","timestamp":1737106985125,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540413486"},{"type":"electronic","value":"9783540444114"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44411-4_1","type":"book-chapter","created":{"date-parts":[[2007,6,18]],"date-time":"2007-06-18T22:52:31Z","timestamp":1182207151000},"page":"1-17","source":"Crossref","is-referenced-by-count":8,"title":["Domain Engineering: A Software Engineering Discipline in Need of Research"],"prefix":"10.1007","author":[{"given":"Dines","family":"Bj\u00f8rner","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,1,22]]},"reference":[{"key":"1_CR1","unstructured":"Dines Bj\u00f8rner. Domain Engineering, Elements of a Software Engineering Methodology \u2014 Towards Principles, Techniques and Tools\u2014A Study in Methodology. Research report, Dept. of Computer Science & Technology, Technical University of Denmark, Bldg. 343, DK-2800 Lyngby, Denmark, 2000. One in a series of summarising research reports [14], [15]. 4, 15, 16, 17"},{"key":"1_CR2","unstructured":"Dines Bj\u00f8rner. Domain Modelling: Resource Management Strategics, Tactics & Operations, Decision Support and Algorithmic Software. In J. C. P. Woodcock, editor, Festschrift to Tony Hoare. Oxford University and Microsoft, September 13\u201314 1999. 5, 16"},{"key":"1_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/10692867_1","volume-title":"RTSE\u201997: Requirements Targeted Software and Systems Engineering","author":"D. Bj\u00f8rner","year":"1998","unstructured":"Dines Bj\u00f8rner. Domains as Prerequisites for Requirements and Software &c. In M. Broy and B. Rumpe, editors, RTSE\u201997: Requirements Targeted Software and Systems Engineering, volume 1526 of Lecture Notes in Computer Science, pages 1\u201341. Springer-Verlag, Berlin Heidelberg, 1998. 15, 16"},{"key":"1_CR4","unstructured":"Michael A. Jackson. Software Requirements & Specifications: a lexicon of practice, principles and prejudices. ACM Press. Addison-Wesley Publishing Company, Wokingham, nr. Reading, England; E-mail: emipc@awpub.add-wes.co.uk, 1995. ISBN 0-201-87712-0; xiv + 228 pages. 15, 16"},{"key":"1_CR5","unstructured":"Dines Bj\u00f8rner, Souleymane Koussoube, Roger Noussi, and Gueorgui Satchok. Jackson\u2019s Problem Frames: Domain, Requirements and Design. In Shaoying Liu, editor, International Conference on Formal Engineering Methods: ICFEM\u201997,Washington D. C., USA, 12\u201314 November 1997. IEEE Computer Science Press; IEEE sponsored conference, Hiroshima, Japan. 15, 16"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Michael A. Jackson. Problems, methods and specialisation. Software Engineering Journal, pages 249\u2013255, November 1994. 16","DOI":"10.1049\/sej.1994.0034"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Michael A. Jackson. Problems and requirements (software development). In Second IEEE International Symposium on Requirements Engineering (Cat. No. 95TH8040), pages 2\u20138. IEEE Comput. Soc. Press, 1995. 16","DOI":"10.1109\/ISRE.1995.512540"},{"key":"1_CR8","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1018990005598","volume":"3","author":"M. A. Jackson","year":"1997","unstructured":"Michael A. Jackson. The meaning of requirements. Annals of Software Engineering, 3:5\u201321, 1997. 16","journal-title":"Annals of Software Engineering"},{"issue":"1","key":"1_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/237432.237434","volume":"6","author":"P. Zave","year":"1997","unstructured":"Pamela Zave and Michael A. Jackson. Four dark Corners of Requirements Engineering. ACM Transactions on Software Engineering and Methodology, 6(1):1\u201330, January 1997. 16","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"1_CR10","unstructured":"Dines Bj\u00f8rner. Pinnacles of Software Engineering: 25 Years of Formal Methods. Annals of Software Engineering, 2000. Eds. Dilip Patel and Wang Yi. 16"},{"key":"1_CR11","volume-title":"Festschrift to Hans Langmaack","author":"D. Bj\u00f8rner","year":"1999","unstructured":"Dines Bj\u00f8rner. A Triptych Software Development Paradigm: Domain, Requirements and Software. Towards a Model Development of A Decision Support System for Sustainable Development. In ErnstR\u00fcdiger Olderog, editor, Festschrift to Hans Langmaack. University of Kiel, Germany, October 1999. 16"},{"key":"1_CR12","unstructured":"Dines Bj\u00f8rner. Where do Software Architectures come from ? Systematic Development from Domains and Requirements. A Re-assessment of Software Engneering ? South African Journal of Computer Science, 1999. Editor: Chris Brink. 16"},{"key":"1_CR13","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1023\/A:1018969717835","volume":"6","author":"D. Bj\u00f8rner","year":"1998","unstructured":"Dines Bj\u00f8rner and Jorge R. Cu\u00e9llar. Software Engineering Education: R\u00f4les of formal specification and design calculi. Annals of Software Engineering, 6:365\u2013410, 1998. Published April 1999. 16","journal-title":"Annals of Software Engineering"},{"key":"1_CR14","unstructured":"Dines Bj\u00f8rner. Requirements Engineering, Elements of a Software Engineering Methodology\u2014Towards Principles, Techniques and Tools\u2014A Study in Methodology. Research report, Dept. of Computer Science & Technology, Technical University of Denmark, Bldg. 343, DK-2800 Lyngby, Denmark, 2000. One in a series of summarising research reports [1], [15]. 16, 17"},{"key":"1_CR15","unstructured":"Dines Bj\u00f8rner. Software Design: Architectures and Program Organisation, Elements of a Software Engineering Methodology\u2014Towards Principles, Techniques and Tools\u2014A Study in Methodology. Research report, Dept. of Computer Science & Technology, Technical University of Denmark, Bldg. 343, DK-2800 Lyngby, Denmark, 2000. One in a series of summarising research reports [1], [14]. 16, 17"}],"container-title":["Lecture Notes in Computer Science","SOFSEM 2000: Theory and Practice of Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44411-4_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,17]],"date-time":"2025-01-17T09:01:52Z","timestamp":1737104512000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44411-4_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540413486","9783540444114"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-44411-4_1","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}