A generic flash-based animation engine for proB

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4355 LNCS, Issue , 2006, Pages 266-269

  Bendisposto, Jens ^a   Leuschel, Michael ^a  

^a HEINRICH HEINE UNIVERSITY   (Germany)

Author keywords

Animation; B method; Tool support

Indexed keywords

ANIMATION; SPECIFICATION LANGUAGES;

B METHOD; BASED ANIMATIONS; DOMAIN SPECIFIC; ERROR PRONE TASKS; INDUSTRIAL PROBLEM; MACROMEDIA FLASH; MATHEMATICAL KNOWLEDGE; TOOL SUPPORT;

FORMAL SPECIFICATION;

EID: 84977513083     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11955757_26     Document Type: Conference Paper

References (3)

1. Andrew Hunt and David Thomas. The Pragmatic Programmer - From Journeyman to Master. Addison-Wesley, 2005.
2. Michael Leuschel and Michael Butler. ProB: A model checker for B. In Keijiro Araki, Stefania Gnesi, and Dino Mandrioli, editors, FME 2003: Formal Methods, LNCS 2805, pages 855–874. Springer-Verlag, 2003.
3. Bram De Wachter. dSL, A Language and Environment for the Design of Distributed Industrial Controllers. Dissertation, Université Libre de Bruxelles, December 2005.