Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
IFM
2004
Springer
116views Formal Methods» more  IFM 2004»
12 years 7 months ago
Formalising Behaviour Trees with CSP
Abstract. Behaviour Trees is a novel approach for requirements engineering. It advocates a graphical tree notation that is easy to use and to understand. Individual requirements ar...
Kirsten Winter
IFM
2004
Springer
185views Formal Methods» more  IFM 2004»
12 years 7 months ago
Object-Oriented Modelling with High-Level Modular Petri Nets
Abstract. In this paper, we address the problem of expressing objectoriented concepts in terms of Petri nets. This is interesting, first, as a possibility of representing concurre...
Cécile Bui Thanh, Hanna Klaudel
IFM
2004
Springer
125views Formal Methods» more  IFM 2004»
12 years 7 months ago
Formally Justifying User-Centred Design Rules: A Case Study on Post-completion Errors
Abstract. Interactive systems combine a human operator with a computer. Either may be a source of error. The veri cation processes used must ensure both the correctness of the comp...
Paul Curzon, Ann Blandford
IFM
2004
Springer
12 years 7 months ago
Integrating Temporal Logics
Yifeng Chen, Zhiming Liu
IFM
2004
Springer
175views Formal Methods» more  IFM 2004»
12 years 7 months ago
State/Event-Based Software Model Checking
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...
Sagar Chaki, Edmund M. Clarke, Joël Ouaknine,...
IFM
2004
Springer
12 years 7 months ago
Verifying Controlled Components
Recent work on combining CSP and B has provided ways of describing systems comprised of components described in both B (to express requirements on state) and CSP (to express intera...
Steve Schneider, Helen Treharne
IFM
2004
Springer
12 years 7 months ago
An Optimal Approach to Hardware/Software Partitioning for Synchronous Model
Geguang Pu, Dang Van Hung, Jifeng He, Wang Yi
IFM
2004
Springer
104views Formal Methods» more  IFM 2004»
12 years 7 months ago
Linking CSP-OZ with UML and Java: A Case Study
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
Michael Möller, Ernst-Rüdiger Olderog, H...
books