{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T09:29:05Z","timestamp":1725701345857},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642329425"},{"type":"electronic","value":"9783642329432"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-32943-2_4","type":"book-chapter","created":{"date-parts":[[2012,8,28]],"date-time":"2012-08-28T04:59:35Z","timestamp":1346129975000},"page":"46-60","source":"Crossref","is-referenced-by-count":0,"title":["Correctness of Object Oriented Models by Extended Type Inference"],"prefix":"10.1007","author":[{"given":"Simon","family":"Foster","sequence":"first","affiliation":[]},{"given":"Ond\u0159ej","family":"Ryp\u00e1\u010dek","sequence":"additional","affiliation":[]},{"given":"Georg","family":"Struth","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Bertot, Y., Cast\u00e9ran, P.: Interactive Theorem Proving and Program Development. Texts in Theoretical Computer Science. Springer (2004)","DOI":"10.1007\/978-3-662-07964-5"},{"key":"4_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/978-3-642-03359-9_6","volume-title":"Theorem Proving in Higher Order Logics","author":"A. Bove","year":"2009","unstructured":"Bove, A., Dybjer, P., Norell, U.: A Brief Overview of Agda \u2013 A Functional Language with Dependent Types. In: Berghofer, S., Nipkow, T., Urban, C., Wenzel, M. (eds.) TPHOLs 2009. LNCS, vol.\u00a05674, pp. 73\u201378. Springer, Heidelberg (2009)"},{"key":"4_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"196","DOI":"10.1007\/3-540-45800-X_17","volume-title":"\u00abUML\u00bb 2002 - The Unified Modeling Language. Model Engineering, Concepts, and Tools","author":"A.D. Brucker","year":"2002","unstructured":"Brucker, A.D., Wolff, B.: HOL-OCL: Experiences, Consequences and Design Choices. In: J\u00e9z\u00e9quel, J.-M., Hussmann, H., Cook, S. (eds.) UML 2002. LNCS, vol.\u00a02460, pp. 196\u2013211. Springer, Heidelberg (2002)"},{"key":"4_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1007\/978-3-642-20398-5_10","volume-title":"NASA Formal Methods","author":"S. Foster","year":"2011","unstructured":"Foster, S., Struth, G.: Integrating an Automated Theorem Prover into Agda. In: Bobaru, M., Havelund, K., Holzmann, G.J., Joshi, R. (eds.) NFM 2011. LNCS, vol.\u00a06617, pp. 116\u2013130. Springer, Heidelberg (2011)"},{"issue":"1-2","key":"4_CR5","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/j.scico.2007.08.002","volume":"72","author":"F. Jouault","year":"2008","unstructured":"Jouault, F., Allilaire, F., B\u00e9zivin, J., Kurtev, I.: ATL: A model transformation tool. Sci. Comput. Program.\u00a072(1-2), 31\u201339 (2008)","journal-title":"Sci. Comput. Program."},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Kahl, W.: Dependently-typed formalisation of typed term graphs. In: Echahed, R. (ed.) TERMGRAPH 2011. EPTCS, pp. 38\u201353 (2011)","DOI":"10.4204\/EPTCS.48.6"},{"key":"4_CR7","unstructured":"Knapp, A., Merz, S.: Model checking and code generation for UML state machines and collaborations. Tech. Rep. 2002-11, Institut f\u00fcr Informatik, Universit\u00e4t Augsburg (2002); in Proc. FM-TOOLS 2002"},{"key":"4_CR8","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1007\/s10270-008-0101-4","volume":"8","author":"S. Kuske","year":"2009","unstructured":"Kuske, S., Gogolla, M., Kreowski, H., Ziemann, P.: Towards an integrated graph-based semantics for UML. Software and Systems Modeling\u00a08, 403\u2013422 (2009)","journal-title":"Software and Systems Modeling"},{"issue":"5","key":"4_CR9","doi-asserted-by":"publisher","first-page":"406","DOI":"10.1016\/j.infsof.2007.04.003","volume":"50","author":"K. Lano","year":"2008","unstructured":"Lano, K.: Constraint-driven development. Information & Software Technology\u00a050(5), 406\u2013423 (2008)","journal-title":"Information & Software Technology"},{"key":"4_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1007\/11557432_19","volume-title":"Model Driven Engineering Languages and Systems","author":"P.-A. Muller","year":"2005","unstructured":"Muller, P.-A., Fleurey, F., J\u00e9z\u00e9quel, J.-M.: Weaving Executability into Object-Oriented Meta-languages. In: Briand, L.C., Williams, C. (eds.) MoDELS 2005. LNCS, vol.\u00a03713, pp. 264\u2013278. Springer, Heidelberg (2005)"},{"key":"4_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1007\/978-3-540-69927-9_15","volume-title":"Theory and Practice of Model Transformations","author":"I. Poernomo","year":"2008","unstructured":"Poernomo, I.: Proofs-as-Model-Transformations. In: Vallecillo, A., Gray, J., Pierantonio, A. (eds.) ICMT 2008. LNCS, vol.\u00a05063, pp. 214\u2013228. Springer, Heidelberg (2008)"},{"key":"4_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/3-540-45648-1_5","volume-title":"ZB 2002: Formal Specification and Development in Z and B","author":"G.P. Smith","year":"2002","unstructured":"Smith, G.P., Kamm\u00fcller, F., Santen, T.: Encoding Object-Z in Isabelle\/HOL. In: Bert, D., P. Bowen, J., C. Henson, M., Robinson, K. (eds.) ZB 2002. LNCS, vol.\u00a02272, pp. 82\u201399. Springer, Heidelberg (2002)"},{"issue":"1","key":"4_CR13","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1145\/1125808.1125811","volume":"15","author":"C.F. Snook","year":"2006","unstructured":"Snook, C.F., Butler, M.J.: UML-B: Formal modeling and design aided by UML. ACM Trans. Softw. Eng. Methodol.\u00a015(1), 92\u2013122 (2006)","journal-title":"ACM Trans. Softw. Eng. Methodol."}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing \u2013 ICTAC 2012"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-32943-2_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T11:49:48Z","timestamp":1620128988000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32943-2_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642329425","9783642329432"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32943-2_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}