Ihr Link zur Ex Libris-Reader-App
Geben Sie Ihre E-Mail-Adresse oder Handynummer ein und Sie erhalten einen direkten Link, um die kostenlose Reader-App herunterzuladen.
Die Ex Libris-Reader-App ist für iOS und Android erhältlich. Weitere Informationen zu unseren Apps finden Sie hier.
Formal Methods for Components and Objects
- Kartonierter Einband
- 252 Seiten
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"
