↓ 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 Security Issues in Service Composition
  3. Altmetric Badge
    Chapter 2 Separating Distribution from Coordination and Computation as Architectural Dimensions
  4. Altmetric Badge
    Chapter 3 The Bisimulation Proof Method: Enhancements and Open Problems
  5. Altmetric Badge
    Chapter 4 An Approach to Quality Achievement at the Architectural Level: AQUA
  6. Altmetric Badge
    Chapter 5 Bounded Analysis and Decomposition for Behavioural Descriptions of Components
  7. Altmetric Badge
    Chapter 6 Modeling and Validation of a Software Architecture for the Ariane-5 Launcher
  8. Altmetric Badge
    Chapter 7 Synchronizing Behavioural Mismatch in Software Composition
  9. Altmetric Badge
    Chapter 8 Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation
  10. Altmetric Badge
    Chapter 9 Temporal Superimposition of Aspects for Dynamic Software Architecture
  11. Altmetric Badge
    Chapter 10 Modeling Long–Running Transactions with Communicating Hierarchical Timed Automata
  12. Altmetric Badge
    Chapter 11 Transformation Laws for UML-RT
  13. Altmetric Badge
    Chapter 12 Underspecification, Inherent Nondeterminism and Probability in Sequence Diagrams
  14. Altmetric Badge
    Chapter 13 Generating Instance Models from Meta Models
  15. Altmetric Badge
    Chapter 14 KM3: A DSL for Metamodel Specification
  16. Altmetric Badge
    Chapter 15 Defining Object-Oriented Execution Semantics Using Graph Transformations
  17. Altmetric Badge
    Chapter 16 Type-Safe Runtime Class Upgrades in Creol
  18. Altmetric Badge
    Chapter 17 Abstract Interface Behavior of Object-Oriented Languages with Monitors
  19. Altmetric Badge
    Chapter 18 Mobility Mechanisms in Service Oriented Computing
  20. Altmetric Badge
    Chapter 19 Theoretical Foundations of Scope-Based Compensable Flow Language for Web Service
  21. Altmetric Badge
    Chapter 20 Erratum to: Formal Methods for Open Object-Based Distributed Systems
Attention for Chapter 6: Modeling and Validation of a Software Architecture for the Ariane-5 Launcher
Altmetric Badge

Citations

dimensions_citation
4 Dimensions

Readers on

mendeley
9 Mendeley
citeulike
1 CiteULike
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
Modeling and Validation of a Software Architecture for the Ariane-5 Launcher
Chapter number 6
Book title
Formal Methods for Open Object-Based Distributed Systems
Published by
Springer, Berlin, Heidelberg, June 2006
DOI 10.1007/11768869_6
Book ISBNs
978-3-54-034893-1, 978-3-54-034895-5
Authors

Iulian Ober, Susanne Graf, David Lesens

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Colombia 1 11%
Unknown 8 89%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 4 44%
Researcher 1 11%
Other 1 11%
Student > Master 1 11%
Unknown 2 22%
Readers by discipline Count As %
Computer Science 5 56%
Business, Management and Accounting 1 11%
Engineering 1 11%
Unknown 2 22%