↓ 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 9: Adaptation of Open Component-Based Systems
Altmetric Badge

Citations

dimensions_citation
3 Dimensions

Readers on

mendeley
3 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
Adaptation of Open Component-Based Systems
Chapter number 9
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_9
Book ISBNs
978-3-54-072919-8, 978-3-54-072952-5
Authors

Pascal Poizat, Gwen Salaün, Poizat, Pascal, Salaün, Gwen

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 3 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 1 33%
Professor > Associate Professor 1 33%
Researcher 1 33%
Student > Master 1 33%
Readers by discipline Count As %
Computer Science 4 133%