Formal Methods and Software Engineering (eBook, PDF)
-9%
72,95 €
Statt 79,99 €**
72,95 €
inkl. MwSt.
**Preis der gedruckten Ausgabe (Broschiertes Buch)
Sofort per Download lieferbar
Versandkostenfrei*
36 °P sammeln
-9%
72,95 €
Statt 79,99 €**
72,95 €
inkl. MwSt.
**Preis der gedruckten Ausgabe (Broschiertes Buch)
Sofort per Download lieferbar
Versandkostenfrei*

Alle Infos zum eBook verschenken
36 °P sammeln
Als Download kaufen
Statt 79,99 €**
-9%
72,95 €
inkl. MwSt.
**Preis der gedruckten Ausgabe (Broschiertes Buch)
Sofort per Download lieferbar
36 °P sammeln
Jetzt verschenken
Statt 79,99 €**
-9%
72,95 €
inkl. MwSt.
**Preis der gedruckten Ausgabe (Broschiertes Buch)
Sofort per Download lieferbar

Alle Infos zum eBook verschenken
36 °P sammeln
  • Format: PDF


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.

Autorenporträt
Kung-Kiu Lau, University of Manchester, UK / Richard Banach, University of Manchester, UK
Inhaltsangabe
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.