1926 search results - page 340 / 386 » Modeling and Model Checking Software Product Lines |
103
click to vote
SIGSOFT
2009
ACM
15 years 6 months ago
2009
ACM
Web-services are broadly considered as an effective means to achieve interoperability between heterogeneous parties of a business process and offer an open platform for developing...
ISSTA
2006
ACM
15 years 5 months ago
2006
ACM
Static analysis has gained much attention over the past few years in applications such as bug finding and program verification. As software becomes more complex and componentize...
101
click to vote
ACMICEC
2005
ACM
15 years 5 months ago
2005
ACM
Current composite web service development and management solutions, e.g. BPEL, do not cater for assessing and maintaining comparability of business partners during business collab...
FOSSACS
2003
Springer
15 years 5 months ago
2003
Springer
Genericity is the idea that the same program can work at many different data types. Longo, Milstead and Soloviev proposed to capture the inability of generic programs to probe th...
SIGSOFT
2004
ACM
16 years 16 days ago
2004
ACM
One of the benefits of finite-state verification (FSV) tools, such as model checkers, is that a counterexample is provided when the property cannot be verified. Not all counterexa...