traceability

Automated reasoning framework for traceability management of system of systems
An important aspect in system of systems (SoS) is the realization of the capabilities in different systems that work together. …
Bedir Tekinerdogan, Ferhat Erata
PDF Cite DOI URL
A tool for automated reasoning about traces based on configurable formal semantics
We present Tarski, a tool for specifying configurable trace semantics to facilitate automated reasoning about traces. Software …
Ferhat Erata, Arda Goknil, Bedir Tekinerdogan, Geylani Kardas
PDF Cite DOI URL
Modeling traceability in system of systems
An important aspect in SoS is the realization of the concerns in different systems that work together. Identifying and locating these …
Bedir Tekinerdogan, Ferhat Erata
PDF Cite DOI URL
Tarski: A platform for automated analysis of dynamically configurable traceability semantics
Traceability can be defined as the degree to which a relationship can be established among work products of the development process. …
Ferhat Erata, Moharram Challenger, Bedir Tekinerdogan, Anne Monceaux, Eray Tüzün, Geylani Kardas
Cite DOI URL