Lecture Notes in Computer Science - Abstract State Machines, B and Z
Latest Publications

TOTAL DOCUMENTS

48

(FIVE YEARS 0)

H-INDEX

9

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540876021, 9783540876038

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Data Flow Analysis and Testing of Abstract State Machines

Lecture Notes in Computer Science - Abstract State Machines, B and Z ◽

10.1007/978-3-540-87603-8_8 ◽

2008 ◽

pp. 85-97 ◽

Author(s):

Alessandra Cavarra

Keyword(s):

Data Flow ◽

Flow Analysis ◽

State Machines ◽

Abstract State Machines ◽

Data Flow Analysis

Download Full-text

Refinement of State-Based Systems: ASMs and Big Commuting Diagrams (Abstract)

Lecture Notes in Computer Science - Abstract State Machines, B and Z ◽

10.1007/978-3-540-87603-8_4 ◽

2008 ◽

pp. 39-41 ◽

Author(s):

Gerhard Schellhorn

Download Full-text

Stability of Real-Time Abstract State Machines under Desynchronization

Lecture Notes in Computer Science - Abstract State Machines, B and Z ◽

10.1007/978-3-540-87603-8_29 ◽

2008 ◽

pp. 341-341

Author(s):

Joelle Cohen ◽

Anatol Slissenko

Keyword(s):

Real Time ◽

State Machines ◽

Abstract State Machines

Download Full-text

Formal Modeling and Analysis of a Flash Filesystem in Alloy

Lecture Notes in Computer Science - Abstract State Machines, B and Z ◽

10.1007/978-3-540-87603-8_23 ◽

2008 ◽

pp. 294-308 ◽

Author(s):

Eunsuk Kang ◽

Daniel Jackson

Keyword(s):

Formal Modeling ◽

Modeling And Analysis

Download Full-text

Generating Tests from B Specifications and Test Purposes

Lecture Notes in Computer Science - Abstract State Machines, B and Z ◽

10.1007/978-3-540-87603-8_12 ◽

2008 ◽

pp. 139-152 ◽

Author(s):

Jacques Julliand ◽

Pierre-Alain Masson ◽

Régis Tissot

Download Full-text

UML-B: A Plug-in for the Event-B Tool Set

Lecture Notes in Computer Science - Abstract State Machines, B and Z ◽

10.1007/978-3-540-87603-8_32 ◽

2008 ◽

pp. 344-344 ◽

Author(s):

Colin Snook ◽

Michael Butler

Keyword(s):

Download Full-text

Verification and Validation of Web Service Composition Using Event B Method

Lecture Notes in Computer Science - Abstract State Machines, B and Z ◽

10.1007/978-3-540-87603-8_28 ◽

2008 ◽

pp. 339-340 ◽

Author(s):

Idir Ait-Sadoune ◽

Yamine Ait-Ameur

Keyword(s):

Web Service ◽

Service Composition ◽

Web Service Composition ◽

Verification And Validation ◽

B Method ◽

Download Full-text

Towards Modelling Obligations in Event-B

Lecture Notes in Computer Science - Abstract State Machines, B and Z ◽

10.1007/978-3-540-87603-8_15 ◽

2008 ◽

pp. 181-194 ◽

Author(s):

Juan Bicarregui ◽

Alvaro Arenas ◽

Benjamin Aziz ◽

Philippe Massonet ◽

Christophe Ponsard

Download Full-text

Z2SAL - Building a Model Checker for Z

Lecture Notes in Computer Science - Abstract State Machines, B and Z ◽

10.1007/978-3-540-87603-8_22 ◽

2008 ◽

pp. 280-293 ◽

Author(s):

John Derrick ◽

Siobhán North ◽

Anthony J. H. Simons

Keyword(s):

Download Full-text

Using EventB to Create a Virtual Machine Instruction Set Architecture

Lecture Notes in Computer Science - Abstract State Machines, B and Z ◽

10.1007/978-3-540-87603-8_21 ◽

2008 ◽

pp. 265-279 ◽

Author(s):

Stephen Wright

Keyword(s):

Virtual Machine ◽

Instruction Set ◽

Instruction Set Architecture ◽

Machine Instruction

Download Full-text