Description |
1 online resource (xvi, 538 pages) : illustrations |
Series |
Lecture notes in computer science, 0302-9743 ; 4700. Festschrift |
|
LNCS sublibrary. SL1, Theoretical computer science and general issues |
|
Lecture notes in computer science ; 4700.
|
|
Lecture notes in computer science. Festschrift.
|
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
|
Contents |
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 |
Analysis |
wiskunde |
|
mathematics |
|
computerwetenschappen |
|
computer sciences |
|
computernetwerken |
|
computer networks |
|
logica |
|
logic |
|
software engineering |
|
Information and Communication Technology (General) |
|
Informatie- en communicatietechnologie (algemeen) |
Notes |
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 |
Bibliography |
Includes bibliographical references and index |
Notes |
English |
|
Print version record |
In |
Springer eBooks |
Subject |
Bjørner, D. (Dines), 1937- -- Congresses
|
|
Zhou, Chaochen, 1937- -- Congresses
|
SUBJECT |
Bjørner, D., 1937- cct |
|
Zhou, Chaochen, 1937- cct |
|
Bjørner, D. (Dines), 1937- fast |
Subject |
Formal methods (Computer science) -- Congresses
|
|
Real-time data processing -- Congresses
|
|
Electronic Data Processing
|
|
Formal methods (Computer science)
|
|
Real-time data processing.
|
|
Informatique.
|
|
Formal methods (Computer science)
|
|
Real-time data processing
|
Genre/Form |
proceedings (reports)
|
|
Festschriften
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Festschriften.
|
|
Actes de congrès.
|
Form |
Electronic book
|
Author |
Bjørner, D. (Dines), 1937-
|
|
Zhou, Chaochen, 1937-
|
|
Jones, C. B. (Cliff B.), 1944-
|
|
Liu, Zhiming, 1961-
|
|
Woodcock, Jim.
|
LC no. |
2007935177 |
ISBN |
9783540752219 |
|
3540752218 |
|
9783540752202 |
|
354075220X |
|
9788354075226 |
|
8354075222 |
|