↓ Skip to main content

Integrated Formal Methods

Overview of attention for book
Integrated Formal Methods
Springer Berlin Heidelberg

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft
  3. Altmetric Badge
    Chapter 2 Design Verification for Control Engineering
  4. Altmetric Badge
    Chapter 3 Integrating Model Checking and Theorem Proving in a Reflective Functional Language
  5. Altmetric Badge
    Chapter 4 A Tutorial Introduction to Designs in Unifying Theories of Programming
  6. Altmetric Badge
    Chapter 5 An Integration of Program Analysis and Automated Theorem Proving
  7. Altmetric Badge
    Chapter 6 Integrated Formal Methods
  8. Altmetric Badge
    Chapter 7 Efficient CSP Z Data Abstraction
  9. Altmetric Badge
    Chapter 8 State/Event-Based Software Model Checking
  10. Altmetric Badge
    Chapter 9 Formalising Behaviour Trees with CSP
  11. Altmetric Badge
    Chapter 10 Generating MSCs from an Integrated Formal Specification Language
  12. Altmetric Badge
    Chapter 11 UML to B: Formal Verification of Object-Oriented Models
  13. Altmetric Badge
    Chapter 12 Software Verification with Integrated Data Type Refinement for Integer Arithmetic
  14. Altmetric Badge
    Chapter 13 Constituent Elements of a Correctness-Preserving UML Design Approach
  15. Altmetric Badge
    Chapter 14 Relating Data Independent Trace Checks in CSP with UNITY Reachability under a Normality Assumption
  16. Altmetric Badge
    Chapter 15 Linking CSP-OZ with UML and Java: A Case Study
  17. Altmetric Badge
    Chapter 16 Object-Oriented Modelling with High-Level Modular Petri Nets
  18. Altmetric Badge
    Chapter 17 Specification and Verification of Synchronizing Concurrent Objects
  19. Altmetric Badge
    Chapter 18 Understanding Object-Z Operations as Generalised Substitutions
  20. Altmetric Badge
    Chapter 19 Embeddings of Hybrid Automata in Process Algebra
  21. Altmetric Badge
    Chapter 20 An Optimal Approach to Hardware/Software Partitioning for Synchronous Model
  22. Altmetric Badge
    Chapter 21 A Many-Valued Logic with Imperative Semantics for Incremental Specification of Timed Models
  23. Altmetric Badge
    Chapter 22 Integrating Temporal Logics
  24. Altmetric Badge
    Chapter 23 Integration of Specification Languages Using Viewpoints
  25. Altmetric Badge
    Chapter 24 Integrating Formal Methods by Unifying Abstractions
  26. Altmetric Badge
    Chapter 25 Formally Justifying User-Centred Design Rules: A Case Study on Post-completion Errors
  27. Altmetric Badge
    Chapter 26 Using UML Sequence Diagrams as the Basis for a Formal Test Description Language
  28. Altmetric Badge
    Chapter 27 Viewpoint-Based Testing of Concurrent Components
  29. Altmetric Badge
    Chapter 28 A Method for Compiling and Executing Expressive Assertions
Overall attention for this book and its chapters
Altmetric Badge

About this Attention Score

  • In the top 25% of all research outputs scored by Altmetric
  • High Attention Score compared to outputs of the same age (86th percentile)
  • Above-average Attention Score compared to outputs of the same age and source (63rd percentile)

Mentioned by

patent
14 patents
wikipedia
2 Wikipedia pages
reddit
1 Redditor
q&a
1 Q&A thread
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.
Article details
Title
Integrated Formal Methods
Published by
Lecture notes in computer science, January 2004
DOI 10.1007/b96106
ISBNs
978-3-54-021377-2, 978-3-54-024756-2
Authors

Eerke A. Boiten, John Derrick, Graeme Smith

Editors

Eerke A. Boiten, John Derrick, Graeme Smith

Login to access the Attention Digest and the Sentiment Analysis related to this output.

Timeline Attention over time Attention Score history
Login to access the full charts related to this output.
Attention Score in Context

Attention Score in Context

This research output has an Altmetric Attention Score of 9. This is our high-level measure of the quality and quantity of online attention that it has received. This Attention Score, as well as the ranking and number of research outputs shown below, was calculated when the research output was last mentioned on 31 July 2026.
All research outputs
#5,838,274
of 34,347,532 outputs
Outputs from Lecture notes in computer science
#1,796
of 10,748 outputs
Outputs of similar age
#26,962
of 199,788 outputs
Outputs of similar age from Lecture notes in computer science
#62
of 170 outputs
Altmetric has tracked 34,347,532 research outputs across all sources so far. Compared to these this one has done well and is in the 82nd percentile: it's in the top 25% of all research outputs ever tracked by Altmetric.
So far Altmetric has tracked 10,748 research outputs from this source. They typically receive a little more attention than average, with a mean Attention Score of 6.3. This one has done well, scoring higher than 83% of its peers.
Older research outputs will score higher simply because they've had more time to accumulate mentions. To account for age we can compare this Altmetric Attention Score to the 199,788 tracked outputs that were published within six weeks on either side of this one in any source. This one has done well, scoring higher than 86% of its contemporaries.
We're also able to compare this research output to 170 others from the same source and published within six weeks on either side of this one. This one has gotten more attention than average, scoring higher than 63% of its contemporaries.