ModelWriter: Text and Model-Synchronized Document Engineering Platform

Basit Öğe Kaydı
dc.contributor.authorErata, Ferhat
dc.contributor.authorGardent, Claire
dc.contributor.authorGyawali, Bikash
dc.contributor.authorShimorina, Anastasia
dc.contributor.authorLussaud, Yvan
dc.contributor.authorTekinerdogan, Bedir
dc.contributor.authorKardas, Geylani
dc.contributor.authorMonceaux, Anne
dc.contributor.editorRosu, G
dc.contributor.editorDiPenta, M
dc.contributor.editorNguyen, TN
dc.date.accessioned2019-10-27T11:19:22Z
dc.date.available2019-10-27T11:19:22Z
dc.date.issued2017
dc.departmentEge Üniversitesien_US
dc.description32nd IEEE/ACM International Conference on Automated Software Engineering (ASE) -- OCT 29-NOV 03, 2017 -- Univ Illinois Urbana Champaign, Urbana Champaign, ILen_US
dc.description.abstractThe ModelWriter platform provides a generic framework for automated traceability analysis. In this paper, we demonstrate how this framework can be used to trace the consistency and completeness of technical documents that consist of a set of System Installation Design Principles used by Airbus to ensure the correctness of aircraft system installation. We show in particular, how the platform allows the integration of two types of reasoning: reasoning about the meaning of text using semantic parsing and description logic theorem proving; and reasoning about document structure using first-order relational logic and finite model finding for traceability analysis.en_US
dc.description.sponsorshipIEEE, Assoc Comp Machinery, IEEE Comp Soc, ACM SIGSOFT, ACM SIGAI, Coll Engn, NASA, Microsoft, DENSO, Univ Minnesota, Runtime Verificat, Huawei, InputOutput, Google, Toyota Infotechnol Ctr, Fox Dev Corp, Galoisen_US
dc.description.sponsorshipScientific and Technological Research Council of TurkeyTurkiye Bilimsel ve Teknolojik Arastirma Kurumu (TUBITAK) [9140014, 9150181]; Industry and Digital Affairs of France [142930204]en_US
dc.description.sponsorshipThis work is conducted within ModelWriter project [32] and partially supported by the Scientific and Technological Research Council of Turkey under project #9140014, #9150181 and Industry and Digital Affairs of France under contract #142930204. The authors would like to acknowledge networking support by European Cooperation in Science and Technology Action IC1404 "Multi-Paradigm Modelling for Cyber-Physical Systems".en_US
dc.identifier.endpage912en_US
dc.identifier.isbn978-1-5386-2684-9
dc.identifier.issn1527-1366
dc.identifier.issn1527-1366en_US
dc.identifier.scopusqualityN/Aen_US
dc.identifier.startpage907en_US
dc.identifier.urihttps://hdl.handle.net/11454/32753
dc.identifier.wosWOS:000417469700094en_US
dc.identifier.wosqualityN/Aen_US
dc.indekslendigikaynakScopusen_US
dc.indekslendigikaynakWeb of Scienceen_US
dc.language.isoenen_US
dc.publisherIeeeen_US
dc.relation.ispartofProceedings of the 2017 32Nd Ieee/Acm International Conference on Automated Software Engineering (Ase'17)en_US
dc.relation.ispartofseriesIEEE ACM International Conference on Automated Software Engineering
dc.relation.publicationcategoryKonferans Öğesi - Uluslararası - Kurum Öğretim Elemanıen_US
dc.rightsinfo:eu-repo/semantics/closedAccessen_US
dc.titleModelWriter: Text and Model-Synchronized Document Engineering Platformen_US
dc.typeConference Objecten_US

Dosyalar

Koleksiyon

WoS İndeksli Yayınlar Koleksiyonu
Scopus İndeksli Yayınlar Koleksiyonu