Blar i SINTEF Open på forfatter "Svendsen, Andreas"
-
A Generic Language and Tool for Variability Modeling
Fleurey, Franck; Haugen, Øystein; Møller-Pedersen, Birger; Olsen, Gøran Klepp; Svendsen, Andreas; Zhang, Xiaorui (Research report, 2009)This paper presents an approach to variability modeling where variability models are made in a separate, generic language CVL (Common Variability Language) that works with any other language defined by a metamodel. CVL ... -
Improving Domain-Specific Languages by Analyzing, Constraining and Enhancing Metamodels
Svendsen, Andreas; Haugen, Øystein; Møller-Pedersen, Birger (Research report, 2011)We present an approach for improving domain-specific modeling languages (DSML) by automatically revealing unintended models and subsequently introducing constraints to disallow these. One purpose with domain-specific ... -
Optimizing Alloy Models
Svendsen, Andreas; Haugen, Øystein; Møller-Pedersen, Birger (Research report, 2011)This paper presents three possible optimizations of Alloy models, including how and when to implement these optimizations. Alloy is a formal light-weight language for performing incremental and automatic analysis. Analysis ...