Sciweavers

33 search results - page 2 / 7
» kbse 2010
Sort
View
KBSE
2010
IEEE
13 years 6 months ago
Verification-driven slicing of UML/OCL models
Asadullah Shaikh, Robert Clarisó, Uffe Kock...
KBSE
2010
IEEE
13 years 6 months ago
SpecDiff: debugging formal specifications
Zhenchang Xing, Jun Sun 0001, Yang Liu 0003, Jin S...
KBSE
2010
IEEE
13 years 7 months ago
Security-driven model-based dynamic adaptation
Brice Morin, Tejeddine Mouelhi, Franck Fleurey, Yv...
KBSE
2010
IEEE
13 years 6 months ago
Model comparison with GenericDiff
This paper proposes GenericDiff, a general framework for model comparison. The main idea is to separate the specification of domain-specific model properties and syntax from the g...
Zhenchang Xing
KBSE
2010
IEEE
13 years 7 months ago
Tool support for quality-driven development of software architectures
In this paper, we present a prototype tool that supports the systematic development of software architectures driven by quality requirements using architectural tactics. The tool ...
Suntae Kim, Dae-Kyoo Kim, Sooyong Park