1926 search results - page 71 / 386 » Modeling and Model Checking Software Product Lines |
181
click to vote
ICSE
1999
IEEE-ACM
15 years 10 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
156
click to vote
MODELS
2009
Springer
16 years 17 days ago
2009
Springer
Features identify core characteristics of software in order to produce families of programs. Through configuration, different variants of a program can be composed. Our approach...
163
click to vote
SNPD
2008
15 years 7 months ago
2008
For software executing several threads in parallel, testing is unreliable, as it cannot cover all thread schedules. Model checking, however, can cover all possible thread interlea...
157
click to vote
ATAL
2006
Springer
15 years 9 months ago
2006
Springer
This paper is concerned with the problem of obtaining predictable interactions between groups of agents in open environments when individual agents do not expose their bdi logic. ...
181
click to vote
PROFES
2000
Springer
15 years 9 months ago
2000
Springer
This paper proposes a model of successful maintenance that can represent how maintainability of each software module changes as it ages. We found that some of the metrics, measured...