04196nam 2200577 a 450 991048353620332120200520144314.010.1007/11576280(CKB)1000000000213336(SSID)ssj0000317704(PQKBManifestationID)11258695(PQKBTitleCode)TC0000317704(PQKBWorkID)10294160(PQKB)11401971(DE-He213)978-3-540-32250-4(MiAaPQ)EBC3067537(PPN)123098424(EXLCZ)99100000000021333620050926d2005 uy 0engurnn|008mamaatxtccrFormal methods and software engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings /Kung-Kiu Lau, Richard Banach (eds.)1st ed. 2005.Berlin ;New York Springer20051 online resource (XIV, 502 p.) Lecture notes in computer science,0302-9743 ;3785Bibliographic Level Mode of Issuance: MonographPrinted edition: 9783540297970 Includes bibliographical references and index.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.Lecture notes in computer science ;3785.7th International Conference on Formal Engineering MethodsInternational Conference on Formal Engineering MethodsICFEM 2005Formal methods (Computer science)CongressesSoftware engineeringCongressesFormal methods (Computer science)Software engineering005.13/1Lau K.-K(Kung-Kiu),1953-1759624Banach Richard1759625MiAaPQMiAaPQMiAaPQBOOK9910483536203321Formal methods and software engineering4198196UNINA