1926 search results - page 34 / 386 » Modeling and Model Checking Software Product Lines |
124
click to vote
GG
2004
Springer
15 years 10 months ago
2004
Springer
Model checking is increasingly popular for hardware and, more recently, software verification. In this paper we describe two different approaches to extend the benefits of model ...
155
click to vote
WOSP
2005
ACM
15 years 10 months ago
2005
ACM
In order to effectively validate the performance of software systems throughout their development cycle it is necessary to continuously build performance models from software mod...
140
click to vote
CAV
2005
Springer
15 years 10 months ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
126
click to vote
OOPSLA
2007
Springer
15 years 11 months ago
2007
Springer
Generative Programming advocates developing a family of systems rather than a set of single systems. Feature modeling can assist in supporting the development of such software pro...
108
click to vote
MODELS
2009
Springer
15 years 11 months ago
2009
Springer
This paper summarizes our experience with introducing feature modelling into several product lines within Siemens. Feature models are used for solving various tasks in the product ...