1926 search results - page 52 / 386 » Modeling and Model Checking Software Product Lines |
131
Voted
ESOP
2003
Springer
15 years 10 months ago
2003
Springer
This paper proposes the use of constraint logic programming (CLP) to perform model checking of traditional, imperative programs. We present a semantics-preserving translation from ...
131
click to vote
SE
2008
15 years 6 months ago
2008
: Software lifecycle models differ in their artifacts as well as in the dependencies between the included tasks and activities. Therefore support-tools, which support these lifecyc...
139
click to vote
DAGSTUHL
2006
15 years 6 months ago
2006
This paper presents novel language and analysis techniques that significantly speed up software model checking of data structure properties. Consider checking a red-black tree imp...
141
click to vote
HICSS
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper examines business, design, and product development aspects of software business models. Contexts of small and large companies for creating software innovations are also...
143
Voted
FORTE
2004
15 years 6 months ago
2004
Software Model-Checking and Testing are some of the most used techniques to analyze software systems and identify hidden faults. While software model-checking allows for an exhaust...