9 citations · 13 across the 2 of their papers we have counts for
2 papers
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…