Specification and automatic checking of architecture constraints on object oriented programs

Sahar Kallel, Chouki Tibermacine, Slim Kallel, Ahmed Hadj Kacem, Christophe Dony. Specification and automatic checking of architecture constraints on object oriented programs. Information \& Software Technology, 101:16-31, 2018. [doi]

Abstract

Abstract is missing.