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

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...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Liu, Shaoying (Editor ), Maibaum, Tom (Editor ), Araki, Keijiro (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.
Edición:1st ed. 2008.
Colección:Programming and Software Engineering, 5256
Temas:
Software engineering.
Compilers (Computer programs).
Computer programming.
Computer science.
Machine theory.
Software Engineering.
Compilers and Interpreters.
Programming Techniques.
Models of Computation.
Formal Languages and Automata Theory.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares