Algebraic methodology and software technology : 8th international conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000 : proceedings

Algebraic Methodology and Software Technology: 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20–27, 2000 Proceedings
Author: Teodor Rus
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-67530-3
DOI: 10.1007/3-540-45499-3

Table of Contents:

• Invited Talk: A Software Engineering Program of Lasting Value (Abstract)
• Invited Talk: Weaving Formal Methods into the Undergraduate Computer Science Curriculum (Extended Abstract)
• Invited Talk: Making Mathematical Methods More Practical for Software Developers (Abstract)
• Step by Step to Histories
• Distance Functions for Defaults in Reactive Systems
• Generalizing the Modal and Temporal Logic of Linear Time
• Process Algebra versus Axiomatic Specification of a Real-Time Protocol
• Practical Application of Functional and Relational Methods for the Specification and Verification of Safety Critical Software
• Algebraic State Machines
• Meta Languages in Algebraic Compilers
• Random Access to Abstract Data Types
• A Monad for Basic Java Semantics
• A Global Semantics for Views
• Analysis of Downward Closed Properties of Logic Programs
• Invited Talk: ASM Formalware in the Software Engineering Cycle
• Process Calculi for Coordination: From Linda to JavaSpaces
• The Algebra of Multi-tasking
• A Causal Semantics for Timed Default Concurrent Constraint Programming
• Casl-Chart: A Combination of Statecharts and of the Algebraic Specification Language Casl
• Message Authentication through Non Interference

Includes bibliographical references and index