Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures / / edited by Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures / / edited by Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue
|
| Pubblicazione: | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Edizione: | 1st ed. 2013. |
| Descrizione fisica: | 1 online resource (X, 241 p. 125 illus.) |
| Disciplina: | 005.1 |
| Soggetto topico: | Software engineering |
| Computer logic | |
| Mathematical logic | |
| Software Engineering | |
| Logics and Meanings of Programs | |
| Mathematical Logic and Formal Languages | |
| Persona (resp. second.): | GiachinoElena |
| HähnleReiner | |
| de BoerFrank S | |
| BonsangueMarcello M | |
| Note generali: | Bibliographic Level Mode of Issuance: Monograph |
| Nota di contenuto: | 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. |
| Sommario/riassunto: | 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. |
| Titolo autorizzato: | Formal Methods for Components and Objects |
| ISBN: | 3-642-40615-7 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910485148203321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |
Serie:
Programming and Software Engineering ; ; 7866