{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T11:09:20Z","timestamp":1725620960496},"reference-count":10,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1109\/mise.2012.6226008","type":"proceedings-article","created":{"date-parts":[[2012,7,9]],"date-time":"2012-07-09T21:25:47Z","timestamp":1341869147000},"page":"15-21","source":"Crossref","is-referenced-by-count":3,"title":["Verifiable architectural interface for supporting model-driven development with adequate abstraction level"],"prefix":"10.1109","author":[{"given":"Naoyasu","family":"Ubayashi","sequence":"first","affiliation":[]},{"given":"Yasutaka","family":"Kamei","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"year":"2003","author":"bass","journal-title":"Software Architecture in Practice (2nd Edition)","key":"3"},{"doi-asserted-by":"publisher","key":"2","DOI":"10.1109\/ICSE.1994.296767"},{"year":"0","key":"10"},{"key":"1","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1109\/ICSE.2002.1007967","article-title":"ArchJava: Connecting Software Architecture to Implementation","author":"jonathan aldrich","year":"2002","journal-title":"Proceedings of the 24th International Conference on Software Engineering ICSE 2002"},{"doi-asserted-by":"publisher","key":"7","DOI":"10.1109\/FOSE.2007.21"},{"key":"6","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1007\/3-540-45337-7_18","article-title":"An Overview of AspectJ","author":"kiczales","year":"2001","journal-title":"Proceedings of European Conference on Object-Oriented Programming (ECOOP 2001)"},{"doi-asserted-by":"publisher","key":"5","DOI":"10.1145\/1985793.1985852"},{"year":"2009","author":"biere","journal-title":"Handbook of Satisfiability","key":"4"},{"doi-asserted-by":"publisher","key":"9","DOI":"10.1145\/2162010.2162022"},{"doi-asserted-by":"publisher","key":"8","DOI":"10.1145\/1806799.1806815"}],"event":{"name":"2012 Models in Software Engineering (MiSE)","start":{"date-parts":[[2012,6,2]]},"location":"Zurich, Switzerland","end":{"date-parts":[[2012,6,3]]}},"container-title":["2012 4th International Workshop on Modeling in Software Engineering (MISE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6220314\/6226004\/06226008.pdf?arnumber=6226008","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T21:08:02Z","timestamp":1497992882000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6226008\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/mise.2012.6226008","relation":{},"subject":[],"published":{"date-parts":[[2012,6]]}}}