1376 search results - page 117 / 276 » Model-Driven Software Verification |
144
click to vote
ECMDAFA
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. The Unified Modelling Language (UML) is intended to describe systems, but it is not clear what systems satisfy a given collection of UML diagrams. Stephen Mellor has desc...
115
click to vote
ESEC
1997
Springer
15 years 6 months ago
1997
Springer
The market for software components is growing, driven on the "demand side" by the need for rapid deployment of highly functional products, and on the "supply side&q...
111
click to vote
AIPS
1996
15 years 4 months ago
1996
A key obstacle hampering fielding of AI planning applications is the considerable expense of developing, verifying, updating, and maintaining the planning knowledge base (KB). Pla...
137
click to vote
APN
2006
Springer
15 years 5 months ago
2006
Springer
Program verification is usually done by adding specifications and invariants to the program and then proving that the verification conditions are all true. This makes program verif...
118
click to vote
SIGSOFT
2010
ACM
15 years 28 days ago
2010
ACM
We present Phantm, a static analyzer that uses a flowsensitive analysis to detect type errors in PHP applications. Phantm can infer types for nested arrays, and can leverage runti...