{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,3]],"date-time":"2024-09-03T20:30:20Z","timestamp":1725395420237},"reference-count":10,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/iri-05.2005.1506487","type":"proceedings-article","created":{"date-parts":[[2005,9,12]],"date-time":"2005-09-12T11:19:24Z","timestamp":1126523964000},"page":"282-287","source":"Crossref","is-referenced-by-count":0,"title":["Extending eclipse to support object-oriented system verification"],"prefix":"10.1109","author":[{"family":"Jiang Guo","sequence":"first","affiliation":[]},{"family":"Yuehong Liao","sequence":"additional","affiliation":[]},{"given":"R.","family":"Pamula","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-24622-0_5","article-title":"Rule-based runtime verification","author":"barringer","year":"2004","journal-title":"Proc Int Conf Verification Model Checking Abstract Interpretation"},{"journal-title":"The 2003 International Conference on Space Mission Challenges for Information Technology","article-title":"An integrated formal framework in the development of safety critical software systems","year":"2003","author":"guo","key":"2"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2003.1210094"},{"journal-title":"Proceedings of the IEEE International Conference and Workshop on the Engineering of Computer Based Systems","article-title":"Using category theory to model software component dependencies","year":"2002","author":"guo","key":"1"},{"journal-title":"Proc IEEE Symp Human-Centric Computing Languages and Environments","article-title":"Implementing statecharts using extended positional grammars","year":"2001","author":"costagliola","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(01)00381-4"},{"journal-title":"Proceeding of Engineering of Complex Computer Systems","article-title":"UML + ROOM as a standard ADL?","year":"1999","author":"rumpe","key":"5"},{"journal-title":"Creating Agile Organizations with the OOCL Method","year":"1998","author":"swanstrom","key":"4"},{"journal-title":"Proceedings of ECOOP'97","article-title":"Towards a formalization of the unified modeling language","year":"1997","author":"breu","key":"9"},{"journal-title":"Tenth International Conference on Coneurrency Theory","article-title":"Model checking of message sequence charts","year":"1999","author":"alur","key":"8"}],"event":{"name":"IRI -2005 IEEE International Conference on Information Reuse and Integration, Conf, 2005.","location":"Las Vegas, NV, USA"},"container-title":["IRI -2005 IEEE International Conference on Information Reuse and Integration, Conf, 2005."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/10065\/32280\/01506487.pdf?arnumber=1506487","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T19:18:37Z","timestamp":1497640717000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1506487\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/iri-05.2005.1506487","relation":{},"subject":[]}}