Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and ... ... Italy, June 13-18, 2011, Advanced Lectures - Brossura

Brossura

ISBN 10: 3642214568 ISBN 13: 9783642214561

Casa editrice: Springer, 2011

Riassunto

Interoperability in Complex Distributed Systems.-The CONNECT Architecture.-Automated Verification Techniques for Probabilistic Systems.-Modeling and Verification of Components and Connectors.-Application-Layer Connector Synthesis.-Context Synthesis.-Middleware-Layer Connector Synthesis: Beyond State of the Art in Middleware Interoperability.-Introduction to Active Automata Learning from a Practical Perspective.-Model-Based Testing and Some Steps Towards Test-Based Modeling.-Learning of Automata Models Extended with Data Dependability and Performance Assessment of Dynamic CONNECTed Systems.-Security and Trust.-Modeling Spatial and Temporal Variability with the HATS Abstract.-Behavioral Modeling Language.-Kernel-Based Machines for Abstract and Easy Modeling of Automatic Learning.-Modeling Secure Systems Evolution: Abstract and Concrete Change Specifications.

Dettagli dell?edizione

• Editore: Springer
• Data di pubblicazione: 2011
• Lingua: Inglese
• ISBN 10: 3642214568
• ISBN 13: 9783642214561
• Rilegatura: Paperback
• Contatto del produttore: non disponibile