↓ 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 ASLan++ — A Formal Security Specification Language for Distributed Systems
  3. Altmetric Badge
    Chapter 2 Orchestration under Security Constraints
  4. Altmetric Badge
    Chapter 3 Customizing Protocol Specifications for Detecting Resource Exhaustion and Guessing Attacks
  5. Altmetric Badge
    Chapter 4 Improving the Usability of Specification Languages and Methods for Annotation-Based Verification
  6. Altmetric Badge
    Chapter 5 Program Specialization via a Software Verification Tool
  7. Altmetric Badge
    Chapter 6 Model–Based Analysis Tools for Component Synthesis
  8. Altmetric Badge
    Chapter 7 Shared Event Composition/Decomposition in Event-B
  9. Altmetric Badge
    Chapter 8 ABS: A Core Language for Abstract Behavioral Specification
  10. Altmetric Badge
    Chapter 9 A Component Model for the ABS Language
  11. Altmetric Badge
    Chapter 10 Compositional Algorithmic Verification of Software Product Lines
  12. Altmetric Badge
    Chapter 11 Variability Modelling in the ABS Language
  13. Altmetric Badge
    Chapter 12 Automated Verification of Executable UML Models
  14. Altmetric Badge
    Chapter 13 Verification of UML Models by Translation to UML-B
  15. Altmetric Badge
    Chapter 14 Towards the UML-Based Formal Verification of Timed Systems
  16. Altmetric Badge
    Chapter 15 Generic Fault Modelling for Fault Injection
  17. Altmetric Badge
    Chapter 16 Tightening Test Coverage Metrics: A Case Study in Equivalence Checking Using k -Induction
  18. Altmetric Badge
    Chapter 17 The Hierarchical Compositional Interchange Format
  19. Altmetric Badge
    Chapter 18 Application of Model-Checking Technology to Controller Synthesis
  20. Altmetric Badge
    Chapter 19 Testing Real-Time Systems under Uncertainty
  21. Altmetric Badge
    Chapter 20 Model-Checking and Simulation for Stochastic Timed Systems
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

patent
1 patent

Readers on

mendeley
65 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, December 2011
DOI 10.1007/978-3-642-25271-6
ISBNs
978-3-64-225270-9, 978-3-64-225271-6
Editors

Aichernig, Bernhard K., Boer, Frank S., Bonsangue, Marcello M., Aichernig, Bernhard K., Boer, Frank S., Bonsangue, Marcello M.

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Italy 2 3%
Portugal 1 2%
Turkey 1 2%
France 1 2%
Czechia 1 2%
United Kingdom 1 2%
Canada 1 2%
Belgium 1 2%
Korea, Republic of 1 2%
Other 1 2%
Unknown 54 83%

Demographic breakdown

Readers by professional status Count As %
Student > Master 18 28%
Student > Ph. D. Student 11 17%
Researcher 9 14%
Student > Bachelor 5 8%
Professor > Associate Professor 4 6%
Other 10 15%
Unknown 8 12%
Readers by discipline Count As %
Computer Science 50 77%
Business, Management and Accounting 2 3%
Agricultural and Biological Sciences 2 3%
Engineering 2 3%
Chemistry 1 2%
Other 1 2%
Unknown 7 11%