Formal methods and software engineering

InhaltsverzeichnisInvited Talks.Realising the Benefits of Formal Methods.A Compositional Framework for Service Interaction Patterns and Interaction Flows.An Evidential Tool Bus.Specification.Derivation of UML Class Diagrams as Static Views of Formal B Developments.29 New Unclarities in the Semantics of UML 2.0 State Machines.The Semantics and Tool Support of OZTA.Modelling.An Abstract Model for Process Mediation.How Symbolic Animation Can Help Designing an Efficient Formal Model.Security.A Theory of Secure Control Flow.Game Semantics Model for Security Protocols.Communication.Towards Dynamically Communicating Abstract Machines in the B Method.Sweep-Line Analysis of TCP Connection Management.2/3 Alternating Simulation Between Interface Automata.Development.Formal Model-Driven Development of Communicating Systems.Jahuel: A Formal Framework for Software Synthesis.Modelling and Refinement of an On-Chip Communication Architecture.Testing.Finding Bugs in Network Protocols Using Simulation Code and Protocol-Specific Heuristics.Adaptive Random Testing by Bisection with Restriction.Testing Real-Time Multi Input-Output Systems.Verification.Formal Verification of a Memory Model for C-Like Imperative Languages.Symbolic Verification of Distributed Real-Time Systems with Complex Synchronizations.An Improved Rule for While Loops in Deductive Program Verification.Using Stålmarck’s Algorithm to Prove Inequalities.Automatic Refinement Checking for B.Slicing an Integrated Formal Method for Verification.A Static Communication Elimination Algorithm for Distributed System Verification.Incremental Verification of Owicki/Gries Proof Outlines Using PVS.Using Three-Valued Logic to Specify and Verify Algorithms of Computational Geometry.Tools.An Automated Approach to Specification-Based Program Inspection.Visualizing and Simulating Semantic Web Services Ontologies.A Model-to-Implementation Mapping Tool for Automated Model-Based GUI Testing.ClawZ: Cost-Effective Formal Verification for Control Systems.SVG Web Environment for Z Specification Language.