Vor Ort
Merkzettel Warenkorb
  • Produktbild: Formal Methods for Components and Objects
  • Produktbild: Formal Methods for Components and Objects
Band 2852

Formal Methods for Components and Objects First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

09.10.2003

Herausgeber

Frank S.de Boer + weitere

Verlag

Springer Berlin

Seitenzahl

512

Maße (L/B/H)

23,5/15,5/2,9 cm

Gewicht

800 g

Auflage

2003

Sprache

Englisch

ISBN

978-3-540-20303-2

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

09.10.2003

Herausgeber

Verlag

Springer Berlin

Seitenzahl

512

Maße (L/B/H)

23,5/15,5/2,9 cm

Gewicht

800 g

Auflage

2003

Sprache

Englisch

ISBN

978-3-540-20303-2

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 Components and Objects
  • Produktbild: Formal Methods for Components and Objects
  • A Tool-Supported Proof System for Multithreaded Java.- Abstract Behavior Types: A Foundation Model for Components and Their Composition.- Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML.- Live and Let Die: LSC-Based Verification of UML-Models.- Reactive Animation.- Model-Checking Middleware-Based Event-Driven Real-Time Embedded Software.- Equivalent Semantic Models for a Distributed Dataspace Architecture.- Java Program Verification Challenges.- ToolBus: The Next Generation.- High-Level Specifications: Lessons from Industry.- How the Design of JML Accommodates Both Runtime Assertion Checking and Formal Verification.- Finding Implicit Contracts in .NET Components.- From Co-algebraic Specifications to Implementation: The Mihda Toolkit.- A Calculus for Modeling Software Components.- Specification and Inheritance in CSP-OZ.- Model-Based Testing of Object-Oriented Systems.- Concurrent Object-Oriented Programs: From Specification to Code.- Design with Asynchronously Communicating Components.- Composition for Component-Based Modeling.- Games for UML Software Design.- Making Components Move: A Separation of Concerns Approach.