1376 search results - page 162 / 276 » Model-Driven Software Verification |
111
click to vote
SIGSOFT
2006
ACM
16 years 4 months ago
2006
ACM
A method for extracting syntactic specifications from heapmanipulating code is described. The state of the heap is represented as an environment mapping each variable or field to ...
102
click to vote
SIGSOFT
2004
ACM
16 years 4 months ago
2004
ACM
We present a new classification system for aspect-oriented programs. This system characterizes the interactions between aspects and methods and identifies classes of interactions ...
138
click to vote
CODES
2003
IEEE
15 years 8 months ago
2003
IEEE
Hardware/Software cosimulation is the key process to shorten the design turn around time. We have proposed a novel technique, called virtual synchronization, for fast and time acc...
137
click to vote
SIGSOFT
2003
ACM
15 years 8 months ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...
147
Voted
AOSD
2007
ACM
15 years 7 months ago
2007
ACM
Design rules express constraints on the behavior and structure of a program. These rules can help ensure that a program follows a set of established practices, and avoids certain ...