Title: Algebraic Methodology and Software Technology
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>
Subjects: Congresses, Software engineering, Abstract data types (Computer science)