469 search results - page 5 / 94 » Reasoning About Method Calls in Interface Specifications |
ENTCS
2006
13 years 8 months ago
2006
Partial functions and operators are used extensively in the formal development of programs and thus development methods have to clarify how to reason about them. There are a numbe...
ECOOP
2005
Springer
14 years 2 months ago
2005
Springer
Advice is a mechanism used by advanced object-oriented and aspect-oriented programming languages to augment the behavior of methods in a program. Advice can help to make programs m...
ECOOP
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Aspect-oriented advice increases the number of places one must consider during reasoning, since advice may affect all method calls and field accesses. MAO, a new variant...
SIGSOFT
2004
ACM
14 years 9 months ago
2004
ACM
Exploring alternative options is at the heart of the requirements and design processes. Different alternatives contribute to different degrees of achievement of non-functional goa...
ISORC
2002
IEEE
2002
IEEE
A Framework for Integrating the Real-Time Specification for Java and Java's Remote Method Invocation
14 years 1 months ago
This paper proposes a framework for integrating the Real-Time Specification for Java and Java's Remote Method Invocation. The concepts of real-time remote and distributed rea...