Vai al contenuto principale della pagina
Titolo: |
Formal Methods for Components and Objects [[electronic resource] ] : 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.: | 996466025803316 |
Lo trovi qui: | Univ. di Salerno |
Opac: | Controlla la disponibilitĂ qui |