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 - Softcover

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.