Del 0 - Lecture Notes in Computer Science

Formal Methods for Components and Objects

First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures

Häftad, Engelska, 2003

AvFrank S.de Boer,Marcello Bonsangue,Susanne Graf,Willem-Paul de Roever

729 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

This book presents revised tutorial lectures given by invited speakers at the First International Symposium on Formal Methods for Components and Objects, FMCO 2002, held in Leiden, The Netherlands, in November 2002.The 21 revised lectures by leading researchers present a comprehensive account of the potential of formal methods applied to complex software systems such as components and object systems. The book makes a unique contribution to bridging the gap between theory and practice in software engineering.

Produktinformation

Utgivningsdatum2003-10-09
Mått155 x 235 x 29 mm
Vikt785 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor512
Upplaga2003
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540203032

Tillhör följande kategorier

Programmeringsböcker inom Data och IT

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.