{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,21]],"date-time":"2026-01-21T08:40:14Z","timestamp":1768984814451,"version":"3.49.0"},"publisher-location":"Cham","reference-count":10,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319747293","type":"print"},{"value":"9783319747309","type":"electronic"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-74730-9_28","type":"book-chapter","created":{"date-parts":[[2018,1,22]],"date-time":"2018-01-22T05:34:11Z","timestamp":1516599251000},"page":"317-330","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["Translating UML-RSDS OCL to ANSI C"],"prefix":"10.1007","author":[{"given":"Kevin","family":"Lano","sequence":"first","affiliation":[]},{"given":"Sobhan","family":"Yassipour-Tehrani","sequence":"additional","affiliation":[]},{"given":"Hessa","family":"Alfraihi","sequence":"additional","affiliation":[]},{"given":"Shekoufeh","family":"Kolahdouz-Rahimi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,1,23]]},"reference":[{"key":"28_CR1","unstructured":"Cuadrado, J., Jouault, F., Molina, J., Bezivin, J.: Deriving OCL optimisation patterns from benchmarks. In: OCL 2008 (2008)"},{"key":"28_CR2","doi-asserted-by":"crossref","unstructured":"Dieumegard, A., Toon, A., Pantel, M.: Model-based formal specification of a DSL library for a qualified code generator. In: OCL 2012 (2012)","DOI":"10.1145\/2428516.2428527"},{"key":"28_CR3","unstructured":"Funk, M., Nysen, A., Lichter, H.: From UML to ANSI-C: an Eclipse-based code generation framework. RWTH (2007)"},{"key":"28_CR4","volume-title":"The C Programming Language","author":"B Kernighan","year":"1988","unstructured":"Kernighan, B., Ritchie, D.: The C Programming Language. Prentice Hall, Upper Saddle River (1988)"},{"key":"28_CR5","first-page":"165","volume":"11","author":"M Kuhlmann","year":"2012","unstructured":"Kuhlmann, M., Hamann, L., Gogolla, M., Buttner, F.: A benchmark for OCL engine accuracy, determinateness and efficiency. SoSyM 11, 165\u2013182 (2012)","journal-title":"SoSyM"},{"key":"28_CR6","doi-asserted-by":"crossref","DOI":"10.1201\/9781315368153","volume-title":"Agile Model-Based Development Using UML-RSDS","author":"K Lano","year":"2016","unstructured":"Lano, K.: Agile Model-Based Development Using UML-RSDS. Taylor and Francis, Milton Park (2016)"},{"key":"28_CR7","unstructured":"OMG: OCL Version 2.4 (2014)"},{"key":"28_CR8","unstructured":"OMG: Semantics of a Foundational Subset for Executable UML Models (FUML), v1.1 (2015)"},{"key":"28_CR9","unstructured":"Zschaler, S., Poernomo, I., Terrell, J.: Towards using constructive type theory for verifable modular transformations. In: FREECO 2011 (2011)"},{"key":"28_CR10","doi-asserted-by":"crossref","unstructured":"Willink, E.: An extensible OCL virtual machine and code generator. In: OCL 2012 (2012)","DOI":"10.1145\/2428516.2428519"}],"container-title":["Lecture Notes in Computer Science","Software Technologies: Applications and Foundations"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-74730-9_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,1,22]],"date-time":"2018-01-22T05:46:00Z","timestamp":1516599960000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-74730-9_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319747293","9783319747309"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-74730-9_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018]]}}}