Formal Methods and Software Engineering (eBook, PDF)
7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings
Redaktion: Lau, Kung-Kiu; Banach, Richard
Schade – dieser Artikel ist leider ausverkauft. Sobald wir wissen, ob und wann der Artikel wieder verfügbar ist, informieren wir Sie an dieser Stelle.
Formal Methods and Software Engineering (eBook, PDF)
7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings
Redaktion: Lau, Kung-Kiu; Banach, Richard
- Format: PDF
- Merkliste
- Auf die Merkliste
- Bewerten Bewerten
- Teilen
- Produkt teilen
- Produkterinnerung
- Produkterinnerung
Bitte loggen Sie sich zunächst in Ihr Kundenkonto ein oder registrieren Sie sich bei
bücher.de, um das eBook-Abo tolino select nutzen zu können.
Hier können Sie sich einloggen
Hier können Sie sich einloggen
Sie sind bereits eingeloggt. Klicken Sie auf 2. tolino select Abo, um fortzufahren.
Bitte loggen Sie sich zunächst in Ihr Kundenkonto ein oder registrieren Sie sich bei bücher.de, um das eBook-Abo tolino select nutzen zu können.
- Geräte: PC
- ohne Kopierschutz
- eBook Hilfe
- Größe: 6.11MB
Produktdetails
- Verlag: Springer-Verlag GmbH
- Seitenzahl: 502
- Erscheinungstermin: 25. Oktober 2005
- Englisch
- ISBN-13: 9783540322504
- Artikelnr.: 44130095
Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.
Kung-Kiu Lau, University of Manchester, UK / Richard Banach, University of Manchester, UK
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.
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.