Recent Trends in Algebraic Development Techniques: 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers: 3423 (Lecture Notes in Computer Science, 3423) - Softcover

 
9783540253273: Recent Trends in Algebraic Development Techniques: 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers: 3423 (Lecture Notes in Computer Science, 3423)
Softcover
ISBN 10: 3540253270 ISBN 13: 9783540253273
Publisher: Springer, 2005

Synopsis

This volume contains selected papers from WADT 2004, the 17th International Workshop on Algebraic Development Techniques. Like its predecessors, WADT 2004 focussed on the algebraic approach to the speci?cation and development of systems, an area that was born around the algebraic speci?cation of abstract data types and encompasses today the formal design of software systems, new speci?cation frameworks and a wide range of application areas. WADT 2004 took place at the Technical University of Catalonia (UPC), Barcelona, Spain, on 27-29 March 2004, and was organized by Fernando Orejas and Jordi Cortadella. ´ The program consisted of invited talks by Luis Caires (Universidade Nova de Lisboa, Portugal) and Reiko Heckel (University of Paderborn, Germany), and 33 presentations describing ongoing research on main topics of the workshop: formal methods for system development, speci?cation languages and methods, systems and techniques for reasoning about speci?cations, speci?cation devel- ment systems, methods and techniques for concurrent, distributed and mobile systems, and algebraic and co-algebraic foundations.

"synopsis" may belong to another edition of this title.

Synopsis

This book constitutes the thoroughly refereed postproceedings of the 17th International Workshop on Algebraic Development Techniques, WADT 2004, held in Barcelona, Spain in March 2004.The 14 revised full papers presented together with an invited paper were carefully selected during two rounds of reviewing and improvement. Among the topics addressed are formal methods for system development; specification languages and methods; systems and techniques for reasoning about specifications; specification development systems; methods and techniques for concurrent, distributed, and mobile systems; and algebraic and co-algebraic foundations.

"About this title" may belong to another edition of this title.

Publisher
Springer
Publication date
2005
Language
English
ISBN 10 
3540253270
ISBN 13 
9783540253273
Binding
Paperback
Number of pages
288
Editor
Fiadeiro José Luiz, Mosses Peter, Orejas Fernando