Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
IFM
2007
Springer
10 years 7 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
10 years 7 months ago
Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System
Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi
IFM
2007
Springer
10 years 7 months ago
Qualitative Probabilistic Modelling in Event-B
Abstract. Event-B is a notation and method for discrete systems modelling by refinement. We introduce a small but very useful construction: qualitative probabilistic choice. It ex...
Stefan Hallerstede, Thai Son Hoang
IFM
2007
Springer
104views Formal Methods» more  IFM 2007»
10 years 7 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
129views Formal Methods» more  IFM 2007»
10 years 7 months ago
Slotted-Circus
Material Flow Abstraction of Manufacturing Systems. ‣Umberto Costa, Ivan de Medeiros Jr and Marcel Oliveira. Specification and Verification of a MPI Implementation for a MP-SoC...
Andrew Butterfield, Adnan Sherif, Jim Woodcock
IFM
2007
Springer
126views Formal Methods» more  IFM 2007»
10 years 7 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
IFM
2007
Springer
101views Formal Methods» more  IFM 2007»
10 years 7 months ago
Translating FSP into LOTOS and Networks of Automata
Many process calculi have been proposed since Robin Milner and Tony Hoare opened the way more than 25 years ago. Although they are based on the same kernel of operators, most of th...
Gwen Salaün, Jeff Kramer, Frédé...
IFM
2007
Springer
245views Formal Methods» more  IFM 2007»
10 years 7 months ago
Co-simulation of Distributed Embedded Real-Time Control Systems
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...
Marcel Verhoef, Peter Visser, Jozef Hooman, Jan F....
IFM
2007
Springer
10 years 7 months ago
Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters
Johannes Faber, Swen Jacobs, Viorica Sofronie-Stok...
books