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

Formal Methods for Components and Objects

  • Kartonierter Einband
  • 252 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
Leseprobe
This book constitutes revised lectures from the 11th Symposium on Formal Methods for Components and Object, FMCO 2012, held in Ber... Weiterlesen
CHF 66.00
Auslieferung erfolgt in der Regel innert 2 bis 4 Werktagen.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

This book constitutes revised lectures from the 11th Symposium on Formal Methods for Components and Object, FMCO 2012, held in Bertinoro, Italy, in September 2012. The 8 lectures featured in this volume are by world-renowned experts within the area of formal models for objects and components. The book provides a unique combination of ideas on software engineering and formal methods which reflect the expanding body of knowledge on modern software systems.

State of the art research on formal methods for component and object oriented systems

Outcome of the International Symposium on formal methods for components and objects

Provides a unique combination of ideas on software engineering and formal methods



Inhalt
The Abstract Behavioral Specification Language: A Tutorial Introduction.- Subobject-Oriented Programming.- Verification of Open Concurrent Object Systems.- Automatic Inference of Bounds on Resource Consumption.- Separating Cost and Capacity for Load Balancing in ABS Deployment Models.- Composing Distributed Systems: Overcoming the Interoperability Challenge.- Controlling Application Interactions on the Novel Smart Cards with Security-by-Contract.- Formal Aspects of Free and Open Source Software Components.

Produktinformationen

Titel: Formal Methods for Components and Objects
Untertitel: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures
Editor:
EAN: 9783642406140
ISBN: 3642406149
Format: Kartonierter Einband
Herausgeber: Springer Berlin Heidelberg
Genre: Informatik
Anzahl Seiten: 252
Gewicht: 388g
Größe: H235mm x B155mm x T13mm
Jahr: 2013
Auflage: 2013

Weitere Produkte aus der Reihe "Programming and Software Engineering"