1199 search results - page 29 / 240 » Software Verification and Software Engineering a Practitione... |
ICFEM
2003
Springer
15 years 7 months ago
2003
Springer
116
click to vote
SIGSOFT
2007
ACM
16 years 2 months ago
2007
ACM
In this paper we propose a behavioural model, namely the Extended Modal Labeled Transition Systems, as a basis for the formalization of the different notions of variability usuall...
VSTTE
2005
Springer
15 years 7 months ago
2005
Springer
The grand challenge that is the focus of this conference targets the development of a practical methodology for software verification: a methodology that can help us to reduce the ...
109
click to vote
CBSE
2006
Springer
15 years 5 months ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
ICSE
2009
IEEE-ACM
15 years 8 months ago
2009
IEEE-ACM
Software vendors lack the perspective to develop software within a software ecosystem. The inability to function in a software ecosystem has already led to the demise of many soft...