{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:28:47Z","timestamp":1742912927623,"version":"3.40.3"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030760199"},{"type":"electronic","value":"9783030760205"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"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":[[2021]]},"DOI":"10.1007\/978-3-030-76020-5_1","type":"book-chapter","created":{"date-parts":[[2021,6,3]],"date-time":"2021-06-03T23:33:49Z","timestamp":1622763229000},"page":"1-13","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Towards Leveraging Domain Knowledge in State-Based Formal Methods"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4582-9712","authenticated-orcid":false,"given":"Yamine","family":"A\u00eft-Ameur","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2019-4936","authenticated-orcid":false,"given":"R\u00e9gine","family":"Laleau","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5231-6611","authenticated-orcid":false,"given":"Dominique","family":"M\u00e9ry","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1124-0179","authenticated-orcid":false,"given":"Neeraj Kumar","family":"Singh","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,6,4]]},"reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"Abrial, J.R.: Modeling in Event-B-System and Software Engineering. Cambridge University Press (2010)","DOI":"10.1017\/CBO9781139195881"},{"issue":"2","key":"1_CR2","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1007\/s00500-015-1633-5","volume":"21","author":"Y A\u00eft Ameur","year":"2017","unstructured":"A\u00eft Ameur, Y., Baron, M., Bellatreche, L., Jean, S., Sardet, E.: Ontologies in engineering: the OntoDB\/OntoQL platform. Soft Comput. 21(2), 369\u2013389 (2017). https:\/\/doi.org\/10.1007\/s00500-015-1633-5","journal-title":"Soft Comput."},{"key":"1_CR3","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1016\/j.scico.2015.12.004","volume":"121","author":"Y A\u00eft Ameur","year":"2016","unstructured":"A\u00eft Ameur, Y., M\u00e9ry, D.: Making explicit domain knowledge in formal system development. Sci. Comput. Program. 121, 100\u2013127 (2016)","journal-title":"Sci. Comput. Program."},{"key":"1_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-15-5054-6","volume-title":"Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems","year":"2021","unstructured":"Ait-Ameur, Y., Nakajima, S., M\u00e9ry, D. (eds.): Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems. Springer, Singapore (2021). https:\/\/doi.org\/10.1007\/978-981-15-5054-6"},{"key":"1_CR5","doi-asserted-by":"publisher","unstructured":"Bj\u00f8rner, D.: Software Engineering 3 - Domains, Requirements, and Software Design. Texts in Theoretical Computer Science. An EATCS Series. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/3-540-33653-2","DOI":"10.1007\/3-540-33653-2"},{"issue":"2","key":"1_CR6","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/s00165-016-0385-z","volume":"29","author":"D Bj\u00f8rner","year":"2017","unstructured":"Bj\u00f8rner, D.: Manifest domains: analysis and description. Formal Asp. Comput. 29(2), 175\u2013225 (2017)","journal-title":"Formal Asp. Comput."},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Bj\u00f8rner, D.: Domain analysis and description principles, techniques, and modelling languages. ACM Trans. Softw. Eng. Methodol. 28(2), 8:1\u20138:67 (2019)","DOI":"10.1145\/3295738"},{"key":"1_CR8","doi-asserted-by":"publisher","unstructured":"B\u00f6rger, E., St\u00e4rk, R.F.: Abstract State Machines, A Method for High-Level System Design and Analysis. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/978-3-642-18216-7","DOI":"10.1007\/978-3-642-18216-7"},{"issue":"2","key":"1_CR9","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1007\/s11704-016-5460-3","volume":"12","author":"A Chebieb","year":"2018","unstructured":"Chebieb, A., A\u00eft Ameur, Y.: A formal model for plastic human computer interfaces. Front. Comput. Sci. 12(2), 351\u2013375 (2018). https:\/\/doi.org\/10.1007\/s11704-016-5460-3","journal-title":"Front. Comput. Sci."},{"key":"1_CR10","unstructured":"Critical Systems Labs Inc: Nose Gear (NG) Velocity Example Version 1.1, September 2011. http:\/\/www.cl.cam.ac.uk\/~mjcg\/FMStandardsWorkshop\/example.pdf"},{"key":"1_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1007\/BFb0019998","volume-title":"VDM \u201991 Formal Software Development Methods","author":"C George","year":"1991","unstructured":"George, C.: The RAISE specification language a tutorial. In: Prehn, S., Toetenel, H. (eds.) VDM 1991. LNCS, vol. 552, pp. 238\u2013319. Springer, Heidelberg (1991). https:\/\/doi.org\/10.1007\/BFb0019998"},{"key":"1_CR12","unstructured":"Gruber, T.R.: Towards principles for the design of ontologies used for knowledge sharing. In: Guarino, N., Poli, R. (eds.) Formal Ontology in Conceptual Analysis and Knowledge Representation. Kluwer Academic Publisher\u2019s, Boston (1993)"},{"key":"1_CR13","unstructured":"Hacid, K., A\u00eft Ameur, Y.: Handling domain knowledge in design and analysis of engineering models. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 74, 1\u201321 (2017)"},{"issue":"10","key":"1_CR14","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"CAR Hoare","year":"1969","unstructured":"Hoare, C.A.R.: An axiomatic basis for computer programming. Commun. ACM 12(10), 576\u2013580 (1969)","journal-title":"Commun. ACM"},{"key":"1_CR15","unstructured":"Jackson, M., Zave, P.: Domain descriptions. In: Proceedings of IEEE International Symposium on Requirements Engineering, RE 1993, San Diego, California, USA, 4\u20136 January 1993, pp. 56\u201364. IEEE (1993)"},{"key":"1_CR16","unstructured":"Jackson, M.A.: Software Requirements and Specifications - A Lexicon of Practice, Principles and Prejudices. Addison-Wesley, New York (1995)"},{"key":"1_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/978-3-319-72044-9_2","volume-title":"Recent Trends in Algebraic Development Techniques","author":"T Mossakowski","year":"2017","unstructured":"Mossakowski, T.: The distributed ontology, model and specification language \u2013 DOL. In: James, P., Roggenbach, M. (eds.) WADT 2016. LNCS, vol. 10644, pp. 5\u201310. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-72044-9_2"},{"key":"1_CR18","unstructured":"Jones, C.B.: Systematic Software Development Using VDM. Prentice Hall International Series in Computer Science. Prentice Hall, Upper Saddle River (1986)"},{"key":"1_CR19","unstructured":"Lamport, L.: Specifying Systems, The TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley (2002)"},{"key":"1_CR20","unstructured":"van Lamsweerde, A.: Requirements Engineering - From System Goals to UML Models to Software Specifications. Wiley, New York (2009)"},{"issue":"2","key":"1_CR21","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/s10009-007-0063-9","volume":"10","author":"M Leuschel","year":"2008","unstructured":"Leuschel, M., Butler, M.J.: ProB: an automated analysis toolset for the B method. Int. J. Softw. Tools Technol. Transf. 10(2), 185\u2013203 (2008). https:\/\/doi.org\/10.1007\/s10009-007-0063-9","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"1_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/978-3-319-23781-7_8","volume-title":"Model and Data Engineering","author":"D M\u00e9ry","year":"2015","unstructured":"M\u00e9ry, D., Sawant, R., Tarasyuk, A.: Integrating domain-based features into Event-B: A nose gear velocity case study. In: Bellatreche, L., Manolopoulos, Y. (eds.) MEDI 2015. LNCS, vol. 9344, pp. 89\u2013102. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-23781-7_8"},{"key":"1_CR23","series-title":"Studies in Universal Logic","doi-asserted-by":"publisher","first-page":"489","DOI":"10.1007\/978-3-319-15368-1_21","volume-title":"The Road to Universal Logic","author":"T Mossakowski","year":"2015","unstructured":"Mossakowski, T., Codescu, M., Neuhaus, F., Kutz, O.: The distributed ontology, modeling and specification language \u2013 DOL. In: Koslow, A., Buchsbaum, A. (eds.) The Road to Universal Logic. SUL, pp. 489\u2013520. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-15368-1_21"},{"key":"1_CR24","doi-asserted-by":"crossref","unstructured":"Singh, N.K., A\u00eft Ameur, Y., M\u00e9ry, D.: Formal ontology driven model refactoring. In: 23rd International Conference on Engineering of Complex Computer Systems, ICECCS 2018, pp. 136\u2013145. IEEE Computer Society (2018)","DOI":"10.1109\/ICECCS2018.2018.00022"},{"key":"1_CR25","unstructured":"Spivey, J.M.: Z Notation - a Reference Manual. Prentice Hall International Series in Computer Science, 2nd edn. Prentice Hall, Englewood Cliffs (1992)"},{"key":"1_CR26","unstructured":"Yu, E.S.K.: Towards modeling and reasoning support for early-phase requirements engineering. In: 3rd IEEE International Symposium on Requirements Engineering (RE 1997), 5\u20138 January 1997. Annapolis, MD, USA, pp. 226\u2013235. IEEE Computer Society (1997)"},{"issue":"1","key":"1_CR27","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/237432.237434","volume":"6","author":"P Zave","year":"1997","unstructured":"Zave, P., Jackson, M.: Four dark corners of requirements engineering. ACM Trans. Softw. Eng. Methodol. 6(1), 1\u201330 (1997)","journal-title":"ACM Trans. Softw. Eng. Methodol."}],"container-title":["Lecture Notes in Computer Science","Logic, Computation and Rigorous Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-76020-5_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,7]],"date-time":"2024-03-07T14:19:46Z","timestamp":1709821186000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-76020-5_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030760199","9783030760205"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-76020-5_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"4 June 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}