Vis enkel innførsel

dc.contributor.authorSvendsen, Andreas
dc.contributor.authorHaugen, Øystein
dc.contributor.authorMøller-Pedersen, Birger
dc.identifier.citationSINTEF Rapport A21094, 15 p., SINTEF, 2011nb_NO
dc.description.abstractThis 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 is performed within a user-defined scope, which limits the number of model elements that are considered. When this scope increases, the number of possible combinations of model elements increases exponentially. Thus the analysis time escalates rapidly caused by this state-space explosion. Implementing the optimizations presented in this paper will decrease the analysis time, and thus make analysis suitable for larger models. We give concrete examples showing the decrease in analyzation effort and time given these optimizations. Oppdragsgiver: Research Council of Norwaynb_NO
dc.rightsNavngivelse-Ikkekommersiell-IngenBearbeidelse 3.0 Norge*
dc.titleOptimizing Alloy Modelsnb_NO
dc.typeResearch reportnb_NO
dc.relation.projectStiftelsen SINTEF: 90B246;90B274nb_NO

Tilhørende fil(er)


Denne innførselen finnes i følgende samling(er)

Vis enkel innførsel

Navngivelse-Ikkekommersiell-IngenBearbeidelse 3.0 Norge
Med mindre annet er angitt, så er denne innførselen lisensiert som Navngivelse-Ikkekommersiell-IngenBearbeidelse 3.0 Norge