{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T08:22:09Z","timestamp":1773217329614,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642193903","type":"print"},{"value":"9783642193910","type":"electronic"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-19391-0_13","type":"book-chapter","created":{"date-parts":[[2011,4,28]],"date-time":"2011-04-28T08:53:35Z","timestamp":1303980815000},"page":"167-183","source":"Crossref","is-referenced-by-count":3,"title":["Domains: Their Simulation, Monitoring and Control\u2014A Divertimento of Ideas and Suggestions"],"prefix":"10.1007","author":[{"given":"Dines","family":"Bj\u00f8rner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"4","key":"13_CR1","doi-asserted-by":"crossref","first-page":"411","DOI":"10.1007\/BF00243131","volume":"5","author":"W.R. Bevier","year":"1989","unstructured":"Bevier, W.R., Hunt Jr., W.A., Strother Moore, J., Young, W.D.: An approach to system verification. Journal of Automated Reasoning\u00a05(4), 411\u2013428 (1989); Special Issue on System Verification","journal-title":"Journal of Automated Reasoning"},{"key":"13_CR2","unstructured":"Bj\u00f8rner, D.: A ProCoS Project Description. Published in two slightly different versions: (1) EATCS Bulletin (October 1989), (2) Plander, I.(ed.): Proceedings: Intl. Conf. on AI & Robotics, Strebske Pleso, Slovakia, November 5-9. North-Holland, Publ., Amsterdam (1989), Dept. of Computer Science, Technical University of Denmark (October 1989)"},{"key":"13_CR3","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1145\/143062.143080","volume-title":"14th ICSE: Intl. Conf. on Software Eng., Melbourne, Australia","author":"D. Bj\u00f8rner","year":"1992","unstructured":"Bj\u00f8rner, D.: Trustworthy Computing Systems: The ProCoS Experience. In: 14th ICSE: Intl. Conf. on Software Eng., Melbourne, Australia, May 11-15, pp. 15\u201334. ACM Press, New York (1992)"},{"key":"13_CR4","unstructured":"Bj\u00f8rner, D.: Formal Software Techniques in Railway Systems. In: Schnieder, E. (ed.) 9th IFAC Symposium on Control in Transportation Systems, Technical University, Braunschweig, Germany, June 13-15, pp. 1\u201312 (2000); VDI\/VDE-Gesellschaft Mess\u2013 und Automatisieringstechnik, VDI-Gesellschaft f\u00fcr Fahrzeug\u2013 und Verkehrstechnik (invited talk)"},{"key":"13_CR5","volume-title":"Practical Foundations of Business and System Specifications","author":"D. Bj\u00f8rner","year":"2002","unstructured":"Bj\u00f8rner, D.: Domain Models of \u201dThe Market\u201d \u2014 in Preparation for E\u2013Transaction Systems. In: Kilov, H., Baclawski, K. (eds.) Practical Foundations of Business and System Specifications, The Netherlands. Kluwer Academic Press, Dordrecht (2002)"},{"key":"13_CR6","series-title":"Texts in Theoretical Computer Science, the EATCS Series","volume-title":"Software Engineering, vol.\u00a03: Domains, Requirements and Software Design","author":"D. Bj\u00f8rner","year":"2006","unstructured":"Bj\u00f8rner, D.: Software Engineering, vol.\u00a03: Domains, Requirements and Software Design. Texts in Theoretical Computer Science, the EATCS Series, vol.\u00a03. Springer, Heidelberg (2006)"},{"key":"13_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-75292-9_1","volume-title":"Theoretical Aspects of Computing \u2013 ICTAC 2007","author":"D. Bj\u00f8rner","year":"2007","unstructured":"Bj\u00f8rner, D.: Domain Theory: Practice and Theories, Discussion of Possible Research Topics. In: Jones, C.B., Liu, Z., Woodcock, J. (eds.) ICTAC 2007. LNCS, vol.\u00a04711, pp. 1\u201317. Springer, Heidelberg (2007)"},{"key":"13_CR8","unstructured":"Bj\u00f8rner, D.: Domain Descriptions (technical reports): (1) On Development of Web-based Software. A Divertimento of Ideas and Suggestions, http:\/\/www2.imm.dtu.dk\/~db\/wfdftp.pdf (2) XVSM: A Narrative and a Formalisation, http:\/\/www2.imm.dtu.dk\/~db\/xvsm-p.pdf (3) The Tokyo Stock Exchange, http:\/\/www2.imm.dtu.dk\/~db\/todai\/tse-1.pdf and http:\/\/www2.imm.dtu.dk\/~db\/todai\/tse-2.pdf (4) What is Logistics, http:\/\/www2.imm.dtu.dk\/~db\/logistics.pdf (5) A Domain Model of Oil Pipelines, http:\/\/www2.imm.dtu.dk\/~db\/pipeline.pdf (6) A Container Line Industry Domain, http:\/\/www2.imm.dtu.dk\/~db\/container-paper.pdf (7) A Railway Systems Domain, http:\/\/www.railwaydomain.org\/PDF\/tb.pdf (8) CoMet: Comparative Methodology, A Technical Note. Transport Systems, http:\/\/www2.imm.dtu.dk\/~db\/comet\/comet1.pdf R&D Experiments, Bj\u00f8rner, Fredsvej 11, DK-2840 Holte, Denmark (2007-2010)"},{"key":"13_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-68679-8_1","volume-title":"Concurrency, Graphs and Models","author":"D. Bj\u00f8rner","year":"2008","unstructured":"Bj\u00f8rner, D.: From Domains to Requirements. In: Degano, P., De Nicola, R., Bevilacqua, V. (eds.) Concurrency, Graphs and Models. LNCS, vol.\u00a05065, pp. 1\u201330. Springer, Heidelberg (2008)"},{"key":"13_CR10","unstructured":"Bj\u00f8rner, D.: An Emerging Domain Science \u2013 A R\u00f4le for Stanis\u0142aw Le\u015bniewski\u2019s Mereology and Bertrand Russell\u2019s Philosophy of Logical Atomism. Higher-order and Symbolic Computation (2009)"},{"key":"13_CR11","unstructured":"Bj\u00f8rner, D.: Domain Engineering: Technology Management, Research and Engineering. Research Monograph (# , 4); JAIST Press, 1-1, Asahidai, Nomi, Ishikawa 923-1292 Japan (2009); This Research Monograph contains the following main chapters: (1) On Domains and On Domain Engineering \u2013 Prerequisites for Trustworthy Software \u2013 A Necessity for Believable Management, pp. 3\u201338 (2) Possible Collaborative Domain Projects \u2013 A Management Brief, pp. 39\u201356 (3) The R\u00f4le of Domain Engineering in Software Development, pp. 57\u201372 (4) Verified Software for Ubiquitous Computing \u2013 A VSTTE Ubiquitous Computing Project Proposal, pp. 73\u2013106 (5) The Triptych Process Model \u2013 Process Assessment and Improvement, pp. 107\u2013138 (6) Domains and Problem Frames \u2013 The Triptych Dogma and M.A.Jackson\u2019s PF Paradigm, pp. 139\u2013175 (7) Documents \u2013 A Rough Sketch Domain Analysis, pp. 179\u2013200 (8) Public Government \u2013 A Rough Sketch Domain Analysis, pp. 201\u2013222 (9) Towards a Model of IT Security \u2014 \u2013 The ISO Information Security Code of Practice \u2013 An Incomplete Rough Sketch Analysis, pp. 223\u2013282 (10) Towards a Family of Script Languages \u2013 \u2013 Licenses and Contracts \u2013 An Incomplete Sketch, pp. 283\u2013328. Bj\u00f8rner will post this 507 page soft cover book (with 77 fine photos of \u201call things Japanese\u201d, in full colours, taken by Dines in 2006) to you provided you e-mail your name and address and post international reply postage coupons, in the total amount of: Denmark 60.50 Kr., Europe 126.00 Kr., elsewhere 209.00 Kr, http:\/\/en.wikipedia.org\/wiki\/International_reply_coupon"},{"key":"13_CR12","series-title":"History of Computing","volume-title":"Festschrift for Tony Hoare","author":"D. Bj\u00f8rner","year":"2009","unstructured":"Bj\u00f8rner, D.: On Mereologies in Computing Science. In: Roscoe, B. (ed.) Festschrift for Tony Hoare, London, UK. History of Computing, Springer, Heidelberg (2009)"},{"key":"13_CR13","series-title":"LNCS (the BCS FAC Series)","first-page":"1","volume-title":"BCS FACS Seminars","author":"D. Bj\u00f8rner","year":"2010","unstructured":"Bj\u00f8rner, D.: Domain Engineering. In: Boca, P., Bowen, J. (eds.) BCS FACS Seminars, London, UK. LNCS (the BCS FAC Series), pp. 1\u201342. Springer, Heidelberg (2010)"},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"Bj\u00f8rner, D.: Domain Science & Engineering \u2013 From Computer Science to The Sciences of Informatics, Part I of II: The Engineering Part. Kibernetika i sistemny analiz (2) (May 2010)","DOI":"10.1007\/s10559-010-9237-7"},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"Bj\u00f8rner, D.: Domain Science & Engineering \u2013 From Computer Science to The Sciences of Informatics Part II of II: The Science Part. Kibernetika i sistemny analiz (2) (May 2010)","DOI":"10.1007\/s10559-011-9308-4"},{"issue":"1","key":"13_CR16","first-page":"1","volume":"1","author":"D. Bj\u00f8rner","year":"2011","unstructured":"Bj\u00f8rner, D.: Believable Software Management. Encyclopedia of Software Engineering\u00a01(1), 1\u201332 (2011)","journal-title":"Encyclopedia of Software Engineering"},{"key":"13_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/978-3-642-11512-7_3","volume-title":"Concurrency, Compositionality, and Correctness","author":"D. Bj\u00f8rner","year":"2010","unstructured":"Bj\u00f8rner, D., Eir, A.: Compositionality: Ontology and Mereology of Domains. In: Dams, D., Hannemann, U., Steffen, M. (eds.) Concurrency, Compositionality, and Correctness. LNCS, vol.\u00a05930, pp. 22\u201359. Springer, Heidelberg (2010)"},{"key":"13_CR18","unstructured":"Bosch, J.: Design and Use of Software Architectures: Adopting and Evolving a Product-line Approach. ACM Press\/Addison-Wesley, New York\/NY (2000)"},{"key":"13_CR19","volume-title":"Pattern-Oriented Software Architecture: On Patterns and Pattern Languages","author":"F. Buschmann","year":"2007","unstructured":"Buschmann, F., Henney, K., Schmidt, D.C.: Pattern-Oriented Software Architecture: On Patterns and Pattern Languages. John Wiley & Sons Ltd., England (2007)"},{"key":"13_CR20","first-page":"351","volume-title":"Proceedings of the 14th International Conference on Software Engineering and Knowledge Engineering, SEKE 2002","author":"R. Falbo","year":"2002","unstructured":"Falbo, R., Guizzardi, G., Duarte, K.C.: An Ontological Approach to Domain Engineering. In: Proceedings of the 14th International Conference on Software Engineering and Knowledge Engineering, SEKE 2002, Ischia, Italy, July 15-19, pp. 351\u2013358. ACM, New York (2002)"},{"key":"13_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"406","DOI":"10.1007\/BFb0020002","volume-title":"VDM \u201991","author":"D.I. Good","year":"1991","unstructured":"Good, D.I., Young, W.D.: Mathematical Methods for Digital Systems Development. In: Prehn, S., Toetenel, H. (eds.) VDM 1991. LNCS, vol.\u00a0552, pp. 406\u2013430. Springer, Heidelberg (1991)"},{"issue":"3","key":"13_CR22","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1109\/52.896248","volume":"17","author":"C.A. Gunter","year":"2000","unstructured":"Gunter, C.A., Gunter, E.L., Jackson, M.A., Zave, P.: A Reference Model for Requirements and Specifications. IEEE Software\u00a017(3), 37\u201343 (2000)","journal-title":"IEEE Software"},{"key":"13_CR23","unstructured":"Harsu, M.: A Survey on Domain Engineering. Review, Institute of Software Systems, Tampere University of Technology, Finland (December 2002)"},{"key":"#cr-split#-13_CR24.1","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. C.A.R. Hoare Series in Computer Science. Prentice-Hall International, Englewood Cliffs (2004)"},{"key":"#cr-split#-13_CR24.2","unstructured":"Published electronically: http:\/\/www.usingcsp.com\/cspbook.pdf (2004)"},{"key":"13_CR25","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-28901-1","volume-title":"Software Product Line Engineering","author":"K. Pohl","year":"2005","unstructured":"Pohl, K., Bockle, G., van der Linden, F.: Software Product Line Engineering. Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","Rainbow of Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-19391-0_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,6]],"date-time":"2023-06-06T14:15:29Z","timestamp":1686060929000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-19391-0_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642193903","9783642193910"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-19391-0_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011]]}}}