Cantitate/Preț
Produs

Formal Methods and Software Engineering: 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings: Lecture Notes in Computer Science, cartea 3785

Editat de Kung-Kiu Lau, Richard Banach
en Limba Engleză Paperback – 27 oct 2005

Din seria Lecture Notes in Computer Science

Preț: 34329 lei

Preț vechi: 42911 lei
-20% Nou

Puncte Express: 515

Preț estimativ în valută:
6569 6817$ 5491£

Carte tipărită la comandă

Livrare economică 15-29 martie

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540297970
ISBN-10: 3540297979
Pagini: 516
Ilustrații: XIV, 502 p.
Dimensiuni: 216 x 279 x 27 mm
Greutate: 0.72 kg
Ediția:2005
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Programming and Software Engineering

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

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.