AMAST
2004
Springer
13 years 8 months ago
2004
Springer
We present a calculus for the verification of sequential Java programs. It supports all Java language constructs and has additional support for Java Card. The calculus is formally ...
AMAST
2004
Springer
13 years 8 months ago
2004
Springer
This paper presents a new rule for reasoning about method calls in object-oriented programs. It is an adaptation of Hoare's rule of adaptation to the object-oriented paradigm,...
AMAST
2004
Springer
13 years 8 months ago
2004
Springer
Distributed groupware systems consist of a group of users manipulating a shared object (like a text document, a filesystem, etc). Operational Transformation (OT) algorithms are app...
AMAST
2004
Springer
13 years 8 months ago
2004
Springer
Abstract. This paper shows how systems can be built from their component parts with specified sharing. Its principle contribution is a modular language for configuring systems. A c...
AMAST
2004
Springer
13 years 8 months ago
2004
Springer
We study the semantics and refinement of mobile objects, considering an extension of core UML state machines by primitives that designate the location of objects and their moves wi...
AMAST
2004
Springer
13 years 8 months ago
2004
Springer
AMAST
2004
Springer
13 years 8 months ago
2004
Springer
AMAST
2004
Springer
13 years 8 months ago
2004
Springer
Since Z, being a state-based language, describes a system in terms of its state and potential state changes, it is natural to want to describe properties of a specified system also...
AMAST
2004
Springer
13 years 8 months ago
2004
Springer
Abstract. In this work we study the unification of heterogeneous partial specifications using category theory. We propose an alternative to inn morphisms, which we call (abstract) ...
AMAST
2004
Springer
13 years 10 months ago
2004
Springer