{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,13]],"date-time":"2025-02-13T05:21:48Z","timestamp":1739424108598,"version":"3.37.0"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642044243"},{"type":"electronic","value":"9783642044250"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-04425-0_52","type":"book-chapter","created":{"date-parts":[[2009,9,30]],"date-time":"2009-09-30T09:52:04Z","timestamp":1254304324000},"page":"650-664","source":"Crossref","is-referenced-by-count":9,"title":["Generating Assertion Code from OCL: A Transformational Approach Based on Similarities of Implementation Languages"],"prefix":"10.1007","author":[{"given":"Rodion","family":"Moiseev","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shinpei","family":"Hayashi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Motoshi","family":"Saeki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"52_CR1","unstructured":"OMG: Model-Driven Architecture, http:\/\/www.omg.org\/mda\/"},{"key":"52_CR2","unstructured":"OMG: Object Constraint Language specification, version 2.0, http:\/\/www.omg.org\/technology\/documents\/formal\/ocl.htm"},{"key":"52_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/BFb0053381","volume-title":"ECOOP \u201997 - Object-Oriented Programming","author":"G. Kiczales","year":"1997","unstructured":"Kiczales, G., Irwin, J., Lamping, J., Loingtier, J.M., Lopes, C.V., Maeda, C., Mendhekar, A.: Aspect-oriented programming. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol.\u00a01241, pp. 220\u2013242. Springer, Heidelberg (1997)"},{"key":"52_CR4","unstructured":"The Maude Team: The Maude System, http:\/\/maude.cs.uiuc.edu\/"},{"key":"52_CR5","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/j.entcs.2003.09.002","volume":"102","author":"D.H. Akehurst","year":"2004","unstructured":"Akehurst, D.H., Patrascoiu, O.: OCL 2.0 \u2013 implementing the standard for multiple metamodels. Electronic Notes in Theoretical Computer Science\u00a0102, 21\u201341 (2004)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"52_CR6","unstructured":"Chabarek, F.: Development of an OCL-parser for UML-extensions. Master\u2019s thesis, Technical University of Berlin (2004)"},{"key":"52_CR7","doi-asserted-by":"crossref","unstructured":"Clavel, M., Egea, M.: ITP\/OCL: A rewriting-based validation tool for UML+OCL static class diagrams. In: Proc. 11th International Conference on Algebraic Methodology and Software Technology, pp. 368\u2013373 (2006)","DOI":"10.1007\/11784180_28"},{"key":"52_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/3-540-48443-4_18","volume-title":"Meta-Level Architectures and Reflection","author":"M. Karaorman","year":"1999","unstructured":"Karaorman, M., H\u00f6lzle, U., Bruno, J.L.: jContractor: A reflective Java library to support design by contract. In: Cointe, P. (ed.) Reflection 1999. LNCS, vol.\u00a01616, pp. 175\u2013196. Springer, Heidelberg (1999)"},{"key":"52_CR9","unstructured":"Duncan, A., H\u00f6lzle, U.: Adding contracts to Java with Handshake. Technical Report TRCS98-32, Department of Computer Science, University of California (1998)"},{"key":"52_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1007\/11663430_2","volume-title":"Satellite Events at the MoDELS 2005 Conference","author":"W.J. Dzidek","year":"2006","unstructured":"Dzidek, W.J., Briand, L.C., Labiche, Y.: Lessons learned from developing a dynamic OCL constraint enforcement tool for Java. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol.\u00a03844, pp. 10\u201319. Springer, Heidelberg (2006)"},{"issue":"2","key":"52_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S1571-0661(04)00247-6","volume":"55","author":"D. Bartetzko","year":"2001","unstructured":"Bartetzko, D., Fischer, C., M\u00f6ller, M., Wehrheim, H.: Jass \u2013 Java with assertions. Electronic Notes in Theoretical Computer Science\u00a055(2), 1\u201315 (2001)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"52_CR12","doi-asserted-by":"crossref","unstructured":"Kramer, R.: iContract \u2013 the Java design by contract tool. In: Proc. Technology of Object-Oriented Languages and Systems, pp. 295\u2013307 (1998)","DOI":"10.1109\/TOOLS.1998.711021"},{"issue":"3","key":"52_CR13","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1007\/s10009-004-0167-4","volume":"7","author":"L. Burdy","year":"2005","unstructured":"Burdy, L., Cheon, Y., Cok, D., Ernst, M., Kiniry, J., Leavens, G.T., Leino, K.R.M., Poll, E.: An overview of JML tools and applications. International Journal on Software Tools for Technology Transfer\u00a07(3), 212\u2013232 (2005)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"52_CR14","unstructured":"Cheon, Y., Leavens, G.T.: A runtime assertion checker for the Java Modeling Language (JML). In: Proc. International Conference on Software Engineering Research and Practice, pp. 322\u2013328 (2002)"},{"key":"52_CR15","doi-asserted-by":"crossref","unstructured":"Leavens, G.T., Leino, K.R.M., Poll, E., Ruby, C., Jacobs, B.: JML: notations and tools supporting detailed design in Java. In: Companion Proc. 21st International Conference on Object-Oriented Programming Systems, Languages and Applications, pp. 105\u2013106 (2000)","DOI":"10.1145\/367845.367996"},{"key":"52_CR16","doi-asserted-by":"crossref","unstructured":"Hamie, A.: Translating the Object Constraint Language into the Java Modelling Language. In: Proc. 2004 ACM Symposium on Applied Computing, pp. 1531\u20131535 (2004)","DOI":"10.1145\/967900.968206"},{"key":"52_CR17","first-page":"13","volume":"SS2006\u201358","author":"R. Moiseev","year":"2006","unstructured":"Moiseev, R., Russo, A.: Implementing an OCL to JML translation tool. IEICE Technical Report 106(426)\u00a0SS2006\u201358, 13\u201317 (2006)","journal-title":"IEICE Technical Report 106(426)"},{"key":"52_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"446","DOI":"10.1007\/978-3-540-87875-9_32","volume-title":"Model Driven Engineering Languages and Systems","author":"M. Gogolla","year":"2008","unstructured":"Gogolla, M., Kuhlmann, M., B\u00fcttner, F.: Benchmark for OCL engine accuracy, determinateness, and efficiency. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., V\u00f6lter, M. (eds.) MODELS 2008. LNCS, vol.\u00a05301, pp. 446\u2013459. Springer, Heidelberg (2008)"}],"container-title":["Lecture Notes in Computer Science","Model Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04425-0_52","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,12]],"date-time":"2025-02-12T12:49:31Z","timestamp":1739364571000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04425-0_52"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642044243","9783642044250"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04425-0_52","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}