Hugendubel.info - Die B2B Online-Buchhandlung 

Merkliste
Die Merkliste ist leer.
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Formal Methods for Open Object-Based Distributed Systems V

IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002) March 20-22, 2002, Enschede, The Netherlands
BuchKartoniert, Paperback
284 Seiten
Englisch
Springererschienen am21.03.2013Softcover reprint of the original 1st ed. 2002
Formal Methods for Open Object-Based Distributed Systems V brings together research in three important and related fields: Formal methods;mehr
Verfügbare Formate
BuchGebunden
EUR106,99
BuchKartoniert, Paperback
EUR106,99
E-BookPDF1 - PDF WatermarkE-Book
EUR96,29

Produkt

KlappentextFormal Methods for Open Object-Based Distributed Systems V brings together research in three important and related fields: Formal methods;
Details
ISBN/GTIN978-1-4757-5268-7
ProduktartBuch
EinbandartKartoniert, Paperback
Verlag
Erscheinungsjahr2013
Erscheinungsdatum21.03.2013
AuflageSoftcover reprint of the original 1st ed. 2002
ReiheIFIP Advances in Information and Communication Technology
Seiten284 Seiten
SpracheEnglisch
Gewicht718 g
IllustrationenXII, 284 p.
Artikel-Nr.30096949

Inhalt/Kritik

Inhaltsverzeichnis
Software Model Checking: The Bandera approach.- Verifying Authentication Protocol Implementations.- A Semantic Framework for Specifying and Reasoning about Composable Distributed Middleware Services.- Formal Semantics for Interacting UML Subsystems.- A Compositional Formalism for Object Viewpoints.- Interpreting ODP Viewpoint Specification: Observations from a Case Study.- Checking Behavioural Subtypes via Refinement.- Behavioural Subtyping and Property Preservation for Active Objects.- A Formal Service Specification for HOP Based on ISO/IEC 14752.- Mobile Objects Must Move Safely.- A Theory of May Testing for Actors.- Computer-Aided Specification and Verification of Annotated Object-Oriented Programs.- Foinial Analysis of Suzuki & Kasami Distributed Mutual Exclusion Algorithm.- Control Flow Analysis of Mobile Ambients with Security Boundaries.- Generating Adapters for Concurrent Component Protocol Synchronisation.- A Feature Manager Approach to the Analysis of Component-Interactions.- Supporting Collaborative Design.- A Visual Modeling Framework for Distributed Object Computing.- Author Index.mehr

Schlagworte