{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T12:44:01Z","timestamp":1742993041203,"version":"3.40.3"},"publisher-location":"Cham","reference-count":75,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031067723"},{"type":"electronic","value":"9783031067730"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-06773-0_2","type":"book-chapter","created":{"date-parts":[[2022,5,19]],"date-time":"2022-05-19T11:24:44Z","timestamp":1652959484000},"page":"14-51","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["An Essence of\u00a0Domain Engineering"],"prefix":"10.1007","author":[{"given":"Dines","family":"Bj\u00f8rner","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,5,20]]},"reference":[{"key":"2_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511979309","volume-title":"Quantum Computing since Democritus","author":"S Aaronson","year":"2013","unstructured":"Aaronson, S.: Quantum Computing since Democritus. Cambridge University Press, Cambridge (2013)"},{"key":"2_CR2","unstructured":"Ahbel-Rappe, S.: Socrates: A Guide for the Perplexed. A &C Black (Bloomsbury) (2011). ISBN 978-0-8264-3325-1"},{"key":"2_CR3","unstructured":"Ross, W.D., et al.: Plato\u2019s Theory of Ideas. Oxford University Press, Oxford (1963)"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Aristotle: Categories. On Interpretation. Prior Analytics. Harvard University Press [Loebb Classical Library, translated by H.P. Cooke and Hugh Tredenick] (1938)","DOI":"10.4159\/DLCL.aristotle-prior_analytics.1938"},{"key":"2_CR5","unstructured":"Audi, R.: The Cambridge Dictionary of Philosophy. Cambridge University Press, Cambridge (1995)"},{"key":"2_CR6","unstructured":"Berger, B., Whistler, D.: The Schelling Reader. Bloomsbury Publishing PLC, London (2020)"},{"key":"2_CR7","unstructured":"Berkeley, G.: Philosophical Works, Including the Works on Vision. Everyman edition, London (1975). (1713)"},{"key":"2_CR8","doi-asserted-by":"publisher","unstructured":"Bj\u00f8rner, D.: Software Engineering, Vol.\u00a01: Abstraction and Modelling. TTCS. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/3-540-31288-9","DOI":"10.1007\/3-540-31288-9"},{"key":"2_CR9","doi-asserted-by":"publisher","unstructured":"Bj\u00f8rner, D.: Software Engineering, Vol. 2: Specification of Systems and Languages. TTCS. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/978-3-540-33193-3. Chapters 12\u201314 are primarily authored by Christian Krog Madsen","DOI":"10.1007\/978-3-540-33193-3"},{"key":"2_CR10","doi-asserted-by":"publisher","unstructured":"Bj\u00f8rner, D.: Software Engineering, Vol.\u00a03: Domains, Requirements and Software Design. TTCS. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/3-540-33653-2","DOI":"10.1007\/3-540-33653-2"},{"key":"2_CR11","doi-asserted-by":"publisher","unstructured":"Bj\u00f8rner, D.: Domain Science & Engineering - A Foundation for Software Development. Monographs in Theoretical Computer Science. An EATCS Series. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-73484-8","DOI":"10.1007\/978-3-030-73484-8"},{"key":"2_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-030-78230-6_1","volume-title":"Integration of Constraint Programming, Artificial Intelligence, and Operations Research","author":"N Bj\u00f8rner","year":"2021","unstructured":"Bj\u00f8rner, N., Levatich, M., Lopes, N.P., Rybalchenko, A., Vuppalapati, C.: Supercharging plant configurations using Z3. In: Stuckey, P.J. (ed.) CPAIOR 2021. LNCS, vol. 12735, pp. 1\u201325. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-78230-6_1"},{"key":"2_CR13","unstructured":"Butterfield, J., Earmann, J. (eds.): Philosophy of Physics. Handbook of The Philosophy of Science. Elsevier (2006)"},{"key":"2_CR14","volume-title":"Der Logische Aufbau der Welt","author":"R Carnap","year":"1928","unstructured":"Carnap, R.: Der Logische Aufbau der Welt. Weltkreis, Berlin (1928)"},{"key":"2_CR15","volume-title":"The Logical Syntax of Language","author":"R Carnap","year":"1937","unstructured":"Carnap, R.: The Logical Syntax of Language. Harcourt Brace and Co., New York (1937)"},{"key":"2_CR16","volume-title":"Introduction to Semantics","author":"R Carnap","year":"1942","unstructured":"Carnap, R.: Introduction to Semantics. Harvard University Press, Cambridge (1942)"},{"key":"2_CR17","unstructured":"Carnap, R.: Meaning and Necessity, A Study in Semantics and Modal Logic. University of Chicago Press, Chicago (1947, 1956)"},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"Casati, R., Varzi, A.C.: Parts and Places: The Structures of Spatial Representation. MIT Press, Cambridge (1999)","DOI":"10.7551\/mitpress\/5253.001.0001"},{"key":"2_CR19","doi-asserted-by":"publisher","unstructured":"Clarke, E.M., Henzinger, T.A., Veith, H., Bloem, R.: Handbook of Model Checking. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-10575-8","DOI":"10.1007\/978-3-319-10575-8"},{"key":"2_CR20","unstructured":"Couprie, D.L., Kocandrle, R.: Anaximander: Anaximander on Generation and Destruction. Briefs in Philosophy Series. Springer"},{"key":"2_CR21","unstructured":"Darwin, C.: Origin of Species. Penguin Putnam (2003). Introduction by Sir Julian Huxley"},{"key":"2_CR22","doi-asserted-by":"crossref","unstructured":"Dawes, J.: The VDM-SL reference guide, vol. 18. Pitman, London (1991)","DOI":"10.1201\/9781482267419"},{"key":"2_CR23","doi-asserted-by":"crossref","unstructured":"Descartes, R.: Discours de la m\u00e9thode. Texte et commentaire par \u00c9tienne Gilson. Vrin, Paris (1987)","DOI":"10.1007\/978-3-476-03261-4_11"},{"key":"2_CR24","unstructured":"Henry Folse, J.F. (ed.): Niels Bohr and the Philosophy of Physics: Twenty-First-Century Perspectives. Bloomsbury Academic (2019)"},{"key":"2_CR25","unstructured":"Frege, G. (ed.): Begriffsschrift - \u201ca formula language, modelled on that of arithmetic, for pure thought\u201d. Verlag von Louis Nebert, Halle (1879)"},{"key":"2_CR26","unstructured":"George, C., Haxthausen, A.E.: The logic of the RAISE specification language. Comput. Artif. Intell. 22(3\u20134), 323\u2013350 (2003). http:\/\/www.sav.sk\/index.php?lang=en &charset=ascii &doc=journal &part=list_articles &journal_issue_no=882#abstract_2729"},{"key":"2_CR27","unstructured":"George, C.W., et al.: The RAISE Specification Language. The BCS Practitioner Series. Prentice-Hall, Hemel Hampstead (1992)"},{"key":"2_CR28","unstructured":"George, C.W., Haxthausen, A.E., Hughes, S., Milne, R., Prehn, S., Pedersen, J.S.: The RAISE Development Method. The BCS Practitioner Series. Prentice-Hall, Hemel Hampstead (1995)"},{"key":"2_CR29","doi-asserted-by":"crossref","unstructured":"G\u00f6del, K.: \u00dcber formal unentscheidbare S\u00e4tze der Principia Mathematica und verwandter Systeme I. Monatshefte f\u00fcr Mathematik Physik 38, 173\u2013198 (1931). [English translation in van Heijenoort 1967, 596\u2013616, and in G\u00f6del, 1986, 144\u2013195]","DOI":"10.1007\/BF01700692"},{"key":"2_CR30","unstructured":"Hegel, G.W.F.: Wissenschaft der Logik. Hofenberg (2016). (1812\u20131816)"},{"key":"2_CR31","unstructured":"Heidegger, M.: Parminedes. Indiana University Press, Bloomington (1998)"},{"key":"2_CR32","unstructured":"Heisenberg, W.: Physics and Philosophy: The Revolution in Modern Science. Harper Perennial Modern Classics (2007)"},{"key":"2_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78917-8","volume-title":"Formal Methods and Testing","year":"2008","unstructured":"Hierons, R.M., Bowen, J.P., Harman, M. (eds.): Formal Methods and Testing. LNCS, vol. 4949. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-78917-8"},{"issue":"8","key":"2_CR34","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"CAR Hoare","year":"1978","unstructured":"Hoare, C.A.R.: Communicating sequential processes. Commun. ACM 21(8), 666\u2013677 (1978)","journal-title":"Commun. ACM"},{"key":"2_CR35","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. C.A.R. Hoare Series in Computer Science, Prentice-Hall International (1985)"},{"key":"2_CR36","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. C.A.R. Hoare Series in Computer Science. Prentice-Hall International (1985). published electronically: usingcsp.com\/cspbook.pdf (2004)"},{"key":"2_CR37","doi-asserted-by":"publisher","unstructured":"Hofmann, M.: Syntax and semantics of dependent types. In: Extensional Constructs in Intensional Type Theory. DISTDISS, pp. 13\u201354. Springer, London (1997). https:\/\/doi.org\/10.1007\/978-1-4471-0963-1_2","DOI":"10.1007\/978-1-4471-0963-1_2"},{"key":"2_CR38","unstructured":"Hume, D.: Enquiry Concerning Human Understanding. Squashed Editions, Winster (2020). (1758)"},{"key":"2_CR39","unstructured":"Husserl, E.: Ideas. General Introduction to Pure Phenomenology. Routledge, Milton Park (2012)"},{"key":"2_CR40","unstructured":"Irvine, A.D. (ed.): Philosophy of Mathematics. Elsevier Science & Technology (2006)"},{"key":"2_CR41","unstructured":"Jackson, M.A.: Software Requirements & Specifications: A Lexicon of Practice, Principles and Prejudices. ACM Press, Addison-Wesley, Reading (1995)"},{"key":"2_CR42","doi-asserted-by":"crossref","unstructured":"James, D., Zoller, G.: Cambridge Companion to Fichte. Cambridge University Press, Cambridge (2016)","DOI":"10.1017\/9781139027557"},{"key":"2_CR43","doi-asserted-by":"crossref","unstructured":"Kant, I.: Critique of Pure Reason. Penguin Books Ltd, London (2007). (1787)","DOI":"10.1007\/978-1-137-10016-0"},{"key":"2_CR44","doi-asserted-by":"crossref","unstructured":"Kennedy, H.C. (ed.): Selected works of Giuseppe Peano, with a biographical sketch and bibliography. Allen & Unwin, London (1973)","DOI":"10.3138\/9781487589172"},{"key":"2_CR45","unstructured":"Leibniz, G.W.: The Philosophical Writings of Leibniz. Hassell Street Press, Stoke-on-Trent (2021)"},{"key":"2_CR46","unstructured":"Little, W., Fowler, H., Coulson, J., Onions, C.: The Shorter Oxford English Dictionary on Historical Principles. Clarendon Press, Oxford (1973, 1987). Two vols"},{"key":"2_CR47","doi-asserted-by":"crossref","unstructured":"Locke, J.: An Essay Concerning Human Understanding. Penguin Classics, London (1998). (1689)","DOI":"10.1093\/oseo\/instance.00018020"},{"key":"2_CR48","unstructured":"Maxwell, J.C.: A Treatise on Electricity and Magnetism, 3rd edn., vol. 1\u20132. Dover reprint, Garden City (1954). (1892)"},{"key":"2_CR49","unstructured":"Mendel, G., Bateson, W. (eds.): Mendel\u2019s Principles of Heredity. Franklin Classics Trade Press, Minneapolis (2018)"},{"key":"2_CR50","unstructured":"Mercer, J.E.: The Mysticism of Anaximenes and the Air. Kessinger Publishing, LLC, Whitefish (2010)"},{"key":"2_CR51","unstructured":"O\u2019Grady, P.: Thales of Miletus. Western Philosophy Series. Routledge, Milton Park (2002)"},{"key":"2_CR52","unstructured":"Pears, D.: Russell\u2019s Logical Atomism. Fontana Collins (1972)"},{"key":"2_CR53","unstructured":"Planck, M.: Eight Lectures on Theoretical Physics. Dover Publications, Garden City (2003). (1915)"},{"key":"2_CR54","doi-asserted-by":"crossref","unstructured":"Popper, K.R.: Logik der Forschung. Julius Springer Verlag, Vienna, Austria (1934). (1935). english version [56]","DOI":"10.1007\/978-3-7091-4177-9"},{"key":"2_CR55","unstructured":"Popper, K.R.: The Logic of Scientific Discovery. Hutchinson of London, 3 Fitzroy Square, London W1, England (1959,... 1979), translated from [55]"},{"key":"2_CR56","unstructured":"Popper, K.R.: Conjectures and Refutations. The Growth of Scientific Knowledge. Routledge and Kegan Paul Ltd. (Basic Books, Inc.), 39 Store Street, WC1E 7DD, London, England (New York, NY, USA) (1963,...,1981)"},{"key":"2_CR57","unstructured":"Popper, K.R.: A Pocket Popper. Fontana Pocket Readers, Fontana Press, England (1983). An edited collection, Ed. David Miller"},{"key":"2_CR58","unstructured":"Roscoe, A.W.: Theory and Practice of Concurrency. C.A.R. Hoare Series in Computer Science. Prentice-Hall (1997). http:\/\/www.comlab.ox.ac.uk\/people\/bill.roscoe\/publications\/68b.pdf"},{"key":"2_CR59","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1093\/mind\/XIV.4.479","volume":"14","author":"B Russell","year":"1905","unstructured":"Russell, B.: On denoting. Mind 14, 479\u2013493 (1905)","journal-title":"Mind"},{"key":"2_CR60","unstructured":"Russell, B.: The Problems of Philosophy. Home University Library, London (1912). oxford University Press paperback, 1959 Reprinted, 1971\u20132"},{"key":"2_CR61","volume-title":"Introduction to Mathematical Philosophy","author":"B Russell","year":"1919","unstructured":"Russell, B.: Introduction to Mathematical Philosophy. George Allen and Unwin, London (1919)"},{"key":"2_CR62","unstructured":"Russell, B.: \u201cPreface\u201d. Our Knowledge of the External World. G. Allen & Unwin Ltd, London (1952)"},{"key":"2_CR63","doi-asserted-by":"crossref","unstructured":"Sannella, D., Tarlecki, A.: Foundations of Algebraic Semantics and Formal Software Development. Monographs in Theoretical Computer Science, Springer, Heidelberg (2012)","DOI":"10.1007\/978-3-642-17336-3"},{"key":"2_CR64","unstructured":"Schneider, S.: Concurrent and Real-Time Systems \u2013 The CSP Approach. Worldwide Series in Computer Science. Wiley, Chichester (2000)"},{"key":"2_CR65","unstructured":"S\u00f8rlander, K.: Det Uomg\u00e6ngelige - Filosofiske Deduktioner [The Inevitable - Philosophical Deductions, with a foreword by Georg Henrik von Wright]. Munksgaard $$\\cdot $$ Rosinante (1994). 168 pages"},{"key":"2_CR66","unstructured":"S\u00f8rlander, K.: Under Evighedens Synsvinkel [Under the viewpoint of eternity]. Munksgaard $$\\cdot $$ Rosinante (1997). 200 pages"},{"key":"2_CR67","unstructured":"S\u00f8rlander, K.: Den Endegyldige Sandhed [The Final Truth]. Rosinante (2002). 187 pages"},{"key":"2_CR68","unstructured":"S\u00f8rlander, K.: Indf\u00f8ring i Filosofien [Introduction to The Philosophy]. Informations Forlag (2016). 233 pages"},{"key":"2_CR69","unstructured":"Spinoza, B.: Ethics, Demonstrated in Geometrical Order. The Netherlands (1677)"},{"key":"2_CR70","unstructured":"Wallace, A.R.: The Annotated Malaysian Archipelago. National University of Singapore Press, Singapore (2014). Edited by John Van Wyhe"},{"key":"2_CR71","unstructured":"Whitehead, A.N., Russell, B.: Principia Mathematica, 3 vols (1962). Cambridge University Press (1910, 1912, and 1913), second edition, 1925 (Vol. 1), 1927 (Vols 2, 3), also Cambridge University Press"},{"key":"2_CR72","unstructured":"Wittgenstein, L.J.J.: Tractatus Logico-Philosophicus. Oxford University Press, London (1961). (1921)"},{"key":"2_CR73","volume-title":"Philosophical Investigations","author":"LJJ Wittgenstein","year":"1958","unstructured":"Wittgenstein, L.J.J.: Philosophical Investigations. Oxford University Press, Oxford (1958)"},{"key":"2_CR74","unstructured":"Wolfe, C.T., Huneman, P., Reydon, T.A. (eds.): History, Philosophy and Theory of the Life Sciences. Springer, Heidelberg (2013)"},{"key":"2_CR75","unstructured":"Wright, M.: Empedokles: The Extant Fragments. Hackett Publishing Company, Inc. (1995)"}],"container-title":["Lecture Notes in Computer Science","NASA Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-06773-0_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,25]],"date-time":"2024-09-25T14:25:41Z","timestamp":1727274341000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-06773-0_2"}},"subtitle":["A Basis for Trustworthy Aeronautics and Space Software"],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031067723","9783031067730"],"references-count":75,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-06773-0_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"20 May 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"NFM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"NASA Formal Methods Symposium","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Pasadena, CA","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"USA","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 May 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 May 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"nfm2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/shemesh.larc.nasa.gov\/nfm2022\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"118","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"33","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"6","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"28% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"6.3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}