Specifying with Interface and Trait Abstractions in Abstract State Machines: A Controlled Experiment

Philipp Paulweber, Georg Simhandl, Uwe Zdun. Specifying with Interface and Trait Abstractions in Abstract State Machines: A Controlled Experiment. ACM Transactions on Software Engineering Methodology, 30(4), 2021. [doi]

Abstract

Abstract is missing.