+612 9045 4394
Formal Methods for Components and Objects : First International Symposium, Fmco 2002, Leiden, the Netherlands, November 5-8, 2002, Revised Lectures - Frank S. de Boer

Formal Methods for Components and Objects

First International Symposium, Fmco 2002, Leiden, the Netherlands, November 5-8, 2002, Revised Lectures

By: Frank S. de Boer (Editor), Marcello Bonsangue (Editor), Susanne Graf (Editor), Willem-Paul de Roever (Editor)

Paperback Published: 9th October 2003
ISBN: 9783540203032
Number Of Pages: 512

Share This Book:


or 4 easy payments of $39.60 with Learn more
Ships in 5 to 9 business days

Largeandcomplexsoftwaresystemsprovidethenecessaryinfrastuctureinall- dustries today. In order to construct such large systems in a systematic manner, the focus in the development methodologies has switched in the last two decades from functional issues to structural issues: both data and functions are enc- sulated into software units that are integrated into large systems by means of various techniques supporting reusability and modi?ability. This encapsulation principleisessentialtoboththeobject-orientedandthemorerecentcompone- based sofware engineering paradigms. Formalmethodshavebeenappliedsuccessfullytotheveri?cationofmedi- sized programs in protocol and hardware design. However, their application to large systems requires the further development of speci?cation and veri?cation techniques supporting the concepts of reusability and modi?ability. In order to bring together researchers and practioners in the areas of so- ware engineering and formal methods, we organized the 1st International S- posium on Formal Methods for Components and Objects (FMCO) in Leiden, The Netherlands, November 5-8, 2002. The program consisted of invited tu- rials and more technical presentations given by leading experts in the ?elds of Theoretical Computer Science and Software Engineering. The symposium was attended by more than 100 people. This volume contains the contributions of the invited speakers to FMCO 2002. We believe that the presented material provides a unique combination of ideas on software engineering and formal methods which we hope will be an inspiration for those aiming at further bridging the gap between the theory and practice of software engineering.

A Tool-Supported Prof System for Multithreaded Javap. 1
Abstract Behavior Types: A Foundation Model for Components and Their Compositionp. 33
Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UMLp. 71
Live and Let Die: LSC-Based Verification of UML-Modelsp. 99
Reactive Animationp. 136
Model-Checking Middleware-Based Event-Driven Real-Time Embedded Softwarep. 154
Equivalent Semantic Models for a Distributed Dataspace Architecturep. 182
Java Program Verification Challengesp. 202
ToolBus: The Next Generationp. 220
High-Level Specifications: Lessons from Industryp. 242
How the Design of JML Accommodates Both Runtime Assertion Checking and Formal Verificationp. 262
Finding Implicit Contracts in .NET Componentsp. 285
From Co-algebraic Specifications to Implementation: The Mihda Toolkitp. 319
A Calculus for Modeling Software Componentsp. 339
Specification and Inheritance in CSP-OZp. 361
Model-Based Testing of Object-Oriented Systemsp. 380
Concurrent Object-Oriented Program: From Specification to Codep. 403
Design with Asynchronously Communicating Componentsp. 424
Composition for Component-Based Modelingp. 443
Games for UML Software Designp. 467
Making Components Move: A Separation of Concerns Approachp. 487
Author Indexp. 509
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9783540203032
ISBN-10: 3540203036
Series: Lecture Notes in Computer Science
Audience: General
Format: Paperback
Language: English
Number Of Pages: 512
Published: 9th October 2003
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 2.67
Weight (kg): 0.73