↓ Skip to main content

Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings

Overview of attention for book
Cover of 'Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Realising the Benefits of Formal Methods
  3. Altmetric Badge
    Chapter 2 A Compositional Framework for Service Interaction Patterns and Interaction Flows
  4. Altmetric Badge
    Chapter 3 An Evidential Tool Bus
  5. Altmetric Badge
    Chapter 4 Derivation of UML Class Diagrams as Static Views of Formal B Developments
  6. Altmetric Badge
    Chapter 5 29 New Unclarities in the Semantics of UML 2.0 State Machines
  7. Altmetric Badge
    Chapter 6 The Semantics and Tool Support of OZTA
  8. Altmetric Badge
    Chapter 7 An Abstract Model for Process Mediation
  9. Altmetric Badge
    Chapter 8 How Symbolic Animation Can Help Designing an Efficient Formal Model
  10. Altmetric Badge
    Chapter 9 A Theory of Secure Control Flow
  11. Altmetric Badge
    Chapter 10 Game Semantics Model for Security Protocols
  12. Altmetric Badge
    Chapter 11 Towards Dynamically Communicating Abstract Machines in the B Method
  13. Altmetric Badge
    Chapter 12 Formal Methods and Software Engineering
  14. Altmetric Badge
    Chapter 13 2/3 Alternating Simulation Between Interface Automata
  15. Altmetric Badge
    Chapter 14 Formal Model-Driven Development of Communicating Systems
  16. Altmetric Badge
    Chapter 15 Jahuel : A Formal Framework for Software Synthesis
  17. Altmetric Badge
    Chapter 16 Modelling and Refinement of an On-Chip Communication Architecture
  18. Altmetric Badge
    Chapter 17 Finding Bugs in Network Protocols Using Simulation Code and Protocol-Specific Heuristics
  19. Altmetric Badge
    Chapter 18 Adaptive Random Testing by Bisection with Restriction
  20. Altmetric Badge
    Chapter 19 Testing Real-Time Multi Input-Output Systems
  21. Altmetric Badge
    Chapter 20 Formal Verification of a Memory Model for C -Like Imperative Languages
  22. Altmetric Badge
    Chapter 21 Symbolic Verification of Distributed Real-Time Systems with Complex Synchronizations
  23. Altmetric Badge
    Chapter 22 An Improved Rule for While Loops in Deductive Program Verification
  24. Altmetric Badge
    Chapter 23 Using Stålmarck’s Algorithm to Prove Inequalities
  25. Altmetric Badge
    Chapter 24 Automatic Refinement Checking for B
  26. Altmetric Badge
    Chapter 25 Slicing an Integrated Formal Method for Verification
  27. Altmetric Badge
    Chapter 26 A Static Communication Elimination Algorithm for Distributed System Verification
  28. Altmetric Badge
    Chapter 27 Incremental Verification of Owicki/Gries Proof Outlines Using PVS
  29. Altmetric Badge
    Chapter 28 Using Three-Valued Logic to Specify and Verify Algorithms of Computational Geometry
  30. Altmetric Badge
    Chapter 29 An Automated Approach to Specification-Based Program Inspection
  31. Altmetric Badge
    Chapter 30 Visualizing and Simulating Semantic Web Services Ontologies
  32. Altmetric Badge
    Chapter 31 A Model-to-Implementation Mapping Tool for Automated Model-Based GUI Testing
  33. Altmetric Badge
    Chapter 32 ClawZ: Cost-Effective Formal Verification for Control Systems
  34. Altmetric Badge
    Chapter 33 SVG Web Environment for Z Specification Language
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

patent
1 patent

Citations

dimensions_citation
2 Dimensions

Readers on

mendeley
97 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 : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings
Published by
Springer, January 2005
DOI 10.1007/11576280
ISBNs
978-3-54-029797-0, 978-3-54-032250-4
Authors

Lau, K.-K, Banach, Richard

Editors

Lau, Kung-Kiu, Banach, Richard

Mendeley readers

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

Geographical breakdown

Country Count As %
France 3 3%
United Kingdom 2 2%
Portugal 2 2%
Spain 1 1%
Australia 1 1%
Israel 1 1%
Germany 1 1%
Taiwan 1 1%
United States 1 1%
Other 1 1%
Unknown 83 86%

Demographic breakdown

Readers by professional status Count As %
Student > Master 31 32%
Student > Ph. D. Student 17 18%
Researcher 14 14%
Student > Bachelor 12 12%
Professor > Associate Professor 7 7%
Other 16 16%
Readers by discipline Count As %
Computer Science 76 78%
Engineering 11 11%
Unspecified 5 5%
Business, Management and Accounting 2 2%
Environmental Science 1 1%
Other 2 2%