Integrated Formal Methods 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Romijn, Judi M.T (Editor ), Smith, Graeme P. (Editor ), van de Pol, Jaco C. (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, 3771
Temas:
Computer science.
Compilers (Computer programs).
Software engineering.
Computer programming.
Theory of Computation.
Computer Science Logic and Foundations of Programming.
Compilers and Interpreters.
Software Engineering.
Programming Techniques.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Invited Papers
  • A Family of Mathematical Methods for Professional Software Documentation
  • Generating Path Conditions for Timed Systems
  • Software Model Checking: Searching for Computations in the Abstract or the Concrete
  • Session: Components
  • Adaptive Techniques for Specification Matching in Embedded Systems: A Comparative Study
  • Session: State/Event-Based Verification
  • State/Event Software Verification for Branching-Time Specifications
  • Exp.Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-The-Fly Verification Methods
  • Chunks: Component Verification in CSP ? B
  • Session: System Development
  • Agile Formal Method Engineering
  • An Automated Failure Mode and Effect Analysis Based on High-Level Design Specification with Behavior Trees
  • Enabling Security Testing from Specification to Code
  • Session: Applications of B
  • Development of Fault Tolerant Grid Applications Using Distributed B
  • Formal Methods Meet Domain Specific Languages
  • Synthesizing B Specifications from eb 3 Attribute Definitions
  • Session: Tool Support
  • CZT Support for Z Extensions
  • Embedding the Stable Failures Model of CSP in PVS
  • Model-Based Prototyping of an Interoperability Protocol for Mobile Ad-Hoc Networks
  • Session: Non-software Domains
  • Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS
  • Formalising Interactive Voice Services with SDL
  • Session: Semantics
  • A Fixpoint Semantics of Event Systems With and Without Fairness Assumptions
  • Session: UML and Statecharts
  • Consistency Checking of Sequence Diagrams and Statechart Diagrams Using the ?-Calculus
  • An Integrated Framework for Scenarios and State Machines
  • Consistency in UML and B Multi-view Specifications.

Ejemplares similares