80 search results - page 1 / 16 » Defining and specifying graphs using formal model-based tech... |
SAJ
2000
13 years 4 months ago
2000
ESEC
1997
Springer
13 years 9 months ago
1997
Springer
The idea of a combined reference model- and view-based specification approach has been proposed recently in the software engineering community. In this paper we present a specifica...
FASE
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. The complexity of large system models in software engineering nowadays is mastered by using different views. View-based modeling aims at creating small, partial models, e...
WER
2010
Springer
13 years 2 months ago
2010
Springer
Feature models are commonly used to capture the commonality and the variability of product families. There are several feature model notations that correspondingly depict the conce...
FMCO
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. In component-based development, the correctness of a system depends on the correctness of the individual components and on their interactions. Model-based testing is a wa...