Ferhat Erata

  • Citations Per Year
Learn More
Traceability can be defined as the degree to which a relationship can be established among work products of the development process. Traceability is important to support the consistency and likewise to ensure that a system is understandable, maintainable and reliable. Several approaches have been proposed to model traceability elements and reason about them(More)
We present Tarski, a tool for specifying configurable trace semantics to facilitate automated reasoning about traces. Software development projects require that various types of traces be modeled between and within development artifacts. For any given artifact (e.g., requirements, architecture models and source code), Tarski allows the user to specify new(More)
ContentModel : NamedElement web -> Web + ownedEntityModel->EntityModel? abstract Web : NamedElement ownedList : List * ownedWeb : Web *Web : NamedElement ownedList : List * ownedWeb : Web * abstract List : NamedElement contentTypes -> ContentType * xor Type Library ListList : NamedElement contentTypes -> ContentType * xor Type Library List abstract(More)
Composite Content Applications (CCA) are cross-functional process solutions built on top of Enterprise Content Management systems assembled from pre-built components. Considering the complexity of CCAs, their analysis and development need higher level of abstraction. Modeldriven engineering techniques covering the use of Domain-specific Modeling Languages(More)
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(More)
  • 1