Managing Editor
T Rus (University of Iowa)
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 inevery personal and public library.
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 inevery personal and public library.
To contribute to this book series, contact editor@wspc.com
- Volume 8-Real-Time Systems: Modeling, Design, and Applications
- Volume 7-Formal Models of Computation: The Ultimate Limits of Computing
- Volume 6-Cafeobj Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification
- Volume 5-Language Prototyping: An Algebraic Specification Approach
- Volume 4-An Algebraic Approach to Compiler Design
- Volume 3-Construction and Analysis of Transition Systems with MEC
- Volume 2-Theories and Experiences for Real-Time System Development
- Volume 1-Algebraic Specification Techniques and Tools for Software Development: The Act Approach