↓ Skip to main content

Formal Methods for Open Object-Based Distributed Systems

Overview of attention for book
Cover of 'Formal Methods for Open Object-Based Distributed Systems'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Asynchronous Session Types and Progress for Object Oriented Languages
  3. Altmetric Badge
    Chapter 2 KeY: A Formal Method for Object-Oriented Systems
  4. Altmetric Badge
    Chapter 3 Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking
  5. Altmetric Badge
    Chapter 4 Model Checking of Extended OCL Constraints on UML Models in SOCLe
  6. Altmetric Badge
    Chapter 5 Analysis of UML Activities Using Dynamic Meta Modeling
  7. Altmetric Badge
    Chapter 6 Distributed Applications Implemented in Maude with Parameterized Skeletons
  8. Altmetric Badge
    Chapter 7 On Formal Analysis of OO Languages Using Rewriting Logic: Designing for Performance
  9. Altmetric Badge
    Chapter 8 Formal Modeling and Analysis of the OGDC Wireless Sensor Network Algorithm in Real-Time Maude
  10. Altmetric Badge
    Chapter 9 Adaptation of Open Component-Based Systems
  11. Altmetric Badge
    Chapter 10 A Representation-Independent Behavioral Semantics for Object-Oriented Components
  12. Altmetric Badge
    Chapter 11 A Formal Language for Electronic Contracts
  13. Altmetric Badge
    Chapter 12 A Mechanized Model of the Theory of Objects
  14. Altmetric Badge
    Chapter 13 Pict Correctness Revisited
  15. Altmetric Badge
    Chapter 14 A Refinement Method for Java Programs
  16. Altmetric Badge
    Chapter 15 Refactoring Object-Oriented Specifications with Data and Processes
  17. Altmetric Badge
    Chapter 16 A Sound and Complete Shared-Variable Concurrency Model for Multi-threaded Java Programs
  18. Altmetric Badge
    Chapter 17 Performance-Oriented Comparison of Web Services Via Client-Specific Testing Preorders
  19. Altmetric Badge
    Chapter 18 A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems
  20. Altmetric Badge
    Chapter 19 On Resource-Sensitive Timed Component Connectors
Attention for Chapter 11: A Formal Language for Electronic Contracts
Altmetric Badge

Mentioned by

wikipedia
2 Wikipedia pages

Citations

dimensions_citation
3 Dimensions

Readers on

mendeley
52 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.
Chapter title
A Formal Language for Electronic Contracts
Chapter number 11
Book title
Formal Methods for Open Object-Based Distributed Systems
Published by
Springer, Berlin, Heidelberg, June 2007
DOI 10.1007/978-3-540-72952-5_11
Book ISBNs
978-3-54-072919-8, 978-3-54-072952-5
Authors

Cristian Prisacariu, Gerardo Schneider, Prisacariu, Cristian, Schneider, Gerardo

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
United Kingdom 1 2%
Sweden 1 2%
Italy 1 2%
Brazil 1 2%
Unknown 48 92%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 19 37%
Student > Master 7 13%
Researcher 7 13%
Student > Bachelor 5 10%
Professor > Associate Professor 3 6%
Other 6 12%
Unknown 5 10%
Readers by discipline Count As %
Computer Science 32 62%
Engineering 6 12%
Unspecified 2 4%
Social Sciences 2 4%
Linguistics 1 2%
Other 4 8%
Unknown 5 10%