FMOODS 2007 | Sciweavers

45

FMOODS
2000

119views Formal Methods» more FMOODS 2000»

Behavioural Subtyping and Property Preservation

14 years 1 months ago

Inheritance is one of the key features in object-oriented design and analysis. It especially supports an incremental development by allowing to stepwise add new functionality to an...

Heike Wehrheim

claim paper

Read More »

36

click to vote

FMOODS
2000

95views Formal Methods» more FMOODS 2000»

Requirements Level Semantics for UML Statecharts

14 years 1 months ago

Download www.ub.utwente.nl

We propose a formal real-time semantics for UML statecharts aimed at the requirements level. A requirements-level model assumes perfect technology and has a considerably simpler se...

Rik Eshuis, Roel Wieringa

claim paper

Read More »

38

click to vote

FMOODS
2000

116views Formal Methods» more FMOODS 2000»

On a Temporal Logic for Object-Based Systems

14 years 1 months ago

Download wwwhome.cs.utwente.nl

This paper presents a logic, called BOTL (Object-Based Temporal Logic), that facilitates the specification of dynamic and static properties of object-based systems. The logic is ba...

Dino Distefano, Joost-Pieter Katoen, Arend Rensink

claim paper

Read More »

41

click to vote

FMOODS
2003

102views Formal Methods» more FMOODS 2003»

Inheritance of Temporal Logic Properties

14 years 1 months ago

Download www.cs.uni-paderborn.de

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

claim paper

Read More »

45

click to vote

FMOODS
2003

168views Formal Methods» more FMOODS 2003»

Towards Object-Oriented Graphs and Grammars

14 years 1 months ago

Download www.inf.ufrgs.br

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

claim paper

Read More »

40

click to vote

FMOODS
2003

125views Formal Methods» more FMOODS 2003»

Managing the Evolution of .NET Programs

14 years 1 months ago

Download www.eis.mdx.ac.uk

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

claim paper

Read More »

34

click to vote

FMOODS
2003

129views Formal Methods» more FMOODS 2003»

Engineering the SDL Formal Language Definition

14 years 1 months ago

Download www.iis.nsk.su

Andreas Prinz, Martin von Löwis

claim paper

Read More »

47

click to vote

FMOODS
2003

151views Formal Methods» more FMOODS 2003»

A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts

14 years 1 months ago

Download www.cs.uu.nl

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

claim paper

Read More »

34

click to vote

FMOODS
2003

115views Formal Methods» more FMOODS 2003»

Proof Scores in the OTS/CafeOBJ Method

14 years 1 months ago

Download www.jaist.ac.jp

A way to write proof scores showing that distributed systems have invariant properties in algebraic speciﬁcation languages is described, which has been devised through several ca...

Kazuhiro Ogata, Kokichi Futatsugi

claim paper

Read More »

32

click to vote

FMOODS
2003

108views Formal Methods» more FMOODS 2003»

A Calculus for Long-Running Transactions

14 years 1 months ago

Download www.cs.unibo.it

Laura Bocchi, Cosimo Laneve, Gianluigi Zavattaro

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers