1926 search results - page 105 / 386 » Modeling and Model Checking Software Product Lines |
195
click to vote
ISORC
2005
IEEE
15 years 11 months ago
2005
IEEE
Web Services form a new distributed computing paradigm. Collaborative verification and validation are important when Web Services from different vendors are integrated together to...
157
click to vote
KBSE
2008
IEEE
16 years 16 days ago
2008
IEEE
Abstract—We describe BPELCheck, a tool for statically analyzing interactions of composite web services implemented in BPEL. Our algorithm is compositional, and checks each proces...
165
click to vote
SIGSOFT
2009
ACM
16 years 6 months ago
2009
ACM
System specifications have long been expressed through automata-based languages, enabling verification techniques such as model checking. These verification techniques can assess ...
140
click to vote
FASE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. When model checking a software component, a model of the environment in which that component is supposed to run is constructed. One of the major threats to the validity o...
169
Voted
RE
2010
Springer
15 years 27 days ago
2010
Springer
The impact of non-functional requirements (NFRs) over software systems has been widely documented. Consequently, cost-effective software production method shall provide means to in...