Formal Methods and Software Engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Lau, Kung-Kiu (Editor ), Banach, Richard (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
Edición:1st ed. 2005.
Colección:Programming and Software Engineering, 3785
Temas:
Software engineering.
Computer science.
Compilers (Computer programs).
Software Engineering.
Computer Science Logic and Foundations of Programming.
Compilers and Interpreters.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares