↓ Skip to main content

Formal Methods and Software Engineering

Overview of attention for book
Cover of 'Formal Methods and Software Engineering'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Fostering Proof Scores in CafeOBJ  
  3. Altmetric Badge
    Chapter 2 Exploiting Partial Success in Applying Automated Formal Methods
  4. Altmetric Badge
    Chapter 3 Multicore Embedded Systems: The Timing Problem and Possible Solutions
  5. Altmetric Badge
    Chapter 4 Applying PVS Background Theories and Proof Strategies in Invariant Based Programming
  6. Altmetric Badge
    Chapter 5 Proof Obligation Generation and Discharging for Recursive Definitions in VDM
  7. Altmetric Badge
    Chapter 6 Correct-by-Construction Model Transformations from Partially Ordered Specifications in Coq
  8. Altmetric Badge
    Chapter 7 Decision Procedures for the Temporal Verification of Concurrent Lists
  9. Altmetric Badge
    Chapter 8 An Improved Decision Procedure for Propositional Projection Temporal Logic
  10. Altmetric Badge
    Chapter 9 A Semantic Model for Service Composition with Coordination Time Delays
  11. Altmetric Badge
    Chapter 10 Compensable WorkFlow Nets
  12. Altmetric Badge
    Chapter 11 Automatically Testing Web Services Choreography with Assertions
  13. Altmetric Badge
    Chapter 12 Applying Ordinary Differential Equations to the Performance Analysis of Service Composition
  14. Altmetric Badge
    Chapter 13 Verifying Heap-Manipulating Programs with Unknown Procedure Calls
  15. Altmetric Badge
    Chapter 14 API Conformance Verification for Java Programs
  16. Altmetric Badge
    Chapter 15 Assume-Guarantee Reasoning with Local Specifications
  17. Altmetric Badge
    Chapter 16 Automating Coinduction with Case Analysis
  18. Altmetric Badge
    Chapter 17 Enhanced Semantic Access to Formal Software Models
  19. Altmetric Badge
    Chapter 18 Making Pattern- and Model-Based Software Development More Rigorous
  20. Altmetric Badge
    Chapter 19 Practical Parameterised Session Types
  21. Altmetric Badge
    Chapter 20 A Formal Verification Study on the Rotterdam Storm Surge Barrier
  22. Altmetric Badge
    Chapter 21 Formalization and Correctness of the PALS Architectural Pattern for Distributed Real-Time Systems
  23. Altmetric Badge
    Chapter 22 Automated Multiparameterised Verification by Cut-Offs
  24. Altmetric Badge
    Chapter 23 Automating Cut-off for Multi-parameterized Systems
  25. Altmetric Badge
    Chapter 24 Method for Formal Verification of Soft-Error Tolerance Mechanisms in Pipelined Microprocessors
  26. Altmetric Badge
    Chapter 25 Formal Verification of Tokeneer Behaviours Modelled in fUML Using CSP
  27. Altmetric Badge
    Chapter 26 Model Checking Hierarchical Probabilistic Systems
  28. Altmetric Badge
    Chapter 27 Trace-Driven Verification of Multithreaded Programs
  29. Altmetric Badge
    Chapter 28 Formal Methods and Software Engineering
  30. Altmetric Badge
    Chapter 29 Reasoning about Safety and Progress Using Contracts
  31. Altmetric Badge
    Chapter 30 Abstract Program Slicing: From Theory towards an Implementation
  32. Altmetric Badge
    Chapter 31 Loop Invariant Synthesis in a Combined Domain
  33. Altmetric Badge
    Chapter 32 Software Metrics in Static Program Analysis
  34. Altmetric Badge
    Chapter 33 A Combination of Forward and Backward Reachability Analysis Methods
  35. Altmetric Badge
    Chapter 34 Model Checking a Model Checker: A Code Contract Combined Approach
  36. Altmetric Badge
    Chapter 35 On Symmetries and Spotlights – Verifying Parameterised Systems
  37. Altmetric Badge
    Chapter 36 A Methodology for Automatic Diagnosability Analysis
  38. Altmetric Badge
    Chapter 37 Making the Right Cut in Model Checking Data-Intensive Timed Systems
  39. Altmetric Badge
    Chapter 38 Comparison of Model Checking Tools for Information Systems
  40. Altmetric Badge
    Chapter 39 A Modular Scheme for Deadlock Prevention in an Object-Oriented Programming Model
  41. Altmetric Badge
    Chapter 40 Model-Driven Protocol Design Based on Component Oriented Modeling
  42. Altmetric Badge
    Chapter 41 Laws of Pattern Composition
  43. Altmetric Badge
    Chapter 42 Dynamic Resource Reallocation between Deployment Components
  44. Altmetric Badge
    Chapter 43 A Pattern System to Support Refining Informal Ideas into Formal Expressions
  45. Altmetric Badge
    Chapter 44 Specification Translation of State Machines from Equational Theories into Rewrite Theories
  46. Altmetric Badge
    Chapter 45 Alternating Interval Based Temporal Logics
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 X user

Citations

dimensions_citation
2 Dimensions

Readers on

mendeley
13 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 and Software Engineering
Published by
ADS, November 2010
DOI 10.1007/978-3-642-16901-4
ISBNs
978-3-64-216900-7, 978-3-64-216901-4
Editors

Dong, Jin Song, Zhu, Huibiao

X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user who shared this research output. Click here to find out more about how the information was compiled.
Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 13 100%

Demographic breakdown

Readers by professional status Count As %
Professor > Associate Professor 1 8%
Unknown 12 92%
Readers by discipline Count As %
Computer Science 1 8%
Unknown 12 92%
Attention Score in Context

Attention Score in Context

This research output has an Altmetric Attention Score of 1. 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 17 February 2013.
All research outputs
#15,504,780
of 23,041,514 outputs
Outputs from ADS
#28,290
of 37,451 outputs
Outputs of similar age
#81,358
of 101,787 outputs
Outputs of similar age from ADS
#266
of 322 outputs
Altmetric has tracked 23,041,514 research outputs across all sources so far. This one is in the 22nd percentile – i.e., 22% of other outputs scored the same or lower than it.
So far Altmetric has tracked 37,451 research outputs from this source. They receive a mean Attention Score of 4.6. This one is in the 16th percentile – i.e., 16% of its peers scored the same or lower than it.
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 101,787 tracked outputs that were published within six weeks on either side of this one in any source. This one is in the 11th percentile – i.e., 11% of its contemporaries scored the same or lower than it.
We're also able to compare this research output to 322 others from the same source and published within six weeks on either side of this one. This one is in the 10th percentile – i.e., 10% of its contemporaries scored the same or lower than it.