↓ Skip to main content

Abstract State Machines, Alloy, B, TLA, VDM, and Z

Overview of attention for book
Cover of 'Abstract State Machines, Alloy, B, TLA, VDM, and Z'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 ABZ Languages and Tools in Industrial-Scale Application
  3. Altmetric Badge
    Chapter 2 Distributed Adaptive Systems
  4. Altmetric Badge
    Chapter 3 On B and Event-B: Principles, Success and Challenges
  5. Altmetric Badge
    Chapter 4 CASM-IR: Uniform ASM-Based Intermediate Representation for Model Specification, Execution, and Transformation
  6. Altmetric Badge
    Chapter 5 Event-B Expression and Verification of Translation Rules Between SysML/KAOS Domain Models and B System Specifications
  7. Altmetric Badge
    Chapter 6 A Translation from Alloy to B
  8. Altmetric Badge
    Chapter 7 Extracting Symbolic Transitions from TLA $$^{+}$$ + Specifications
  9. Altmetric Badge
    Chapter 8 Systematic Generation of Non-equivalent Expressions for Relational Algebra
  10. Altmetric Badge
    Chapter 9 Solver-Based Sketching of Alloy Models Using Test Valuations
  11. Altmetric Badge
    Chapter 10 Abstract State Machines with Exact Real Arithmetic
  12. Altmetric Badge
    Chapter 11 Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B
  13. Altmetric Badge
    Chapter 12 Issues in Automated Urban Train Control: ‘Tackling’ the Rugby Club Problem
  14. Altmetric Badge
    Chapter 13 Clarification of Ambiguity for the Simple Authentication and Security Layer
  15. Altmetric Badge
    Chapter 14 Systematic Refinement of Abstract State Machines with Higher-Order Logic
  16. Altmetric Badge
    Chapter 15 Refinement of Timing Constraints for Concurrent Tasks with Scheduling
  17. Altmetric Badge
    Chapter 16 Verifiable Code Generation from Scheduled Event-B Models
  18. Altmetric Badge
    Chapter 17 The Hybrid ERTMS/ETCS Level 3 Case Study
  19. Altmetric Badge
    Chapter 18 Modeling the Hybrid ERTMS/ETCS Level 3 Standard Using a Formal Requirements Engineering Approach
  20. Altmetric Badge
    Chapter 19 Modelling the Hybrid ERTMS/ETCS Level 3 Case Study in S pin
  21. Altmetric Badge
    Chapter 20 Using a Formal B Model at Runtime in a Demonstration of the ETCS Hybrid Level 3 Concept with Real Trains
  22. Altmetric Badge
    Chapter 21 Validating the Hybrid ERTMS/ETCS Level 3 Concept with Electrum
  23. Altmetric Badge
    Chapter 22 The ABZ-2018 Case Study with Event-B
  24. Altmetric Badge
    Chapter 23 Diagram-Led Formal Modelling Using iUML-B for Hybrid ERTMS Level 3
  25. Altmetric Badge
    Chapter 24 An Event-B Model of the Hybrid ERTMS/ETCS Level 3 Standard
  26. Altmetric Badge
    Chapter 25 AsmetaA: Animator for Abstract State Machines
  27. Altmetric Badge
    Chapter 26 Formal Specification of the Semantics of Control State Diagrams
  28. Altmetric Badge
    Chapter 27 Capturing Membrane Computing by ASMs
  29. Altmetric Badge
    Chapter 28 Towards Creating a DSL Facilitating Modelling of Dynamic Access Control in Event-B
  30. Altmetric Badge
    Chapter 29 State-Based Formal Methods in Scientific Computation
  31. Altmetric Badge
    Chapter 30 Proposition of an Action Layer for Electrum
  32. Altmetric Badge
    Chapter 31 Insulin Pump: Modular Modeling of Hybrid Systems Using Event-B
  33. Altmetric Badge
    Chapter 32 An Automation-Friendly Set Theory for the B Method
  34. Altmetric Badge
    Chapter 33 Teaching an Old Dog New Tricks
  35. Altmetric Badge
    Chapter 34 Modelling Dynamic Data Structures with the B Method
  36. Altmetric Badge
    Chapter 35 On the Importance of Explicit Domain Modelling in Refinement-Based Modelling Design. Experiments with Event-B
Attention for Chapter 35: On the Importance of Explicit Domain Modelling in Refinement-Based Modelling Design. Experiments with Event-B
Altmetric Badge

Citations

dimensions_citation
8 Dimensions

Readers on

mendeley
2 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
On the Importance of Explicit Domain Modelling in Refinement-Based Modelling Design. Experiments with Event-B
Chapter number 35
Book title
Abstract State Machines, Alloy, B, TLA, VDM, and Z
Published by
Springer, Cham, June 2018
DOI 10.1007/978-3-319-91271-4_35
Book ISBNs
978-3-31-991270-7, 978-3-31-991271-4
Authors

Yamine Aït-Ameur, Idir Ait-Sadoune, P. Casteran, Paul Gibson, K. Hacid, S. Kherroubi, Dominique Méry, L. Mohand-Oussaid, Neeraj K. Singh, Laurent Voisin, Aït-Ameur, Yamine, Ait-Sadoune, Idir, Casteran, P., Gibson, Paul, Hacid, K., Kherroubi, S., Méry, Dominique, Mohand-Oussaid, L., Singh, Neeraj K., Voisin, Laurent

Mendeley readers

The data shown below were compiled from readership statistics for 2 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 2 100%

Demographic breakdown

Readers by professional status Count As %
Professor 1 50%
Unknown 1 50%
Readers by discipline Count As %
Computer Science 1 50%
Unknown 1 50%