Property Satisfiability Analysis for Product Lines of Modelling Languages

Article

Abstract: Software engineering uses models throughout most phases of the development process. Models are defin

Palabras claves:

Meta-Modelling, Model finding, model-driven engineering, OCL, Product Lines, software language engineering

Autores:

Chechik M., Guerra E., Juan De Lara, Salay R.

Fuentes:

scopus