Algebraic Methodology and Software Technology
Subtitle: 7th International Conference, AMAST'98, Amazonia, Brazil, January 4-8, 1999, Proceedings (Lecture Notes in Computer Science)
Edition: 1 edition
Publisher: Springer
Published: December 28, 1998
Language: eng
Format: Paperback
Number of pages: 531
ISBN-13: 9783540654629
Subjects: Computer Programming; Programming - Software Development; Congresses; Formal Language Theory; Computers; Computers - Languages / Programming; Programming - General; Computer Books: General; Logic Design; General; Algebraic Methods; Algebraic Specification; Computers / Logic Design; Formal Methods; Program Semantics; Type Systems; Software Engineering; Computer Science; Abstract data types (Computer; Abstract data types (Computer science)
First sentence: Let us consider the following two cases of real-time systems.
Description: Algebraic Methodology and Software Technology: 7th International Conference, AMAST’98 Amazonia, Brazil, January 4–8, 1999 Proceedings<br />Author: Armando M. Haeberer<br /> Published by Springer Berlin Heidelberg<br /> ISBN: 978-3-540-65462-9<br /> DOI: 10.1007/3-540-49253-4<br /><br />Table of Contents:<p></p><ul><li>Duration Calculus, a Logical Approach to Real-Time Systems
</li><li>Abstract Algebraic Logic
</li><li>Systematising Reactive System Design
</li><li>Systematic Design of Call-Coverage Features
</li><li>Visual Abstractions for Temporal Verification
</li><li>A Linear Metalanguage for Concurrency
</li><li>Verification of Bounded Delay Asynchronous Circuits with Timed Traces
</li><li>Verification of Temporal Properties of Processes in a Setting with Data
</li><li>A Logic for Real-Time Systems Specification Its Algebraic Semantics and Equational Calculus
</li><li>Effective Recognizability and Model Checking of Reactive Fiffo Automata
</li><li>Combining Methods for the Livelock Analysis of a Fault-Tolerant System
</li><li>Separating Sets by Modal Formulas
</li><li>Interpolation in Modal Logic
</li><li>Building Models of Linear Logic
</li><li>Term Rewriting in a Logic of Special Relations
</li><li>Abstraction Barriers in Equational Proof
</li><li>A Synergy Between Model-Checking and Type Inference for the Verification of Value-Passing Higher-Order Processes
</li><li>A Trace-Based Refinement Calculus for Shared-Variable Parallel Programs
</li><li>Consistency of Partial Process Specifications
</li><li>Observational Logic</li></ul>