Formal Methods and Software Engineering  7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings /  [electronic resource] : 
edited by Kung-Kiu Lau, Richard Banach. 
 - 1st ed. 2005. 
 - XIV, 502 p.  online resource. 
 - Programming and Software Engineering,  3785  2945-9168 ; .
 - Programming and Software Engineering,  3785 .
<br/><br/>Invited 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. 
<br/><br/><label>ISBN: </label>9783540322504 
<br/><br/><label>Standard No.: </label>10.1007/11576280  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Software engineering.<br/>Computer science.<br/>Compilers (Computer programs).<br/>Software Engineering.<br/>Computer Science Logic and Foundations of Programming.<br/>Compilers and Interpreters.
<br/><br/><label>LC Class. No.: </label>QA76.758 
<br/><br/><label>Dewey Class. No.: </label>005.1