↓ Skip to main content
What is this page? Embed badge

Algebraic Methodology and Software Technology

Overview of attention for book
Cover of 'Algebraic Methodology and Software Technology'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Algebraic Approaches to Problem Generalisation
  3. Altmetric Badge
    Chapter 2 A Science of Software Design
  4. Altmetric Badge
    Chapter 3 Glass Box and Black Box Views of State-Based System Specifications
  5. Altmetric Badge
    Chapter 4 Abstraction for Safety, Induction for Liveness
  6. Altmetric Badge
    Chapter 5 Counting Votes with Formal Methods
  7. Altmetric Badge
    Chapter 6 Agent-Oriented Programming: Where Do We Stand?
  8. Altmetric Badge
    Chapter 7 On Guard: Producing Run-Time Checks from Integrity Constraints
  9. Altmetric Badge
    Chapter 8 Behavioural Types and Component Adaptation
  10. Altmetric Badge
    Chapter 9 Towards Correspondence Carrying Specifications
  11. Altmetric Badge
    Chapter 10 Formalizing and Proving Semantic Relations between Specifications by Reflection
  12. Altmetric Badge
    Chapter 11 Model-Checking Systems with Unbounded Variables without Abstraction
  13. Altmetric Badge
    Chapter 12 A Generic Software Safety Document Generator
  14. Altmetric Badge
    Chapter 13 Linear Temporal Logic and Z Refinement
  15. Altmetric Badge
    Chapter 14 Formal JVM Code Analysis in JavaFAN
  16. Altmetric Badge
    Chapter 15 Verifying a Sliding Window Protocol in μCRL
  17. Altmetric Badge
    Chapter 16 State Space Reduction for Process Algebra Specifications
  18. Altmetric Badge
    Chapter 17 A Hybrid Logic of Knowledge Supporting Topological Reasoning
  19. Altmetric Badge
    Chapter 18 A Language for Configuring Multi-level Specifications
  20. Altmetric Badge
    Chapter 19 Flexible Proof Reuse for Software Verification
  21. Altmetric Badge
    Chapter 20 Deductive Verification of Distributed Groupware Systems
  22. Altmetric Badge
    Chapter 21 Formal Verification of a Commercial Smart Card Applet with Multiple Tools
  23. Altmetric Badge
    Chapter 22 Abstracting Call-Stacks for Interprocedural Verification of Imperative Programs
  24. Altmetric Badge
    Chapter 23 Refining Mobile UML State Machines
  25. Altmetric Badge
    Chapter 24 Verifying Invariants of Component-Based Systems through Refinement
  26. Altmetric Badge
    Chapter 25 Modelling Concurrent Interactions
  27. Altmetric Badge
    Chapter 26 Proof Support for RAISE by a Reuse Approach Based on Institutions
  28. Altmetric Badge
    Chapter 27 Separate Compositional Analysis of Class-Based Object-Oriented Languages
  29. Altmetric Badge
    Chapter 28 Abstract Domains for Property Checking Driven Analysis of Temporal Properties
  30. Altmetric Badge
    Chapter 29 Modular Rewriting Semantics of Programming Languages
  31. Altmetric Badge
    Chapter 30 Algebraic Methodology and Software Technology
  32. Altmetric Badge
    Chapter 31 Modularity and the Rule of Adaptation
  33. Altmetric Badge
    Chapter 32 Modal Abstractions in μCRL
  34. Altmetric Badge
    Chapter 33 Semantics of Plan Revision in Intelligent Agents
  35. Altmetric Badge
    Chapter 34 Generic Exception Handling and the Java Monad
  36. Altmetric Badge
    Chapter 35 Algebraic Methodology and Software Technology
  37. Altmetric Badge
    Chapter 36 Extending Separation Logic with Fixpoints and Postponed Substitution
  38. Altmetric Badge
    Chapter 37 A Formally Verified Calculus for Full Java Card
  39. Altmetric Badge
    Chapter 38 On Refinement of Generic State-Based Software Components
  40. Altmetric Badge
    Chapter 39 Techniques for Executing and Reasoning about Specification Diagrams
  41. Altmetric Badge
    Chapter 40 Formalising Graphical Behaviour Descriptions
  42. Altmetric Badge
    Chapter 41 Model-Checking Distributed Real-Time Systems with States, Events, and Multiple Fairness Assumptions
Attention for Chapter 39: Techniques for Executing and Reasoning about Specification Diagrams
Altmetric Badge

Mentioned by

wikipedia
1 Wikipedia page

Citations

dimensions_citation
2 Dimensions

Readers on

mendeley
2 Mendeley
Summary Wikipedia Dimensions citations
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.
Chapter title
Techniques for Executing and Reasoning about Specification Diagrams
Chapter number 39
Book title
Algebraic Methodology and Software Technology
Published by
Springer, Berlin, Heidelberg, July 2004
DOI 10.1007/978-3-540-27815-3_39
Book ISBNs
978-3-54-022381-8, 978-3-54-027815-3
Authors

Prasanna Thati, Carolyn Talcott, Gul Agha, Thati, Prasanna, Talcott, Carolyn, Agha, Gul

View on publisher site
Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 2 100%

Demographic breakdown

Readers by professional status Count As %
Professor 1 50%
Student > Ph. D. Student 1 50%
Readers by discipline Count As %
Computer Science 2 100%

This page is provided by Altmetric.