1199 search results - page 221 / 240 » Software Verification and Software Engineering a Practitione... |
136
click to vote
JUCS
2010
14 years 8 months ago
2010
: There is a need for more rigorous analysis techniques that developers can use for verifying the critical properties in UML models. The UML-based Specification Environment (USE) t...
220
click to vote
POPL
2009
ACM
16 years 2 months ago
2009
ACM
Asynchronous or "event-driven" programming is a popular technique to efficiently and flexibly manage concurrent interactions. In these programs, the programmer can post ...
235
click to vote
POPL
2009
ACM
16 years 2 months ago
2009
ACM
ibe an abstract interpretation based framework for proving relationships between sizes of memory partitions. Instances of this framework can prove traditional properties such as m...
214
click to vote
POPL
2009
ACM
16 years 2 months ago
2009
ACM
This paper describes a compositional shape analysis, where each procedure is analyzed independently of its callers. The analysis uses an abstract domain based on a restricted frag...
226
click to vote
POPL
2008
ACM
16 years 2 months ago
2008
ACM
alyses are concerned with precise abstractions of the heap to capture detailed structural properties. To do so, they need to build and decompose summaries of disjoint memory regio...