395 search results - page 73 / 79 » Program abstractions for behaviour validation |
AOSD
2009
ACM
14 years 1 months ago
2009
ACM
In this paper we present a generic, mirror-based debugging architecture that supports runtime visibility and traceability of aspect oriented (AO) software systems. Runtime visibil...
MSR
2010
ACM
13 years 11 months ago
2010
ACM
Abstract—Change prediction helps developers by recommending program entities that will have to be changed alongside the entities currently being changed. To evaluate their accura...
APVIS
2001
13 years 11 months ago
2001
Information visualisation exploits the natural perceptual capabilities of the decisionfacilitate the rapid assimilation and analysis of abstract, complex and often voluminous info...
ICSOC
2010
Springer
13 years 8 months ago
2010
Springer
A request to a service registry must be answered with a service that fits in several regards, including semantic compatibility, non-functional compatibility, and interface compati...
TPHOL
2009
IEEE
14 years 4 months ago
2009
IEEE
Abstract. Real multiprocessors do not provide the sequentially consistent memory that is assumed by most work on semantics and verification. Instead, they have relaxed memory mode...