Willkommen, schön sind Sie da!
Logo Ex Libris

Formal Methods for Components and Objects

  • E-Book (pdf)
  • 300 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
This book presents 12 revised lectures given by top-researchers at the 5th International Symposium on Formal Methods for Componen... Weiterlesen
E-Books ganz einfach mit der kostenlosen Ex Libris-Reader-App lesen. Hiererhalten Sie Ihren Download-Link.
CHF 93.50
Download steht sofort bereit
Informationen zu E-Books
E-Books eignen sich auch für mobile Geräte (sehen Sie dazu die Anleitungen).
E-Books von Ex Libris sind mit Adobe DRM kopiergeschützt: Erfahren Sie mehr.
Weitere Informationen finden Sie hier.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

This book presents 12 revised lectures given by top-researchers at the 5th International Symposium on Formal Methods for Components and Objects, FMCO 2006, held in Amsterdam, Netherlands in November 2006. It provides a unique combination of ideas on software engineering and formal methods that reflect the current interest in the application or development of formal methods for large scale software systems such as component-based systems and object systems.



Inhalt

Testing.- Model-Based Testing of Environmental Conformance of Components.- Exhaustive Testing of Exception Handlers with Enforcer.- Model-Based Test Selection for Infinite-State Reactive Systems.- Program Verification.- Verifying Object-Oriented Programs with KeY: A Tutorial.- Rebeca: Theory, Applications, and Tools.- Learning Meets Verification.- Trust and Security.- JACK - A Tool for Validation of Security and Behaviour of Java Applications.- Towards a Formal Framework for Computational Trust.- Models of Computation.- On Recursion, Replication and Scope Mechanisms in Process Calculi.- Bounded Session Types for Object Oriented Languages.- Distributed Programming.- Reflecting on Aspect-Oriented Programming, Metaprogramming, and Adaptive Distributed Monitoring.- Links: Web Programming Without Tiers.

Produktinformationen

Titel: Formal Methods for Components and Objects
Untertitel: 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures
Editor:
EAN: 9783540747925
Digitaler Kopierschutz: Wasserzeichen
Format: E-Book (pdf)
Hersteller: Springer Berlin Heidelberg
Genre: IT & Internet
Anzahl Seiten: 300
Veröffentlichung: 30.01.2008
Dateigrösse: 5.4 MB

Weitere Bände aus der Buchreihe "Programming and Software Engineering"