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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Boer, Frank S.de (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Bonsangue, Marcello (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Graf, Susanne (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), de Roever, Willem-Paul (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003.
• Έκδοση: 1st ed. 2003.
• Σειρά: Lecture Notes in Computer Science, 2852
• Θέματα: Software engineering.; Programming languages (Electronic computers).; Operating systems (Computers).; Computer logic.; Software Engineering/Programming and Operating Systems.; Software Engineering.; Programming Languages, Compilers, Interpreters.; Operating Systems.; Logics and Meanings of Programs.

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 a...

Πίνακας περιεχομένων:

• 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.