12551 search results - page 2072 / 2511 » Reuse in Systems Engineering |
208
click to vote
SIGSOFT
2007
ACM
16 years 8 months ago
2007
ACM
When enacting a web service orchestration defined using the Business Process Execution Language (BPEL) we observed various safety property violations. This surprised us considerab...
197
click to vote
SIGSOFT
2007
ACM
16 years 8 months ago
2007
ACM
Asynchronous systems components are hard to write, hard to reason about, and (not coincidentally) hard to mechanically verify. In order to achieve high performance, asynchronous c...
200
click to vote
SIGSOFT
2004
ACM
16 years 8 months ago
2004
ACM
Constructing comprehensive operational models of intended system behaviour is a complex and costly task. Consequently, practitioners have adopted techniques that support increment...
181
click to vote
SIGSOFT
2003
ACM
16 years 8 months ago
2003
ACM
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...
216
click to vote
WWW
2008
ACM
16 years 8 months ago
2008
ACM
Nowadays the Web represents a growing collection of an enormous amount of contents where the need for better ways to find and organize the available data is becoming a fundamental...