Sciweavers

FMOODS
2003
14 years 17 days ago
Inheritance of Temporal Logic Properties
Abstract. Inheritance is one of the key features for the success of objectoriented languages. Inheritance (or specialisation) supports incremental design and re-use of already writ...
Heike Wehrheim
FMOODS
2003
14 years 17 days ago
Towards Object-Oriented Graphs and Grammars
This work aims to extend the algebraical approach to graph transformation to model object-oriented systems structures and computations. A graph grammar based formal framework for o...
Ana Paula Lüdtke Ferreira, Leila Ribeiro
FMOODS
2003
14 years 17 days ago
Managing the Evolution of .NET Programs
Abstract. The component-based model of code execution imposes some requirements on the software components themselves, and at the same time lays some constraints on the modern run-...
Susan Eisenbach, Vladimir Jurisic, Chris Sadler
FMOODS
2003
14 years 17 days ago
Engineering the SDL Formal Language Definition
Andreas Prinz, Martin von Löwis
FMOODS
2003
14 years 17 days ago
A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts
This paper outlines a sound and complete Hoare logic for a sequential object-oriented language with inheritance and subtyping like Java. It describes a weakest precondition calculu...
Cees Pierik, Frank S. de Boer
FMOODS
2003
14 years 17 days ago
Proof Scores in the OTS/CafeOBJ Method
A way to write proof scores showing that distributed systems have invariant properties in algebraic specification languages is described, which has been devised through several ca...
Kazuhiro Ogata, Kokichi Futatsugi
FMOODS
2003
14 years 17 days ago
A Calculus for Long-Running Transactions
Laura Bocchi, Cosimo Laneve, Gianluigi Zavattaro
FMOODS
2003
14 years 17 days ago
The Kell Calculus: Operational Semantics and Type System
This paper1 presents the Kell calculus, a new distributed process calculus that retains the original insights of the Seal calculus (local actions, process replication) and of the M...
Philippe Bidinger, Jean-Bernard Stefani
FMOODS
2003
14 years 17 days ago
A Rewriting Based Model for Probabilistic Distributed Object Systems
Concurrent and distributed systems have traditionally been modelled using nondeterministic transitions over configurations. The minism provides an abstraction over scheduling, net...
Nirman Kumar, Koushik Sen, José Meseguer, G...
FMOODS
2003
14 years 17 days ago
Design and Verification of Distributed Multi-media Systems
Performance analysis of computing systems, in particular distributed computing systems, is a complex process. Analysing the complex flows and interactions between a set of distribu...
David H. Akehurst, John Derrick, A. Gill Waters