{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T10:06:48Z","timestamp":1742983608910,"version":"3.40.3"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319471686"},{"type":"electronic","value":"9783319471693"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-47169-3_9","type":"book-chapter","created":{"date-parts":[[2016,10,4]],"date-time":"2016-10-04T17:56:23Z","timestamp":1475603783000},"page":"119-130","source":"Crossref","is-referenced-by-count":5,"title":["Modelling and Testing of Real Systems"],"prefix":"10.1007","author":[{"given":"Andreas","family":"Prinz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Birger","family":"M\u00f8ller-Pedersen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joachim","family":"Fischer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,10,5]]},"reference":[{"issue":"4","key":"9_CR1","first-page":"290","volume":"12","author":"C Atkinson","year":"2002","unstructured":"Atkinson, C., K\u00fchne, T.: Rearchitecting the UML infrastructure. ACM Trans. Comput. Syst. (TOCS) 12(4), 290\u2013321 (2002)","journal-title":"ACM Trans. Comput. Syst. (TOCS)"},{"key":"9_CR2","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1109\/MS.2003.1231149","volume":"20","author":"C Atkinson","year":"2003","unstructured":"Atkinson, C., K\u00fchne, T.: Model-driven development: a metamodeling foundation. IEEE Softw. 20, 36\u201341 (2003)","journal-title":"IEEE Softw."},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"B\u00e9zivin, J., Gerb\u00e9, O.: Towards a precise definition of the OMG\/MDA framework. In: Proceedings of ASE 2001, Automated Software Engineering (2001)","DOI":"10.1109\/ASE.2001.989813"},{"key":"9_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-18216-7","volume-title":"Abstract State Machines: A Method for High-Level System Design and Analysis","author":"E B\u00f6rger","year":"2003","unstructured":"B\u00f6rger, E., St\u00e4rk, R.F.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, New York (2003)"},{"key":"9_CR5","unstructured":"OMG Editor. OMG Meta Object Facility (MOF) Core Specification Version 2.4.2. Technical report, Object Management Group (2014)"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Fischer, J., M\u00f8ller-Pedersen, B., Prinz, A.: Modelling of systems for real. In: Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development, pp. 427\u2013434 (2016)","DOI":"10.5220\/0005825704270434"},{"key":"9_CR7","unstructured":"Gj\u00f8s\u00e6ter, T., Prinz, A.: Languagelab 1.1 user manual. Technical report, University of Agder (2013)"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Gj\u00f8s\u00e6ter, T., Prinz, A., Nytun, J.P.: MOF-VM: instantiation revisited. In: Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development, pp. 137\u2013144 (2016)","DOI":"10.5220\/0005606101370144"},{"issue":"3","key":"9_CR9","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1016\/S1389-1286(03)00247-0","volume":"42","author":"U Gl\u00e4sser","year":"2003","unstructured":"Gl\u00e4sser, U., Gotzhein, R., Prinz, A.: The formal semantics of SDL-2000: status and perspectives. Comput. Netw. 42(3), 343\u2013358 (2003)","journal-title":"Comput. Netw."},{"key":"9_CR10","volume-title":"MDA Explained","author":"A Kleppe","year":"2003","unstructured":"Kleppe, A., Warmer, J.: MDA Explained. Addison-Wesley, Boston (2003)"},{"key":"9_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-1494-9","volume-title":"The B Language and Method: A Guide to Practical Formal Development","author":"K Lano","year":"1996","unstructured":"Lano, K.: The B Language and Method: A Guide to Practical Formal Development, 1st edn. Springer, New York (1996)","edition":"1"},{"key":"9_CR12","volume-title":"Object-Oriented Programming in the BETA Programming Language","author":"OL Madsen","year":"1993","unstructured":"Madsen, O.L., M\u00f8ller-Pedersen, B., Nygaard, K.: Object-Oriented Programming in the BETA Programming Language. ACM Press\/Addison-Wesley Publishing Co., New York (1993)"},{"key":"9_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-16145-2_1","volume-title":"Model Driven Engineering Languages and Systems","author":"OL Madsen","year":"2010","unstructured":"Madsen, O.L., M\u00f8ller-Pedersen, B.: A unified approach to modeling and programming. In: Petriu, D.C., Rouquette, N., Haugen, \u00d8. (eds.) MODELS 2010. LNCS, vol. 6394, pp. 1\u201315. Springer, Heidelberg (2010). doi: 10.1007\/978-3-642-16145-2_1"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Mu, L., Gj\u00f8s\u00e6ter, T., Prinz, A., Tveit, M.S.: Specification of modelling languages in a flexible meta-model architecture. In: Software Architecture, 4th European Conference, ECSA 2010, Copenhagen, Denmark, Companion Volume, pp. 302\u2013308, 23\u201326 August 2010","DOI":"10.1145\/1842752.1842807"},{"key":"9_CR15","unstructured":"Editor, O.M.G., Language, U.M.: Infrastructure version 2.4.1 (OMG Document formal\/2011-08-05). OMG Document. Published by Object Management Group, August 2011. http:\/\/www.omg.org"},{"key":"9_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"390","DOI":"10.1007\/3-540-48092-7_17","volume-title":"Correct System Design","author":"B Steffen","year":"1999","unstructured":"Steffen, B., Margaria, T.: Metaframe in practice: design of intelligent network services. In: Olderog, E.R., Steffen, B. (eds.) Correct System Design. LNCS, vol. 1710, pp. 390\u2013415. Springer, Heidelberg (1999)"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-47169-3_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T20:21:54Z","timestamp":1498335714000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-47169-3_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319471686","9783319471693"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-47169-3_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}