Übersicht			Auf mobile öffnen

Lieferstatus:	Auf Bestellung (Lieferzeit unbekannt)
Veröffentlichung:	Oktober 2005
Genre:	EDV / Informatik
	C / Compiler und Übersetzer / Compilers & interpreters / Compilers and Interpreters / Computer architecture & logic design / Computer logic / Computer programming / software engineering / computer science / Computer Science Logic and Foundations of Programming / Logics and Meanings of Programs / Operating systems / Programming & scripting languages# general / Programming languages (Electronic computers) / Programming Languages, Compilers, Interpreters / Software Engineering / Software Engineering/Programming and Operating Systems / Theoretische Informatik mehr...
ISBN:	9783540297970
EAN-Code:	9783540297970
Verlag:	Springer EN
Einband:	Kartoniert
Sprache:	English
Serie:	#3785 - Lecture Notes in Computer Science Programming and Software Engineering
Dimensionen:	H 279 mm / B 216 mm / D
Gewicht:	1580 gr
Seiten:	502
Illustration:	XIV, 502 p.
Zus. Info:	EUDR exemption - product or manufacturing materials placed on the market prior to 31.12.2025.
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

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.