{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,25]],"date-time":"2026-07-25T01:03:52Z","timestamp":1784941432674,"version":"3.55.0"},"publisher-location":"Cham","reference-count":31,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032111753","type":"print"},{"value":"9783032111760","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,11,23]],"date-time":"2025-11-23T00:00:00Z","timestamp":1763856000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,11,23]],"date-time":"2025-11-23T00:00:00Z","timestamp":1763856000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-11176-0_5","type":"book-chapter","created":{"date-parts":[[2025,11,22]],"date-time":"2025-11-22T20:11:27Z","timestamp":1763842287000},"page":"39-66","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Domain Analysis and Description: A Tutorial"],"prefix":"10.1007","author":[{"given":"Dines","family":"Bj\u00f8rner","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2025,11,23]]},"reference":[{"key":"5_CR1","unstructured":"Bj\u00f8rner, D.: Software Engineering, Vol.\u00a01: Abstraction and Modelling; Vol.\u00a02: Specification of Systems and Languages; Vol.\u00a03: Domains, Requirements and Software Design. Texts in Theoretical Computer Science, the EATCS Series. Springer, Heidelberg (2006)"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Bj\u00f8rner, D.: Domain Science & Engineering \u2013 A Foundation for Software Development. In: EATCS Monographs in Theoretical Computer Science. A revised version of this book is [4]. Springer, Heidelberg (2021)","DOI":"10.1007\/978-3-030-73484-8"},{"key":"5_CR3","unstructured":"Bj\u00f8rner, D.: Domain Modeling Case Studies: Experimental research reports carried out to \u201cdiscover\u201d, try-out and refine method principles, techniques and tools (2023)"},{"key":"5_CR4","unstructured":"Bj\u00f8rner, D.: Domain Modeling Case Studies: Experimental research reports carried out to \u201cdiscover\u201d, try-out and refine method principles, techniques and tools, 2023. 2023: Nuclear Power Plants, A Domain Sketch (2023). www.imm.dtu.dk\/~dibj\/2023\/nupopl\/nupopl.pdf"},{"key":"5_CR5","unstructured":"Bj\u00f8rner, D.: Domain Modeling Case Studies: Experimental research reports carried out to \u201cdiscover\u201d, try-out and refine method principles, techniques and tools, 2023. 2021: Shipping (2021). www.imm.dtu.dk\/~dibj\/2021\/ral\/ral.pdf"},{"key":"5_CR6","unstructured":"Bj\u00f8rner, D.: Domain Modeling Case Studies: Experimental research reports carried out to \u201cdiscover\u201d, try-out and refine method principles, techniques and tools, 2023. 2021: Rivers and Canals \u2013 Endurants \u2013 A Technical Note (2021). www.imm.dtu.dk\/~dibj\/2021\/Graphs\/Rivers-and-Canals.pdf"},{"key":"5_CR7","unstructured":"Bj\u00f8rner, D.: Domain Modeling Case Studies: Experimental research reports carried out to \u201cdiscover\u201d, try-out and refine method principles, techniques and tools, 2023. 2021: A Retailer Market (2021). www.imm.dtu.dk\/~dibj\/2021\/Retailer\/BjornerHeraklit27January2021.pdf"},{"key":"5_CR8","unstructured":"Bj\u00f8rner, D.: Domain Modeling Case Studies: Experimental research reports carried out to \u201cdiscover\u201d, try-out and refine method principles, techniques and tools, 2023. 2019: Container Terminals, ECNU, Shanghai, China (2023). www.imm.dtu.dk\/~dibj\/2018\/yangshan\/maersk-pa.pdf"},{"key":"5_CR9","unstructured":"Bj\u00f8rner, D.: Domain Modeling Case Studies: Experimental research reports carried out to \u201cdiscover\u201d, try-out and refine method principles, techniques and tools, 2023. 2018: Documents, TongJi Univ., Shanghai, China (2023). www.imm.dtu.dk\/~dibj\/2017\/docs\/docs.pdf"},{"key":"5_CR10","unstructured":"Bj\u00f8rner, D.: Domain Modeling Case Studies: Experimental research reports carried out to \u201cdiscover\u201d, try-out and refine method principles, techniques and tools, 2023. 2017: Urban Planning, TongJi Univ., Shanghai, China (2023). www.imm.dtu.dk\/~dibj\/2017\/urban-planning.pdf"},{"key":"5_CR11","unstructured":"Bj\u00f8rner, D.: Domain Modeling Case Studies: Experimental research reports carried out to \u201cdiscover\u201d, try-out and refine method principles, techniques and tools, 2023. 2017: Swarms of Drones, Inst. of Softw., Chinese Acad. of Sci., Peking, China (2023). www.imm.dtu.dk\/~dibj\/2017\/swarms\/swarm-paper.pdf"},{"key":"5_CR12","unstructured":"Bj\u00f8rner, D.: Domain Modeling Case Studies: Experimental research reports carried out to \u201cdiscover\u201d, try-out and refine method principles, techniques and tools, 2023. 2013: Road Transport, Technical University of Denmark (2023). www.imm.dtu.dk\/~dibj\/road-p.pdf"},{"key":"5_CR13","unstructured":"Bj\u00f8rner, D.: Domain Modeling Case Studies: Experimental research reports carried out to \u201cdiscover\u201d, try-out and refine method principles, techniques and tools, 2023. 2012: Credit Cards, Uppsala, Sweden (2023). www.imm.dtu.dk\/~dibj\/2016\/credit\/accs.pdf"},{"key":"5_CR14","unstructured":"Bj\u00f8rner, D.: Domain Modeling Case Studies: Experimental research reports carried out to \u201cdiscover\u201d, try-out and refine method principles, techniques and tools, 2023. 2012: Weather Information, Bergen, Norway (2023). www.imm.dtu.dk\/~dibj\/2016\/wis\/wis-p.pdf"},{"key":"5_CR15","unstructured":"Bj\u00f8rner, D.: Domain Modeling Case Studies: Experimental research reports carried out to \u201cdiscover\u201d, try-out and refine method principles, techniques and tools, 2023. 2010: Web-based Transaction Processing, Techn. Univ. of Vienna, Austria, p. 186 (2023). www.imm.dtu.dk\/~dibj\/wfdftp.pdf"},{"key":"5_CR16","unstructured":"Bj\u00f8rner, D.: Domain Modeling Case Studies: Experimental research reports carried out to \u201cdiscover\u201d, try-out and refine method principles, techniques and tools, 2023. 2010: The Tokyo Stock Exchange, Tokyo Univ., Japan (2023). www.imm.dtu.dk\/~db\/todai\/tse-1.pdf. www.imm.dtu.dk\/~db\/todai\/tse-2.pdf"},{"key":"5_CR17","unstructured":"Bj\u00f8rner, D.: Domain Modeling Case Studies: Experimental research reports carried out to \u201cdiscover\u201d, try-out and refine method principles, techniques and tools, 2023. 2009: Pipelines, Technical University of Graz, Austria (2023). www.imm.dtu.dk\/~dibj\/pipe-p.pdf"},{"key":"5_CR18","unstructured":"Bj\u00f8rner, D.: Domain Modeling Case Studies: Experimental research reports carried out to \u201cdiscover\u201d, try-out and refine method principles, techniques and tools, 2023. 2007: A Container Line Industry Domain, Technical University of Denmark (2023). www.imm.dtu.dk\/~dibj\/container-paper.pdf"},{"key":"5_CR19","unstructured":"Bj\u00f8rner, D.: Domain Modeling Case Studies: Experimental research reports carried out to \u201cdiscover\u201d, try-out and refine method principles, techniques and tools, 2023. 2002: The Market, Technical University of Denmark (2023). www.imm.dtu.dk\/~dibj\/themarket.pdf"},{"key":"5_CR20","unstructured":"Bj\u00f8rner, D.: Domain Modeling Case Studies: Experimental research reports carried out to \u201cdiscover\u201d, try-out and refine method principles, techniques and tools, 2023. 1995\u20132004: Railways, Technical University of Denmark - a compendium (2023). www.imm.dtu.dk\/~dibj\/train-book.pdf"},{"key":"5_CR21","unstructured":"Bj\u00f8rner, D.: Domain Modelling \u2013 A Primer. A short and significantly revised version of [2]. xii+202 (This book is currently being translated into Chinese by Dr. Yang ShaoFa, IoS\/CAS (Institute of Software, Chinese Academy of Sciences), Beijing and into Russian by Dr. Mikhail Chupilko and his colleagues, ISP\/RAS (Institute of Systems Programming, Russian Academy of Sciences), Moscow) (2023)"},{"key":"5_CR22","unstructured":"Bj\u00f8rner, D.: Domain Models \u2013 A Compendium. Internet (2024). http:\/\/www.imm.dtu.dk\/~dibj\/2024\/models\/domain-models.pdf. This is a very early draft. 19 domain models are presented"},{"key":"5_CR23","unstructured":"Bj\u00f8rner, D.: Banking \u2013 A Domain Description. Technical report, Technical University of Denmark, Fredsvej 11, DK-2840 Holte (2025). https:\/\/www.imm.dtu.dk\/~dibj\/2025\/banking\/main.pdf"},{"key":"5_CR24","unstructured":"Bj\u00f8rner, D.: Domain Analysis & Description. Technical report, Technical University of Denmark, Fredsvej 11, DK-2840 Holte (2025)"},{"key":"5_CR25","unstructured":"Bj\u00f8rner, D.: Transport \u2013 A Domain Description. Technical report, Technical University of Denmark, Fredsvej 11, DK-2840 Holte (2025). https:\/\/www.imm.dtu.dk\/~dibj\/2025\/transport\/main.pdf"},{"key":"5_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-10283-3","volume-title":"Towards a Formal Description of Ada","year":"1980","unstructured":"Bj\u00f8rner, D., Nest, O.N. (eds.): Towards a Formal Description of Ada. LNCS, vol. 98. Springer, Heidelberg (1980). https:\/\/doi.org\/10.1007\/3-540-10283-3"},{"key":"5_CR27","unstructured":"Bj\u00f8rner, D., P\u011bni\u010dka, M.: Towards a TRAIN Book for The RAIlway DomaiN. Technical reports, Technical University of Denmark, Fredsvej 11, DK-2840 Holte, Denmark (2004). http:\/\/www.imm.dtu.dk\/~dibj\/train-book.pdf"},{"key":"5_CR28","unstructured":"Jackson, M.A.: Software Requirements & Specifications: a lexicon of practice, principles and prejudices. ACM Press. Addison-Wesley, Reading (1995)"},{"key":"5_CR29","doi-asserted-by":"crossref","unstructured":"Jackson, M.A.: Program verification and system dependability. In: Boca, P., Bowen, J., Siddiqi, J. (eds.) Formal Methods: State of the Art and New Directions, London, UK, pp. 43\u201378. Springer, Heidelberg (2009)","DOI":"10.1007\/978-1-84882-736-3_2"},{"key":"5_CR30","unstructured":"S\u00f8rlander, K.: Den rene fornufts struktur [The Structure of Pure Reason]. Ellek\u00e6r, Slagelse, Denmark. See [14] (2022)"},{"key":"5_CR31","doi-asserted-by":"crossref","unstructured":"S\u00f8rlander, K.: The Structure of Pure Reason. Springer, Heidelberg (2025). This is an English translation of [13] \u2013 done by Dines Bj\u00f8rner in collaboration with the author","DOI":"10.1007\/978-3-031-83301-4_6"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing \u2013 ICTAC 2025"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-11176-0_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,2,10]],"date-time":"2026-02-10T11:09:49Z","timestamp":1770721789000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-11176-0_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,23]]},"ISBN":["9783032111753","9783032111760"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-11176-0_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,11,23]]},"assertion":[{"value":"23 November 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICTAC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Colloquium on Theoretical Aspects of Computing","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Marrakesh","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Morocco","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 November 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 November 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ictac2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/ictac2025.digital-hub.sh\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}