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

Mentioned by

wikipedia
2 Wikipedia pages

Readers on

mendeley
42 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
Formal Methods for Open Object-Based Distributed Systems
Published by
Springer Berlin Heidelberg, June 2007
DOI 10.1007/978-3-540-72952-5
ISBNs
978-3-54-072919-8, 978-3-54-072952-5
Editors

Bonsangue, Marcello M., Johnsen, Einar Broch

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Italy 3 7%
Switzerland 2 5%
France 2 5%
Portugal 1 2%
Spain 1 2%
Denmark 1 2%
United States 1 2%
Iran, Islamic Republic of 1 2%
Unknown 30 71%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 14 33%
Student > Master 10 24%
Student > Bachelor 5 12%
Researcher 4 10%
Professor 3 7%
Other 6 14%
Readers by discipline Count As %
Computer Science 36 86%
Engineering 3 7%
Business, Management and Accounting 1 2%
Physics and Astronomy 1 2%
Unspecified 1 2%
Other 0 0%