Formal Methods and Hybrid Real-Time Systems Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Jones, Cliff B. (Επιμελητής έκδοσης), Liu, Zhiming (Επιμελητής έκδοσης), Woodcock, Jim (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
• Σειρά: Lecture Notes in Computer Science, 4700
• Θέματα: Computer science.; Computer organization.; Software engineering.; Computer logic.; Mathematical logic.; Computer Science.; Software Engineering/Programming and Operating Systems.; Software Engineering.; Logics and Meanings of Programs.; Computer Systems Organization and Communication Networks.; Mathematical Logic and Formal Languages.

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

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