Formal Methods and Hybrid Real-Time Systems Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Jones, Cliff B. (Editor ), Liu, Zhiming (Editor ), Woodcock, Jim (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
Edición:1st ed. 2007.
Colección:Theoretical Computer Science and General Issues, 4700
Temas:
Software engineering.
Computer science.
Computer engineering.
Computer networks .
Machine theory.
Software Engineering.
Computer Science Logic and Foundations of Programming.
Computer Engineering and Networks.
Formal Languages and Automata Theory.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Models and Software Model Checking of a Distributed File Replication System
  • From "Formal Methods" to System Modeling
  • A Denotational Semantics for Handel-C
  • Generating Polynomial Invariants with DISCOVERER and QEPCAD
  • Harnessing rCOS for Tool Support -The CoCoME Experience
  • Automating Verification of Cooperation, Control, and Design in Traffic Applications
  • Specifying Various Time Models with Temporal Propositional Variables in Duration Calculus
  • Relating Domain Concepts Intensionally by Ordering Connections
  • Programmable Messaging for Electronic Government - Building a Foundation
  • Balancing Insight and Effort: The Industrial Uptake of Formal Methods
  • Proving Theorems About JML Classes
  • Specification for Testing
  • Semantics and Verification of a Language for Modelling Hardware Architectures
  • A Domain-Oriented, Model-Based Approach for Construction and Verification of Railway Control Systems
  • Compensable Programs
  • Deriving Specifications for Systems That Are Connected to the Physical World
  • Engineering the Development of Embedded Systems
  • Design Verification Patterns
  • On Revival of Algol-Concepts in Modern Programming and Specification Languages
  • Design in CommUnity with Extension Morphisms
  • Symbolic Test Generation Using a Temporal Logic with Constrained Events
  • Expansive-Bisimulation for Context-Free Processes
  • VDM Semantics of Programming Languages: Combinators and Monads
  • Formal Approach to Railway Applications
  • Services as a Paradigm of Computation.

Ejemplares similares