Algebraic Methodology and Software Technology

AMAST’s goal is to advance awareness of algebraic and logical methodology as part of the fundamental basis of software technology. Then came modular construction of the building, wonderfully carried out by Giuseppe Scollo, Vangalur Alagar, Martin Wirsing, and Michael Johnson, as Program Chairs of the AMAST conferences held between 1993 and 1997. This book constitutes the refereed proceedings of the 7th International Conference on Algebraic Methodology and Software Technology, AMAST'98, held in Amazonia, Brazil in January 1999. The 29 revised full papers presented were carefully selected from a total of 80 submissions. Also included are extended abstracts of six invited survey talks and three system descriptions. The papers span the whole range of algebraic methods in software engineering. Among the topics addressed are algebraic semantics, algebraic specification, model checking, logics for real-time and reactive systems, modal logics, term rewriting, formal verification, process algebras, type systems, etc.