↓ Skip to main content

Abstract State Machines, Alloy, B and Z

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

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 A Structure for Dependability Arguments
  3. Altmetric Badge
    Chapter 2 Formal Probabilistic Analysis: A Higher-Order Logic Based Approach
  4. Altmetric Badge
    Chapter 3 Synchronous Message Passing and Semaphores: An Equivalence Proof
  5. Altmetric Badge
    Chapter 4 AsmL-Based Concurrency Semantic Variations for Timed Use Case Maps
  6. Altmetric Badge
    Chapter 5 Bârun: A Scripting Language for CoreASM
  7. Altmetric Badge
    Chapter 6 AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications
  8. Altmetric Badge
    Chapter 7 An Executable Semantics of the SystemC UML Profile
  9. Altmetric Badge
    Chapter 8 Specifying Self-configurable Component-Based Systems with FracToy
  10. Altmetric Badge
    Chapter 9 Trace Specifications in Alloy
  11. Altmetric Badge
    Chapter 10 An Imperative Extension to Alloy
  12. Altmetric Badge
    Chapter 11 Towards Formalizing Network Architectural Descriptions
  13. Altmetric Badge
    Chapter 12 Lightweight Modeling of Java Virtual Machine Security Constraints
  14. Altmetric Badge
    Chapter 13 Alloy+HotCore: A Fast Approximation to Unsat Core
  15. Altmetric Badge
    Chapter 14 Supporting Reuse in Event B Development: Modularisation Approach
  16. Altmetric Badge
    Chapter 15 Reasoned Modelling Critics: Turning Failed Proofs into Modelling Guidance
  17. Altmetric Badge
    Chapter 16 Applying the B Method for the Rigorous Development of Smart Card Applications
  18. Altmetric Badge
    Chapter 17 Automatic Verification for a Class of Proof Obligations with SMT-Solvers
  19. Altmetric Badge
    Chapter 18 A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking
  20. Altmetric Badge
    Chapter 19 Development of a Synchronous Subset of AADL
  21. Altmetric Badge
    Chapter 20 Matelas: A Predicate Calculus Common Formal Definition for Social Networking
  22. Altmetric Badge
    Chapter 21 Structured Event-B Models and Proofs
  23. Altmetric Badge
    Chapter 22 Refinement-Animation for Event-B — Towards a Method of Validation
  24. Altmetric Badge
    Chapter 23 Reactivising Classical B
  25. Altmetric Badge
    Chapter 24 Event-B Decomposition for Parallel Programs
  26. Altmetric Badge
    Chapter 25 Communication Systems in ClawZ
  27. Altmetric Badge
    Chapter 26 Formalising and Validating RBAC-to-XACML Translation Using Lightweight Formal Methods
  28. Altmetric Badge
    Chapter 27 Towards Formally Templated Relational Database Representations in Z
  29. Altmetric Badge
    Chapter 28 Translating Z to Alloy
  30. Altmetric Badge
    Chapter 29 B-ASM: Specification of ASM à la B
  31. Altmetric Badge
    Chapter 30 A Case for Using Data-Flow Analysis to Optimize Incremental Scope-Bounded Checking
  32. Altmetric Badge
    Chapter 31 On the Modelling and Analysis of Amazon Web Services Access Policies
  33. Altmetric Badge
    Chapter 32 Architecture as an Independent Variable for Aspect-Oriented Application Descriptions
  34. Altmetric Badge
    Chapter 33 ParAlloy: Towards a Framework for Efficient Parallel Analysis of Alloy Models
  35. Altmetric Badge
    Chapter 34 Introducing Specification-Based Data Structure Repair Using Alloy
  36. Altmetric Badge
    Chapter 35 Secrecy UML Method for Model Transformations
  37. Altmetric Badge
    Chapter 36 Improving Traceability between KAOS Requirements Models and B Specifications
  38. Altmetric Badge
    Chapter 37 Code Synthesis for Timed Automata: A Comparison Using Case Study
  39. Altmetric Badge
    Chapter 38 Towards Validation of Requirements Models
  40. Altmetric Badge
    Chapter 39 A Proof Based Approach for Formal Verification of Transactional BPEL Web Services
  41. Altmetric Badge
    Chapter 40 On an Extensible Rule-Based Prover for Event-B
  42. Altmetric Badge
    Chapter 41 B Model Abstraction Combining Syntactic and Semantic Methods
  43. Altmetric Badge
    Chapter 42 A Basis for Feature-Oriented Modelling in Event-B
  44. Altmetric Badge
    Chapter 43 Using Event-B to Verify the Kmelia Components and Their Assemblies
  45. Altmetric Badge
    Chapter 44 Starting B Specifications from Use Cases
  46. Altmetric Badge
    Chapter 45 Integrating SMT-Solvers in Z and B Tools
  47. Altmetric Badge
    Chapter 46 Formal Analysis in Model Management: Exploiting the Power of CZT
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

patent
1 patent

Readers on

mendeley
17 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.
Title
Abstract State Machines, Alloy, B and Z
Published by
Springer Berlin Heidelberg, February 2010
DOI 10.1007/978-3-642-11811-1
ISBNs
978-3-64-211810-4, 978-3-64-211811-1
Editors

Frappier, Marc, Glässer, Uwe, Khurshid, Sarfraz, Laleau, Régine, Reeves, Steve

Mendeley readers

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

Geographical breakdown

Country Count As %
France 1 6%
Unknown 16 94%

Demographic breakdown

Readers by professional status Count As %
Student > Master 3 18%
Student > Ph. D. Student 3 18%
Student > Bachelor 3 18%
Professor 2 12%
Other 1 6%
Other 3 18%
Unknown 2 12%
Readers by discipline Count As %
Computer Science 14 82%
Business, Management and Accounting 1 6%
Unknown 2 12%