{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T10:49:34Z","timestamp":1730198974363,"version":"3.28.0"},"reference-count":32,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,10]]},"DOI":"10.1109\/ase.2017.8115703","type":"proceedings-article","created":{"date-parts":[[2017,11,23]],"date-time":"2017-11-23T22:03:57Z","timestamp":1511474637000},"page":"907-912","source":"Crossref","is-referenced-by-count":0,"title":["ModelWriter: Text and model-synchronized document engineering platform"],"prefix":"10.1109","author":[{"given":"Ferhat","family":"Erata","sequence":"first","affiliation":[]},{"given":"Claire","family":"Gardent","sequence":"additional","affiliation":[]},{"given":"Bikash","family":"Gyawali","sequence":"additional","affiliation":[]},{"given":"Anastasia","family":"Shimorina","sequence":"additional","affiliation":[]},{"given":"Yvan","family":"Lussaud","sequence":"additional","affiliation":[]},{"given":"Bedir","family":"Tekinerdogan","sequence":"additional","affiliation":[]},{"given":"Geylani","family":"Kardas","sequence":"additional","affiliation":[]},{"given":"Anne","family":"Monceaux","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"ModelWriter Text & model synchronized document engineering platform","year":"2014","author":"erata","key":"ref32"},{"key":"ref31","first-page":"151","article-title":"Engineering a dsl for software traceability","author":"drivalos","year":"2008","journal-title":"Proceedings of the 1st International Conference on Software Language Engineering (SLE'08)"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2013.10.006"},{"key":"ref10","first-page":"2004","article-title":"OWL web ontology language overview","volume":"10","author":"mcguinness","year":"2004","journal-title":"W3C Recommendation"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.3115\/1067807.1067825"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3019612.3019747"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3122825"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71209-1_49"},{"key":"ref15","first-page":"337","article-title":"Z3: An efficient smt solver","author":"moura","year":"2008","journal-title":"International conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'08)"},{"key":"ref16","first-page":"502","article-title":"An extensible sat-solver","author":"e\u00e9n","year":"2003","journal-title":"6th int'L Conference on Theory and Applications of Satisfiability Testing (SAT ' 03"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21437-0_12"},{"key":"ref18","first-page":"14","article-title":"The smt-lib standard: Version 2.0","volume":"13","author":"barrett","year":"2010","journal-title":"Proceedings of the 8th International Workshop on Satisfiability Modulo Theories"},{"key":"ref19","article-title":"Verbalizing OWL in Attempto Controlled English","volume":"258","author":"kaljurand","year":"2007","journal-title":"OWLED"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1232285"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-009-0142-3"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1178051"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970314"},{"journal-title":"Software Abstractions Logic Language and Analysis","year":"2012","author":"jackson","key":"ref6"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/1987856.1987866"},{"key":"ref5","first-page":"91","article-title":"Hermit: A highly-efficient owl reasoner","volume":"432","author":"shearer","year":"2008","journal-title":"5th Workshop on OWLE xperience and Directions"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-58068-5_17"},{"journal-title":"A Constraint Solver for Software Engineering Finding Models and Cores of Large Relational Specifications","year":"2008","author":"torlak","key":"ref7"},{"journal-title":"Guide to the Software Engineering Body of Knowledge (Swebok(r)) Version 3 0","year":"2014","author":"society","key":"ref2"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45705-4_32"},{"journal-title":"DO-178C Software Considerations in Airborne Systems and Equipment Certification","article-title":"RTCA and EUROCAE","year":"2017","key":"ref1"},{"key":"ref20","article-title":"User-friendly ontology authoring using a controlled language","author":"tablan","year":"2006","journal-title":"Proceedings of LREC"},{"key":"ref22","volume":"123","author":"buitelaar","year":"2005","journal-title":"Ontology Learning from Text Methods Evaluation and Applications"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/11574620_11"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72667-8_47"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/11428817_7"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1142\/S0218194005002464"},{"key":"ref25","first-page":"8","article-title":"Operational semantics for traceability","author":"aizenbud-reshef","year":"2005","journal-title":"ECMDA Traceability Workshop (ECMDA-TW)"}],"event":{"name":"2017 32nd IEEE\/ACM International Conference on Automated Software Engineering (ASE)","start":{"date-parts":[[2017,10,30]]},"location":"Urbana, IL","end":{"date-parts":[[2017,11,3]]}},"container-title":["2017 32nd IEEE\/ACM International Conference on Automated Software Engineering (ASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8106906\/8115603\/08115703.pdf?arnumber=8115703","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,1,8]],"date-time":"2018-01-08T22:47:14Z","timestamp":1515451634000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8115703\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10]]},"references-count":32,"URL":"https:\/\/doi.org\/10.1109\/ase.2017.8115703","relation":{},"subject":[],"published":{"date-parts":[[2017,10]]}}}