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

From Object-Orientation to Formal Methods

Overview of attention for book
Cover of 'From Object-Orientation to Formal Methods'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 A Biography of Ole-Johan Dahl
  3. Altmetric Badge
    Chapter 2 A Bibliography of Ole-Johan Dahl
  4. Altmetric Badge
    Chapter 3 From Object-Orientation to Formal Methods
  5. Altmetric Badge
    Chapter 4 An Algebraic Theory of Actors and Its Application to a Simple Object-Based Language
  6. Altmetric Badge
    Chapter 5 Towards Posit & Prove Calculi for Requirements Engineering and Software Design
  7. Altmetric Badge
    Chapter 6 Distributed Concurrent Object-Oriented Software
  8. Altmetric Badge
    Chapter 7 Composing Hidden Information Modules over Inclusive Institutions
  9. Altmetric Badge
    Chapter 8 Towards the Verifying Compiler
  10. Altmetric Badge
    Chapter 9 Object-Oriented Specification and Open Distributed Systems
  11. Altmetric Badge
    Chapter 10 SIMULA and Super-Object-Oriented Programming
  12. Altmetric Badge
    Chapter 11 Efficient Coroutine Generation of Constrained Gray Sequences
  13. Altmetric Badge
    Chapter 12 Consistency of Inheritance in Object-Oriented Languages and of Static, ALGOL-like Binding
  14. Altmetric Badge
    Chapter 13 The Power of Abstraction, Reuse, and Simplicity: An Object-Oriented Library for Event-Driven Design
  15. Altmetric Badge
    Chapter 14 Iterative Synthesis of Control Guards Ensuring Invariance and Inevitability in Discrete-Decision Games
  16. Altmetric Badge
    Chapter 15 Incremental Reasoning for Object Oriented Systems
  17. Altmetric Badge
    Chapter 16 Pure Type Systems in Rewriting Logic: Specifying Typed Higher-Order Languages in a First-Order Logical Framework
  18. Altmetric Badge
    Chapter 17 Building Optimal Binary Search Trees from Sorted Values in O( N ) Time
Attention for Chapter 5: Towards Posit & Prove Calculi for Requirements Engineering and Software Design
Altmetric Badge

Citations

dimensions_citation
1 Dimensions

Readers on

mendeley
6 Mendeley
Summary 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
Towards Posit & Prove Calculi for Requirements Engineering and Software Design
Chapter number 5
Book title
From Object-Orientation to Formal Methods
Published by
Springer, Berlin, Heidelberg, January 2004
DOI 10.1007/978-3-540-39993-3_5
Book ISBNs
978-3-54-021366-6, 978-3-54-039993-3
Authors

Dines Bjørner

View on publisher site
Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 6 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 1 17%
Student > Doctoral Student 1 17%
Unknown 4 67%
Readers by discipline Count As %
Computer Science 2 33%
Unknown 4 67%

This page is provided by Altmetric.