133
click to vote
FMOODS
15 years 2 months ago
2003 
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...
132
click to vote
FMOODS
15 years 2 months ago
2003 
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...
114
click to vote
FMOODS
15 years 2 months ago
2003 
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...
109
click to vote
FMOODS
15 years 2 months ago
2003
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-...
|
Formal Methods