183 search results - page 4 / 37 » Details of Formalized Relations in Feature Models Using OCL |
FASE
2000
Springer
15 years 1 months ago
2000
Springer
The problem of consistently engineering large, complex software systems of today is often addressed by introducing new, "improved" models. Examples of such models are arc...
ASM
2010
ASM
15 years 4 months ago
2010
ASM
Abstract. Feature-oriented modelling is a well-known approach for Software Product Line (SPL) development. It is a widely used method when developing groups of related software. Wi...
DAC
1997
ACM
15 years 1 months ago
1997
ACM
We present our experiences with the formal verification of an automotive chip used to control the safety features in a car. We used a BDD based model checker in our work. We descr...
FAST
2009
14 years 7 months ago
2009
We present a formalism for provenance in distributed systems based on the -calculus. Its main feature is that all data products are annotated with metadata representing their prov...
74
Voted
FM
1994
Springer
15 years 1 months ago
1994
Springer
OPUS is an elementary calculus that models object-orientation. It expresses in a direct way the crucial features of object-oriented programming such as objects, encapsulation, mess...