{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T08:50:22Z","timestamp":1725699022240},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,8]]},"DOI":"10.1109\/iri.2013.6642514","type":"proceedings-article","created":{"date-parts":[[2013,10,30]],"date-time":"2013-10-30T20:13:22Z","timestamp":1383164002000},"page":"520-527","source":"Crossref","is-referenced-by-count":2,"title":["Creating GUI-based DSL formal tools"],"prefix":"10.1109","author":[{"given":"Robson","family":"Silva","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexandre","family":"Mota","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rodrigo Rizzi","family":"Starr","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","first-page":"113","article-title":"A MDE basedapproach for bridging formal models","author":"zhang","year":"2008","journal-title":"Proceedings Ofthe 2008 2nd IFIP\/IEEE TASE TASE 08"},{"journal-title":"GUI-based DSL Formal Tools Projectcin","year":"0","author":"silva","key":"17"},{"journal-title":"EMF Eclipse Modeling Framework","year":"2008","author":"steinberg","key":"18"},{"journal-title":"NASA Fault Tree Handbook with Aerospace Applications","year":"2002","key":"15"},{"year":"0","key":"16"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/1118890.1118892"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-007-0042-7"},{"journal-title":"Design by Contract with JML","year":"2006","author":"leavens","key":"11"},{"journal-title":"Dependability Modeling Performance and Dependability InService Computing Concepts Techniques and Research Directions","year":"2011","author":"maciel","key":"12"},{"year":"0","key":"3"},{"year":"0","key":"2"},{"year":"0","key":"1"},{"key":"10","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1007\/978-3-642-16145-2_15","article-title":"Taming EMF and GMF usingmodel transformation","author":"kolovos","year":"2010","journal-title":"Proceedings of the 13th Internationalconference on Model Driven Engineering Languagesand Systems Part I MODELS10"},{"key":"7","first-page":"128","article-title":"The Epsilon ObjectLanguage","author":"kolovos","year":"2006","journal-title":"Model Driven Architecture Foundations and Applications Volume 4066 of Lecture Notes in Computer Science"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-009-0053-0"},{"journal-title":"Integratingformal Methods with Model-driven Engineering","year":"0","author":"gargantini","key":"5"},{"year":"0","key":"4"},{"key":"9","first-page":"204","article-title":"Rigorousmethods for software construction and analysis","author":"kolovos","year":"2009","journal-title":"ChapterOn the Evolution of OCL for Capturing Structural Constraintsin Modelling Languages"},{"journal-title":"The Epsilon Book","year":"2013","author":"kolovos","key":"8"}],"event":{"name":"2013 IEEE 14th International Conference on Information Reuse & Integration (IRI)","start":{"date-parts":[[2013,8,14]]},"location":"San Francisco, CA, USA","end":{"date-parts":[[2013,8,16]]}},"container-title":["2013 IEEE 14th International Conference on Information Reuse & Integration (IRI)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6621630\/6642428\/06642514.pdf?arnumber=6642514","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T21:07:43Z","timestamp":1498079263000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6642514\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,8]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/iri.2013.6642514","relation":{},"subject":[],"published":{"date-parts":[[2013,8]]}}}