{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T23:08:11Z","timestamp":1743030491329,"version":"3.40.3"},"publisher-location":"Cham","reference-count":17,"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_4","type":"book-chapter","created":{"date-parts":[[2016,10,4]],"date-time":"2016-10-04T17:56:23Z","timestamp":1475603783000},"page":"32-49","source":"Crossref","is-referenced-by-count":2,"title":["On the Feasibility of a Unified Modelling and Programming Paradigm"],"prefix":"10.1007","author":[{"given":"Anne E.","family":"Haxthausen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Peleska","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,10,5]]},"reference":[{"key":"4_CR1","unstructured":"B\u00e9zivin, J., Jouault, F., Valduriez, P.: On the need for megamodels. In: OOPSLA\/GPCE: Best Practices for Model-Driven Software Development Workshop (2004)"},{"key":"4_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"505","DOI":"10.1007\/978-3-319-25150-9_29","volume-title":"Theoretical Aspects of Computing \u2013 ICTAC 2015","author":"A Cavalcanti","year":"2015","unstructured":"Cavalcanti, A., Huang, W., Peleska, J., Woodcock, J.: CSP and kripke structures. In: Leucker, M., Rueda, C., Valencia, F.D. (eds.) ICTAC 2015. LNCS, vol. 9399, pp. 505\u2013523. Springer, Heidelberg (2015). doi: 10.1007\/978-3-319-25150-9_29"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Chow, T.S.: Testing software design modeled by finite-state machines. IEEE Trans. Softw. Eng. SE-4(3), 178\u2013186 (1978)","DOI":"10.1109\/TSE.1978.231496"},{"key":"4_CR4","volume-title":"Institution-independent Model Theory","author":"R Diaconescu","year":"2008","unstructured":"Diaconescu, R.: Institution-independent Model Theory. Birkh\u00e4user Verlag AG, Basel, Boston, Berlin (2008)"},{"key":"4_CR5","unstructured":"Goguen, J.A., Burstall, R.M.: Institutions: abstract model theory for specification and programming. J. Association Comput. Mach. 39, 95\u2013146 (1992). Predecessor. LNCS 164, 221\u2013256 (1984)"},{"issue":"3","key":"4_CR6","first-page":"274","volume":"13","author":"J Goguen","year":"2014","unstructured":"Goguen, J., Ro\u015fu, G.: Institution morphisms. Formal Aspects Comput. 13(3), 274\u2013307 (2014)","journal-title":"Formal Aspects Comput."},{"key":"4_CR7","unstructured":"Gr\u00f6nniger, H., Krahn, H., Rumpe, B., Schindler, M., V\u00f6lkel, S.: Textbased modeling. CoRR, abs\/1409.6623 (2014)"},{"key":"4_CR8","volume-title":"Unifying Theories of Programming","author":"CAR Hoare","year":"1998","unstructured":"Hoare, C.A.R., Jifeng, H.: Unifying Theories of Programming. Prentice-Hall, Englewood Cliffs (1998)"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Huang, W., Peleska, J.: Complete model-based equivalence class testing for nondeterministic systems. Formal Aspects of Computing. (Under review)","DOI":"10.1007\/s00165-016-0402-2"},{"issue":"3","key":"4_CR10","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1007\/s10009-014-0356-8","volume":"18","author":"W Huang","year":"2016","unstructured":"Huang, W., Peleska, J.: Complete model-based equivalence class testing. STTT 18(3), 265\u2013283 (2016)","journal-title":"STTT"},{"issue":"2","key":"4_CR11","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1109\/32.265636","volume":"20","author":"G Luo","year":"1994","unstructured":"Luo, G., Bochmann, G.V., Petrenko, A.: Test selection based on communicating nondeterministic finite-state machines using a generalized Wp-method. IEEE Trans. Softw. Eng. 20(2), 149\u2013162 (1994)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Nielsen, C.B., Larsen, P.G., Fitzgerald, J., Woodcock, J., Peleska, J.: Systems of systems engineering: basic concepts, model-based techniques, and research directions. ACM Comput. Surv. 48(2), 18:1\u201318:41 (2015)","DOI":"10.1145\/2794381"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Schmidt, D.C.: Model-driven engineering. IEEE Comput. 39(2), 25\u201331 (2006)","DOI":"10.1109\/MC.2006.58"},{"key":"4_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/3-540-40922-X_8","volume-title":"Formal Methods in Computer-Aided Design","author":"M Sheeran","year":"2000","unstructured":"Sheeran, M., Singh, S., St\u00e5lmarck, G.: Checking safety properties using induction and a SAT-solver. In: Hunt, W.A., Johnson, S.D. (eds.) FMCAD 2000. LNCS, vol. 1954, pp. 127\u2013144. Springer, Heidelberg (2000). doi: 10.1007\/3-540-40922-X_8"},{"issue":"5","key":"4_CR15","doi-asserted-by":"crossref","first-page":"495","DOI":"10.1007\/BF01211865","volume":"6","author":"AP Sistla","year":"1994","unstructured":"Sistla, A.P.: Safety, liveness and fairness in temporal logic. Formal Aspects Comput. 6(5), 495\u2013511 (1994)","journal-title":"Formal Aspects Comput."},{"key":"4_CR16","volume-title":"The Z Notation: A Reference Manual","author":"JM Spivey","year":"1989","unstructured":"Spivey, J.M.: The Z Notation: A Reference Manual. Prentice-Hall Inc., Upper Saddle River (1989)"},{"key":"4_CR17","unstructured":"Vasilevskii, M.P.: Failure diagnosis of automata. Kibernetika (Transl.) 4, 98\u2013108 (1973)"}],"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_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,14]],"date-time":"2019-09-14T04:07:43Z","timestamp":1568434063000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-47169-3_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319471686","9783319471693"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-47169-3_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}