Sciweavers

9 search results - page 1 / 2
» ifm 2007
Sort
View
IFM
2007
Springer
14 years 3 months ago
Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System
Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi
IFM
2007
Springer
14 years 3 months ago
Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters
Johannes Faber, Swen Jacobs, Viorica Sofronie-Stok...
IFM
2007
Springer
104views Formal Methods» more  IFM 2007»
14 years 3 months ago
Probabilistic Timed Behavior Trees
The Behavior Tree notation has been developed as a method for systematically and traceably capturing user requirements. In this paper we extend the notation with probabilistic beha...
Robert Colvin, Lars Grunske, Kirsten Winter
IFM
2007
Springer
14 years 3 months ago
Unifying Theories of Objects
We present an approach to modelling Abadi–Cardelli-style object calculi as Unifying Theories of Programming (UTP) designs. Here we provide a core object calculus with an operatio...
Michael Anthony Smith, Jeremy Gibbons
IFM
2007
Springer
126views Formal Methods» more  IFM 2007»
14 years 3 months ago
Common Semantics for Use Cases and Task Models
In this paper, we introduce a common semantic framework for developing and formally modeling use cases and task models. Use cases are the notation of choice for functional require...
Daniel Sinnig, Patrice Chalin, Ferhat Khendek