Formal Methods and Software Engineering

6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings

AvJim Davies,Wolfram Schulte

Häftad, Engelska, 2004

Del i serien Lecture Notes in Computer Science

1 096 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

This book constitutes the refereed proceedings of the 6th International Conference on Formal Engineering Methods, ICFEM 2004, held in Seattle, WA, USA in November 2004.The 30 revised full papers presented together with abstracts of 9 invited contributions were carefully reviewed and selected from 110 submissions. The papers address all current issues in formal methods and their applications in software engineering, ranging from theoretical and methodological aspects to applications in various domains.

Produktinformation

Utgivningsdatum:2004-10-28
Mått:155 x 235 x 28 mm
Vikt:779 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:500
Upplaga:2004
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540238416

Utforska kategorier

Programvaruutveckling inom Data och IT

Innehållsförteckning

Tutorials.- Model-Based Development: Combining Engineering Approaches and Formal Techniques.- Tutorial on the RAISE Language, Method and Tools.- Model-Based Testing with Spec#.- Formal Engineering for Industrial Software Development – An Introduction to the SOFL Specification Language and Method.- Tutorial: Software Model Checking.- Invited Talks.- Engineering Quality Software.- When Can Formal Methods Make a Real Difference?.- On the Adoption of Formal Methods by Industry: The ACL2 Experience.- A CLP Approach to Modelling Systems.- Full Papers.- Multi-prover Verification of C Programs.- Memory-Model-Sensitive Data Race Analysis.- Formal Models for Web Navigations with Session Control and Browser Cache.- Managing Verification Activities Using SVM.- A General Model for Reachability Testing of Concurrent Programs.- A Knowledge Based Analysis of Cache Coherence.- A Propositional Logic-Based Method for Verification of Feature Models.- Deriving Probabilistic Semantics Via the ‘Weakest Completion’.- CSP Representation of Game Semantics for Second-Order Idealized Algol.- An Equational Calculus for Alloy.- Guiding Spin Simulation.- Linear Inequality LTL (iLTL): A Model Checker for Discrete Time Markov Chains.- Software Model Checking Using Linear Constraints.- Counterexample Guided Abstraction Refinement Via Program Execution.- Faster Analysis of Formal Specifications.- Bridging Refinement of Interface Automata to Forward Simulation of I/O Automata.- Learning to Verify Safety Properties.- Automatic Extraction of Object-Oriented Observer Abstractions from Unit-Test Executions.- A Specification-Based Approach to Testing Polymorphic Attributes.- From Circus to JCSP.- An Approach to Preserve Protocol Consistency and Executability Across Updates.- A Formal Monitoring-BasedFramework for Software Development and Analysis.- Verifying a File System Implementation.- Verifying the On-line Help System of SIEMENS Magnetic Resonance Tomographs.- Implementing Dynamic Aggregations of Abstract Machines in the B Method.- Formal Proof from UML Models.- Interactive Verification of UML State Machines.- Refinement of Actions for Real-Time Concurrent Systems with Causal Ambiguity.- From Durational Specifications to TLA Designs of Timed Automata.- Timed Patterns: TCOZ to Timed Automata.