↓ Skip to main content

Formal Methods for Components and Objects

Overview of attention for book
Cover of 'Formal Methods for Components and Objects'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Formal Methods for Components and Objects
  3. Altmetric Badge
    Chapter 2 Synchronised Hyperedge Replacement as a Model for Service Oriented Computing
  4. Altmetric Badge
    Chapter 3 Control of Modular and Distributed Discrete-Event Systems
  5. Altmetric Badge
    Chapter 4 Model-Based Security Engineering with UML: Introducing Security Aspects
  6. Altmetric Badge
    Chapter 5 The Pragmatics of STAIRS
  7. Altmetric Badge
    Chapter 6 Smallfoot: Modular Automatic Assertion Checking with Separation Logic
  8. Altmetric Badge
    Chapter 7 Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs
  9. Altmetric Badge
    Chapter 8 Beyond Bisimulation: The “up-to” Techniques
  10. Altmetric Badge
    Chapter 9 Separation Results Via Leader Election Problems
  11. Altmetric Badge
    Chapter 10 Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation
  12. Altmetric Badge
    Chapter 11 Abstraction and Refinement in Model Checking
  13. Altmetric Badge
    Chapter 12 Program Compatibility Approaches
  14. Altmetric Badge
    Chapter 13 Cluster-Based LTL Model Checking of Large Systems
  15. Altmetric Badge
    Chapter 14 Safety and Liveness in Concurrent Pointer Programs
  16. Altmetric Badge
    Chapter 15 Modular Specification of Encapsulated Object-Oriented Components
  17. Altmetric Badge
    Chapter 16 Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2
  18. Altmetric Badge
    Chapter 17 Boogie: A Modular Reusable Verifier for Object-Oriented Programs
  19. Altmetric Badge
    Chapter 18 On a Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages
  20. Altmetric Badge
    Chapter 19 Partial Order Reduction for Markov Decision Processes: A Survey
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

news
1 news outlet

Citations

dimensions_citation
4 Dimensions

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
Formal Methods for Components and Objects
Published by
Springer Berlin Heidelberg, September 2006
DOI 10.1007/11804192
ISBNs
978-3-54-036749-9, 978-3-54-036750-5
Editors

Boer, Frank S., Bonsangue, Marcello M., Graf, Susanne, Roever, Willem-Paul

Mendeley readers

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 %
Germany 1 6%
United Kingdom 1 6%
Brazil 1 6%
Unknown 14 82%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 7 41%
Student > Master 5 29%
Lecturer > Senior Lecturer 1 6%
Lecturer 1 6%
Student > Bachelor 1 6%
Other 2 12%
Readers by discipline Count As %
Computer Science 15 88%
Engineering 2 12%