Integrated Formal Methods
Subtitle: Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings (Lecture Notes in Computer Science)
Contributors: Wolfgang Grieskamp (Editor); Thomas Santen (Editor); Bill Stoddart (Editor)
Edition: 1 edition
Publisher: Springer
Published: November 27, 2000
Language: eng
Format: Paperback
Number of pages: 441
ISBN-13: 9783540411963
Subjects: Mathematical theory of computation; Programming languages; Software engineering; Machine Theory; Congresses; Formal Language Theory; Computers; Computers - General Information; Logic Design; Computer Books: General; Formal methods (Computer science); Programming - General; Computers / Logic Design; Formal Methods; Formal Notations; Formal Specification; Formal Validation; Formal Verification; Mathematics of Program Construction; Program Analysis; Program Semantics; Programmic Logics; Computer Science; Formal methods (Computer scien
First sentence: The Common Framework Initiative (CoFI) [18] is an open collaborative effort to design a common framework for algebraic specifications.
Description: Integrated Formal Methods: Second International Conference, IFM 2000 Dagstuhl Castle, Germany, November 1–3,2000 Proceedings<br />Author: Wolfgang Grieskamp, Thomas Santen, Bill Stoddart<br /> Published by Springer Berlin Heidelberg<br /> ISBN: 978-3-540-41196-3<br /> DOI: 10.1007/3-540-40911-4<br /><br />Table of Contents:<p></p><ul><li>Assertions
</li><li>State-Based Extension of CASL
</li><li>Linking DC Together with TRSL
</li><li>Formalizing Timing Diagrams as Causal Dependencies for Verification Purposes
</li><li>A Process Compensation Language
</li><li>Activity Graphs and Processes
</li><li>Structuring Real-Time Object-Z Specifications
</li><li>ISpec: Towards Practical and Sound Interface Specifications
</li><li>Cooperation of Formal Methods in an Engineering Based Software Development Process
</li><li>Developing Control Systems Components
</li><li>Specification and Analysis of Automata-Based Designs
</li><li>Structural Refinement in Object-Z / CSP
</li><li>Towards a Unified Development Methodology for Shared-Variable Parallel and Distributed Programs
</li><li>Construction of Finite Labelled Transition Systems from B Abstract Systems
</li><li>μ-Charts and Z: Hows, Whys, and Wherefores
</li><li>Combining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Language
</li><li>Why Doesn’t Anyone Use Formal Methods?
</li><li>How to Write a Healthiness Condition
</li><li>A Concurrent and Compositional Petri Net Semantics of Preemption
</li><li>An Approach to Symbolic Test Generation</li></ul>