↓ Skip to main content

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
Overall attention for this book and its chapters
Altmetric Badge

About this Attention Score

  • Average Attention Score compared to outputs of the same age and source

Mentioned by

wikipedia
1 Wikipedia page

Citations

dimensions_citation
2 Dimensions

Readers on

mendeley
11 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
Algebraic Methodology and Software Technology
Published by
Lecture notes in computer science, January 2004
DOI 10.1007/b98770
ISBNs
978-3-54-022381-8, 978-3-54-027815-3
Authors

Charles Rattray, Savitri Maharaj, Carron Shankland

Editors

Charles Rattray, Savitri Maharaj, Carron Shankland

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
United Kingdom 2 18%
Italy 1 9%
Unknown 8 73%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 5 45%
Researcher 2 18%
Student > Doctoral Student 1 9%
Other 1 9%
Professor > Associate Professor 1 9%
Other 1 9%
Readers by discipline Count As %
Computer Science 8 73%
Unspecified 2 18%
Psychology 1 9%
Attention Score in Context

Attention Score in Context

This research output has an Altmetric Attention Score of 3. 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 28 December 2021.
All research outputs
#7,449,539
of 22,774,233 outputs
Outputs from Lecture notes in computer science
#2,486
of 8,124 outputs
Outputs of similar age
#33,432
of 133,124 outputs
Outputs of similar age from Lecture notes in computer science
#50
of 114 outputs
Altmetric has tracked 22,774,233 research outputs across all sources so far. This one is in the 44th percentile – i.e., 44% of other outputs scored the same or lower than it.
So far Altmetric has tracked 8,124 research outputs from this source. They receive a mean Attention Score of 5.0. This one has gotten more attention than average, scoring higher than 55% 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 133,124 tracked outputs that were published within six weeks on either side of this one in any source. This one is in the 17th percentile – i.e., 17% of its contemporaries scored the same or lower than it.
We're also able to compare this research output to 114 others from the same source and published within six weeks on either side of this one. This one is in the 35th percentile – i.e., 35% of its contemporaries scored the same or lower than it.