Vai al contenuto principale della pagina
Titolo: |
Formal Methods and Hybrid Real-Time Systems [[electronic resource] ] : Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays / / edited by Cliff B. Jones, Zhiming Liu, Jim Woodcock
![]() |
Pubblicazione: | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
Edizione: | 1st ed. 2007. |
Descrizione fisica: | 1 online resource (XVI, 542 p.) |
Disciplina: | 004.33 |
Soggetto topico: | 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 | |
Persona (resp. second.): | JonesC. B <1944-> (Cliff B.) |
LiuZhiming <1961-> | |
WoodcockJim | |
Note generali: | Papers presented at a symposium held in Macao, China, Sept. 24-25, 2007 during the course of the International Colloquium on Theoretical Aspects of Computing. |
Nota di bibliografia: | Includes bibliographical references and index. |
Nota di contenuto: | 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. |
Titolo autorizzato: | Formal Methods and Hybrid Real-Time Systems ![]() |
ISBN: | 3-540-75221-8 |
Formato: | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Inglese |
Record Nr.: | 996465958703316 |
Lo trovi qui: | Univ. di Salerno |
Opac: | Controlla la disponibilità qui |