↓ Skip to main content

Recent Trends in Algebraic Development Techniques

Overview of attention for book
Cover of 'Recent Trends in Algebraic Development Techniques'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 A Type-Theoretic Memory Model for Verification of Sequential Java Programs
  3. Altmetric Badge
    Chapter 2 From States to Histories
  4. Altmetric Badge
    Chapter 3 Principles and Pragmatics of Subtyping in PVS
  5. Altmetric Badge
    Chapter 4 Extending Casl by Late Binding
  6. Altmetric Badge
    Chapter 5 Towards an Evolutionary Formal Software-Development Using CASL
  7. Altmetric Badge
    Chapter 6 Development of Parsing Tools for CASL Using Generic Language Technology
  8. Altmetric Badge
    Chapter 7 Using CASL to Specify the Requirements and the Design: A Problem Specific Approach
  9. Altmetric Badge
    Chapter 8 Subsorted Partial Higher-Order Logic as an Extension of CASL
  10. Altmetric Badge
    Chapter 9 Specifying Real Numbers in CASL
  11. Altmetric Badge
    Chapter 10 Specification Refinement with System F – The Higher-Order Case
  12. Altmetric Badge
    Chapter 11 Guarded Algebras: Disguising Partiality so You Won’t Know Whether Its There
  13. Altmetric Badge
    Chapter 12 A General Completeness Result in Refinement
  14. Altmetric Badge
    Chapter 13 An Institution of Hybrid Systems
  15. Altmetric Badge
    Chapter 14 Realization of Probabilistic Automata: Categorical Approach
  16. Altmetric Badge
    Chapter 15 Specifications in an Arbitrary Institution with Symbols
  17. Altmetric Badge
    Chapter 16 A General Algebraic Framework for Studying Modular Systems
  18. Altmetric Badge
    Chapter 17 History Preserving Bisimulation for Contextual Nets
  19. Altmetric Badge
    Chapter 18 A Model for Interaction of Agents and Environments
  20. Altmetric Badge
    Chapter 19 Algebra-Coalgebra Structures and Bialgebras
  21. Altmetric Badge
    Chapter 20 A Uniform Model Theory for the Specification of Data and Process Types
  22. Altmetric Badge
    Chapter 21 Relating Abstract Datatypes and Z-Schemata
  23. Altmetric Badge
    Chapter 22 Algebraic Specification of Operator-Based Multimedia Scenarios
  24. Altmetric Badge
    Chapter 23 Higher-Order Logic and Theorem Proving for Structured Specifications
  25. Altmetric Badge
    Chapter 24 Extraction of Structured Programs from Specification Proofs
  26. Altmetric Badge
    Chapter 25 Towards a Verification Logic for Rewriting Logic
  27. Altmetric Badge
    Chapter 26 The Rôle of Normalisation in Testing from Structured Algebraic Specifications
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 X user

Citations

dimensions_citation
1 Dimensions

Readers on

mendeley
4 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
Recent Trends in Algebraic Development Techniques
Published by
Springer Berlin Heidelberg, February 2004
DOI 10.1007/b75154
ISBNs
978-3-54-067898-4, 978-3-54-044616-3
Editors

Bert, Didier, Choppy, Christine, Mosses, Peter D.

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 4 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Italy 1 25%
Unknown 3 75%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 1 25%
Researcher 1 25%
Professor > Associate Professor 1 25%
Unknown 1 25%
Readers by discipline Count As %
Computer Science 3 75%
Unknown 1 25%