Formal methods open object based von steffen martin (5 Ergebnisse)

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Zustand: Used. pp. 340 Illus.

Zustand: Used. pp. 340.

Zustand: As New. Unread book in perfect condition.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Invited Talk.- Pattern Matching over a Dynamic Network of Tuple Spaces.- Models and Calculi.- A Dynamic Class Construct for Asynchronous Concurrent Objects.- An Abstract Machine for the Kell Calculus.- XPi: A Typed Process Calculus for XML Messaging.- UML.- Checking the Validity of Scenarios in UML Models.- An Extended Type System for OCL Supporting Templates and Transformations.- A Semantics for UML-RT Active Classes via Mapping into Circus.- Security.- Towards an Integrated Formal Analysis for Security and Trust.- A Formal Security Analysis of an OSA/Parlay Authentication Interface.- Composition and Verification.- Tracing Integration Analysis in Component-Based Formal Specifications.- CompAr: Ensuring Safe Around Advice Composition.- Guaranteeing Resource Bounds for Component Software.- Analysis of Java Programs.- Specification and Verification of Encapsulation in Java Programs.- Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions.- Web Services.- Transforming Information in RDF to Rewriting Logic.- Modeling- and Analysis Techniques for Web Services and Business Processes.- A Distributed Implementation of Mobile Nets as Mobile Agents.- Specification and Verification.- On Correctness of Dynamic Protocol Update.- Property-Driven Development of a Coordination Model for Distributed Simulations.- A Timing Analysis of AODV.…