selected

A survey on the practical use of UML for different software architecture viewpoints
Context Software architecture viewpoints modularize the software architectures in terms of different viewpoints that each address a …
Mert Ozkaya, Ferhat Erata
PDF Cite DOI URL
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
Integrating static code analysis toolchains
Matthias Kern, Ferhat Erata, Markus Iser, Carsten Sinz, Frederic Loiret, Stefan Otten, Eric Sax
PDF Cite DOI URL
AlloyInEcore: embedding of first-order relational logic into meta-object facility for automated model reasoning
We present AlloyInEcore, a tool for specifying metamodels with their static semantics to facilitate automated, formal reasoning on …
Ferhat Erata, Arda Goknil, Ivan Kurtev, Bedir Tekinerdogan
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
ModelWriter: Text and model-synchronized document engineering platform
Ferhat Erata, Claire Gardent, Bikash Gyawali, Anastasia Shimorina, Yvan Lussaud, Bedir Tekinerdogan, Geylani Kardas, Anne Monceaux
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