2407 search results - page 133 / 482 » A Tool for Abstraction in Model Checking |
209
click to vote
SIGMOD
1993
ACM
15 years 11 months ago
1993
ACM
Abstract: We propose a framework for the specification of extensible database systems. A particular goal is to implement a software component for parsing and rule-based optimizatio...
188
click to vote
ICWE
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Current Web applications embed sophisticated user interfaces and business logic. The original interaction paradigm of the Web with static content pages that are browsed b...
191
click to vote
IFM
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
165
click to vote
APSEC
2005
IEEE
16 years 15 days ago
2005
IEEE
In component-based software development, it is important to ensure interoperability between components based on their unambiguous semantic descriptions, in order to obtain a viabl...
186
click to vote
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
Automatically detecting bugs in programs has been a long-held goal in software engineering. Many techniques exist, trading-off varying levels of automation, thoroughness of covera...