AMAST Series in Computing
Managing Editor
T Rus (University of Iowa)
Editorial Board
A Arnold (Université Bordeaux I)
E Astesiano (University of Genova)
A Fleck (University of Iowa)
W F Lawvere (SUNY)
P D Mosses (Aarhus University)
M Nivat (France)
V Pratt (Stanford University)
C Rattray (University of Stirling)
G Scollo (Twente University)
R Wachter (Office of Naval Research)
M Wirsing (University of Passau)
This series is unique in both aim and scope. The aim is to disseminate the
mathematical methodology that can effectively be used as the foundation for
the new software technology, thus making an essential step towards the
technology transfer. Each monograph published in this series will present
the theoretical aspects of the problems approached and will illustrate this
treatment by packages of system software. These packages will provide the
model of software mathematically developed and are supposed to be
immediately usable by the reader, thus targeting the entire community of
computer users. That is, this series will approach the intellectual
substance of the computer science, will contribute to the foundation of
software methodology, and will demonstrate the aspects raised by the
technological transfer. All these are enough reasons to see its volumes in
every personal and public library.
To contribute to this book series, contact editor@worldscientific.com
Published titles
Volume 1
Algebraic Specification Techniques and Tools for Software Development: The Act Approach
I Claßen, H Ehrig & D Wolz
Volume 2
Theories and Experiences for Real-Time System Development
T Rus & C Rattray
Volume 3
Construction and Analysis of Transition Systems with MEC
A Arnold, D Bégay & P Crubillé
Volume 4
An Algebraic Approach to Compiler Design
A Sampaio
Volume 5
Language Prototyping: An Algebraic Specification Approach
A van Deursen, J Heering & P Klint
Volume 6
CafeOBJ Report
The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification
R Diaconescu & K Futatsugi
Volume 7
Formal Models of Computation
The Ultimate Limits of Computing
A C Fleck
Volume 8
Real-Time Systems
Modeling, Design, and Applications
D Ionescu & A Cornell
* Algebraic Methodology And Software Technology