{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T21:36:36Z","timestamp":1729632996423,"version":"3.28.0"},"reference-count":35,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,9]]},"DOI":"10.1109\/etfa.2008.4638491","type":"proceedings-article","created":{"date-parts":[[2008,10,7]],"date-time":"2008-10-07T14:08:47Z","timestamp":1223388527000},"page":"809-816","source":"Crossref","is-referenced-by-count":3,"title":["Functional and structural properties in the Model-Driven Engineering approach"],"prefix":"10.1109","author":[{"given":"Daniela","family":"Cancila","sequence":"first","affiliation":[]},{"given":"Roberto","family":"Passerone","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"year":"1991","key":"19"},{"journal-title":"The Object Constraint Language Precise Modeling with UML","year":"1998","author":"warmer","key":"35"},{"journal-title":"Design Patterns","year":"1995","author":"gamma","key":"17"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1145\/58612.59371"},{"key":"33","doi-asserted-by":"publisher","DOI":"10.1109\/RTCSA.2006.53"},{"journal-title":"Eclipse-modeling","year":"0","key":"15"},{"key":"34","doi-asserted-by":"publisher","DOI":"10.1023\/B:TIME.0000048937.17571.2b"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/IWSSD.1998.667920"},{"key":"13","article-title":"resource interfaces","author":"chakrabarti","year":"2003","journal-title":"Proc EMSOFT 2003"},{"journal-title":"Correctness by Construction A Manifesto for High-Integrity Software http","year":"2005","author":"chapman","key":"14"},{"year":"0","key":"11"},{"journal-title":"Correctness by Construction in an MDE Light","year":"2008","author":"cancila","key":"12"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1007\/1-84628-152-0_23"},{"journal-title":"Software Patterns","year":"2007","author":"kircher","key":"20"},{"year":"0","key":"22"},{"journal-title":"Catalog of Specifications","year":"0","key":"23"},{"year":"0","key":"24"},{"journal-title":"Architecture Analysis and Design Language","year":"0","key":"25"},{"key":"26","article-title":"defining platform-based design","author":"sangiovanni-vincentelli","year":"2002","journal-title":"EEDesign"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.58"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2007.16"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1109\/12.57058"},{"key":"3","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-36190-1_7","article-title":"modeling and designing heterogeneous systems","author":"balarin","year":"2002","journal-title":"Advances in Concurrency and System Design"},{"year":"0","key":"2"},{"journal-title":"An Algebra of the Interaction of Components in the Ravenscar Computational Model","year":"2008","author":"cancila","key":"10"},{"year":"0","key":"1"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1145\/28697.28702"},{"journal-title":"Style Based Reconfigurations of Software Architectures with QoS constraints","year":"2007","author":"bruni","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2008.12"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1145\/1176887.1176894"},{"key":"5","first-page":"38","article-title":"cost vs. quality requirements: conflict analysis and negotiation aids","volume":"1","author":"boehm","year":"1999","journal-title":"Software Quality Professional"},{"year":"0","key":"31"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/1289927.1289935"},{"journal-title":"HRT-HOOD A Structural Design Method for Hard Real-Time Ada Systems","year":"1995","author":"burns","key":"9"},{"article-title":"guide to the use of the ada ravenscar profile in high integrity systems","year":"2003","author":"burns","key":"8"}],"event":{"name":"Factory Automation (ETFA 2008)","start":{"date-parts":[[2008,9,15]]},"location":"Hamburg, Germany","end":{"date-parts":[[2008,9,18]]}},"container-title":["2008 IEEE International Conference on Emerging Technologies and Factory Automation"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4631965\/4638343\/04638491.pdf?arnumber=4638491","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T08:21:58Z","timestamp":1497774118000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4638491\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,9]]},"references-count":35,"URL":"https:\/\/doi.org\/10.1109\/etfa.2008.4638491","relation":{},"subject":[],"published":{"date-parts":[[2008,9]]}}}