FMOODS 2000 | Sciweavers

69

FMOODS
2000

119views Formal Methods» more FMOODS 2000»

Behavioural Subtyping and Property Preservation

14 years 7 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 »

59

click to vote

FMOODS
2000

95views Formal Methods» more FMOODS 2000»

Requirements Level Semantics for UML Statecharts

14 years 7 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 »

55

click to vote

FMOODS
2000

116views Formal Methods» more FMOODS 2000»

On a Temporal Logic for Object-Based Systems

14 years 7 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 »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers