Staff Publications

Staff Publications

  • external user (warningwarning)
  • Log in as
  • language uk
  • About

    'Staff publications' is the digital repository of Wageningen University & Research

    'Staff publications' contains references to publications authored by Wageningen University staff from 1976 onward.

    Publications authored by the staff of the Research Institutes are available from 1995 onwards.

    Full text documents are added when available. The database is updated daily and currently holds about 240,000 items, of which 72,000 in open access.

    We have a manual that explains all the features 

Record number 534072
Title ModelWriter : Text and model-synchronized document engineering platform
Author(s) Erata, Ferhat; Gardent, Claire; Gyawali, Bikash; Shimorina, Anastasia; Lussaud, Yvan; Tekinerdogan, Bedir; Kardas, Geylani; Monceaux, Anne
Source In: ASE 2017 - Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering. - Institute of Electrical and Electronics Engineers Inc. - ISBN 9781538626849 - p. 907 - 912.
Event 32nd IEEE/ACM International Conference on Automated Software Engineering, ASE 2017, Urbana-Champaign, 2017-10-30/2017-11-03
DOI https://doi.org/10.1109/ASE.2017.8115703
Department(s) Information Technology
WASS
Publication type Contribution in proceedings
Publication year 2017
Abstract The 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.
Comments
There are no comments yet. You can post the first one!
Post a comment
 
Please log in to use this service. Login as Wageningen University & Research user or guest user in upper right hand corner of this page.