449 search results - page 49 / 90 » Model Checking Large Software Specifications |
WWW
2005
ACM
16 years 14 days ago
2005
ACM
We present a language for specifying web service interfaces. A web service interface puts three kinds of constraints on the users of the service. First, the interface specifies th...
ICSE
2008
IEEE-ACM
16 years 18 days ago
2008
IEEE-ACM
This paper shows how software engineering technologies used to define and analyze complex software systems can also be effective in detecting defects in human-intensive processes ...
SIGSOFT
2010
ACM
14 years 9 months ago
2010
ACM
Concurrent program verification is challenging because it involves exploring a large number of possible thread interleavings together with complex sequential reasoning. As a resul...
ICSE
2007
IEEE-ACM
15 years 12 months ago
2007
IEEE-ACM
The paper presents a novel approach based on Bogor for the accurate verification of applications based on PublishSubscribe infrastructures. Previous efforts adopted standard model...
100
click to vote
SIGSOFT
2005
ACM
16 years 16 days ago
2005
ACM
Growing attention is being paid to application security at requirements engineering time. Confidentiality is a particular subclass of security concerns that requires sensitive inf...