2520 search results - page 318 / 504 » Model-checking behavioral programs |
100
click to vote
SMALLTALK
2007
Springer
15 years 8 months ago
2007
Springer
To extract abstract views of the behavior of an object-oriented system for reverse engineering, a body of research exists that analyzes a system’s runtime execution. Those approa...
111
click to vote
WG
2007
Springer
15 years 8 months ago
2007
Springer
Modularity is a recently introduced quality measure for graph clusterings. It has immediately received considerable attention in several disciplines, and in particular in the compl...
CONEXT
2006
ACM
15 years 8 months ago
2006
ACM
Abstract— In many IP media services, the media channels are point-to-point, dynamic, and set up with the participation of one or more application servers, even though the media p...
115
click to vote
MSR
2006
ACM
15 years 8 months ago
2006
ACM
Refactorings are program transformations which should preserve the program behavior. Consequently, we expect that during phases when there are mostly refactorings in the change hi...
112
click to vote
SIGSOFT
2006
ACM
15 years 8 months ago
2006
ACM
We exploit the main similarity between the aspect-oriented programming paradigm and the inter-object, scenario-based approach to specification in order to construct a new way of ...