2520 search results - page 435 / 504 » Model-checking behavioral programs |
TACAS
2005
Springer
14 years 3 months ago
2005
Springer
Object-oriented unit tests consist of sequences of method invocations. Behavior of an invocation depends on the method’s arguments and the state of the receiver at the beginning ...
UML
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Current software systems increasingly consist of distributed interacting components. The use of web services and similar middleware technologies strongly fosters such arc...
AOSD
2004
ACM
14 years 3 months ago
2004
ACM
We propose a linguistic mechanism for AspectJ-like languages that concisely associates aspect instances to object groups. The mechanism, which supports association aspects, extend...
SC
2004
ACM
14 years 3 months ago
2004
ACM
Today, clusters built from commodity PCs dominate high-performance computing, with systems containing thousands of processors now being deployed. As node counts for multi-teraflo...
WOSS
2004
ACM
14 years 3 months ago
2004
ACM
Currently, paradigms such as component-based software development and service-oriented software architectures promote modularization of software systems into highly decoupled and ...