Formal Methods and Software Engineering 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Liu, Shaoying (Επιμελητής έκδοσης), Maibaum, Tom (Επιμελητής έκδοσης), Araki, Keijiro (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
• Σειρά: Lecture Notes in Computer Science, 5256
• Θέματα: Computer science.; Software engineering.; Computer programming.; Programming languages (Electronic computers).; Mathematical logic.; Computers.; Computer Science.; Software Engineering/Programming and Operating Systems.; Programming Languages, Compilers, Interpreters.; Programming Techniques.; Software Engineering.; Models and Principles.; Mathematical Logic and Formal Languages.

This book constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM 2008, held in Kitakyushu-City, Japan, October 2008. The 20 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 62 submissions. Th...

Πίνακας περιεχομένων:

• Invited Talks
• How Can We Make Industry Adopt Formal Methods?
• Programmers Ain’t Mathematicians, and Neither Are Testers
• Contract-Based Reasoning for Verification and Certification of Secure Information Flow Policies in Industrial Workflows
• Specification and Verification
• Specifying and Verifying Event-Based Fairness Enhanced Systems
• Modelling and Proof of a Tree-Structured File System in Event-B and Rodin
• Testing
• Conformance Testing Based on UML State Machines
• An Approach to Testing with Embedded Context Using Model Checker
• Requirements Coverage as an Adequacy Measure for Conformance Testing
• Verification 1
• Decomposition for Compositional Verification
• A Formal Soundness Proof of Region-Based Memory Management for Object-Oriented Paradigm
• Program Models for Compositional Verification
• Model Checking and Analysis
• A Unified Model Checking Approach with Projection Temporal Logic
• Formal Analysis of the Bakery Protocol with Consideration of Nonatomic Reads and Writes
• Towards Abstraction for DynAlloy Specifications
• Verification 2
• Partial Translation Verification for Untrusted Code-Generators
• A Practical Approach to Partiality – A Proof Based Approach
• A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking
• Tools
• Probing the Depths of CSP-M: A New fdr-Compliant Validation Tool
• Practical Automated Partial Verification of Multi-paradigm Real-Time Models
• Application of Formal Methods
• Specifying and Verifying Sensor Networks: An Experiment of Formal Methods
• Correct Channel Passing by Construction
• Semantics
• A Process Semantics for BPMN
• A Formal Descriptive Semantics of UML.