Vor Ort
Merkzettel Warenkorb
  • Produktbild: Formal Methods for Open Object-Based Distributed Systems
  • Produktbild: Formal Methods for Open Object-Based Distributed Systems

Formal Methods for Open Object-Based Distributed Systems 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings

Aus der Reihe Programming and Software Engineering

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

25.05.2007

Herausgeber

Marcello M. Bonsangue + weitere

Verlag

Springer Berlin

Seitenzahl

317

Maße (L/B/H)

23,5/15,5/1,9 cm

Gewicht

516 g

Auflage

2007

Sprache

Englisch

ISBN

978-3-540-72919-8

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

25.05.2007

Herausgeber

Verlag

Springer Berlin

Seitenzahl

317

Maße (L/B/H)

23,5/15,5/1,9 cm

Gewicht

516 g

Auflage

2007

Sprache

Englisch

ISBN

978-3-540-72919-8

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Formal Methods for Open Object-Based Distributed Systems
  • Produktbild: Formal Methods for Open Object-Based Distributed Systems
  • Invited Talks.- Asynchronous Session Types and Progress for Object Oriented Languages.- KeY: A Formal Method for Object-Oriented Systems.- Model Checking.- Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking.- Model Checking of Extended OCL Constraints on UML Models in SOCLe.- Analysis of UML Activities Using Dynamic Meta Modeling.- Rewriting Logic.- Distributed Applications Implemented in Maude with Parameterized Skeletons.- On Formal Analysis of OO Languages Using Rewriting Logic: Designing for Performance.- Formal Modeling and Analysis of the OGDC Wireless Sensor Network Algorithm in Real-Time Maude.- Components and Services.- Adaptation of Open Component-Based Systems.- A Representation-Independent Behavioral Semantics for Object-Oriented Components.- A Formal Language for Electronic Contracts.- Algebraic Calculi.- A Mechanized Model of the Theory of Objects.- Pict Correctness Revisited.- Specification, Verfication and Refinenment.- A Refinement Method for Java Programs.- Refactoring Object-Oriented Specifications with Data and Processes.- A Sound and Complete Shared-Variable Concurrency Model for Multi-threaded Java Programs.- Quality of Service.- Performance-Oriented Comparison of Web Services Via Client-Specific Testing Preorders.- A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems.- On Resource-Sensitive Timed Component Connectors.