9 citations · 17 across the 3 of their papers we have counts for
3 papers
cs.SE2024★ 4 cited
A Tool for Automated Reasoning About Traces Based on Configurable Formal Semantics
Ferhat Erata, Arda Goknil, Bedir Tekinerdogan +1
We present Tarski, a tool for specifying configurable trace semantics to facilitate automated reasoning about traces. Software development projects require that various types of tr…
cs.SE2024★ 4 cited
AlloyInEcore: Embedding of First-Order Relational Logic into Meta-Object Facility for Automated Model Reasoning
Ferhat Erata, Arda Goknil, Ivan Kurtev +1
We present AlloyInEcore, a tool for specifying metamodels with their static semantics to facilitate automated, formal reasoning on models. Software development projects require tha…
cs.SE2016★ 9 cited
A Rule-Based Change Impact Analysis Approach in Software Architecture for Requirements Changes
Arda Goknil, Ivan Kurtev, Klaas van den Berg
Software systems usually operate in a dynamic context where their requirements change continuously and new requirements emerge frequently. A single requirement hardly exists in iso…