Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
AMAST
2004
Springer
11 years 5 months ago
A Formally Verified Calculus for Full Java Card
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 ...
Kurt Stenzel
AMAST
2004
Springer
11 years 5 months ago
Modularity and the Rule of Adaptation
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,...
Cees Pierik, Frank S. de Boer
AMAST
2004
Springer
11 years 5 months ago
Deductive Verification of Distributed Groupware Systems
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...
Abdessamad Imine, Pascal Molli, Gérald Oste...
AMAST
2004
Springer
11 years 5 months ago
A Language for Configuring Multi-level Specifications
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...
Gillian Hill, Steven Vickers
AMAST
2004
Springer
11 years 5 months ago
Refining Mobile UML State Machines
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...
Alexander Knapp, Stephan Merz, Martin Wirsing
AMAST
2004
Springer
11 years 5 months ago
Linear Temporal Logic and Z Refinement
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...
John Derrick, Graeme Smith
AMAST
2004
Springer
11 years 5 months ago
Towards Correspondence Carrying Specifications
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) ...
Marius C. Bujorianu, Eerke A. Boiten
books