Algebraic Methodology and Software Technology (AMAST’93): Proceedings of the Third International Conference on Algebraic Methodology and Software ... 21–25 June 1993 (Workshops in Computing) - Softcover

 
9783540198529: Algebraic Methodology and Software Technology (AMAST’93): Proceedings of the Third International Conference on Algebraic Methodology and Software ... 21–25 June 1993 (Workshops in Computing)
Softcover
ISBN 10: 3540198520 ISBN 13: 9783540198529
Publisher: Springer, 1993

Synopsis

The goal of the AMAST conferences is to foster algebraic methodology as a foundation for software technology, and to show that this can lead to practical mathematical alternatives to the ad-hoc approaches commonly used in software engineering and development. The first two AMAST conferences, held in May 1989 and May 1991 at the University of Iowa, were well received and encouraged the regular organization of further AMAST conferences on a biennial schedule. The third Conference on Algebraic Methodology and Software Technology was held in the campus of the University of Twente, The Netherlands, during the first week of Summer 1993. Nearly a hundred people from all continents attended the conference. The largest interest received by the AMAST conference among the professionals extended to include the administration organizations as well. AMAST'93 was opened by the Rector of the University of Twente, followed by the Local Chairman. Their opening addresses open this proceedings, too. The proceedings contains 8 invited papers and 32 selected communica­ tions. The selection was very strict, for 121 submissions were received.

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

Product Description

The goal of the AMAST conferences is to foster algebraic methodology as a foundation for software technology, and to show that this can lead to practical mathematical alternatives to the ad-hoc approaches commonly used in software engineering and development. The first two AMAST conferences, held in May 1989 and May 1991 at the University of Iowa, were well received and encouraged the regular organization of further AMAST conferences on a biennial schedule. The third Conference on Algebraic Methodology and Software Technology was held in the campus of the University of Twente, The Netherlands, during the first week of Summer 1993. Nearly a hundred people from all continents attended the conference. The largest interest received by the AMAST conference among the professionals extended to include the administration organizations as well. AMAST'93 was opened by the Rector of the University of Twente, followed by the Local Chairman. Their opening addresses open this proceedings, too. The proceedings contains 8 invited papers and 32 selected communica­ tions. The selection was very strict, for 121 submissions were received.

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

Publisher
Springer
Publication date
1993
Language
English
ISBN 10 
3540198520
ISBN 13 
9783540198529
Binding
Paperback
Number of pages
430
Editor
Nivat Maurice, Rattray Charles, Rus Teodor, Scollo Giuseppe

Other Popular Editions of the Same Title

9783540825982: Algebraic Methodology and Software Technology

Featured Edition

ISBN 10:  3540825983 ISBN 13:  9783540825982
Publisher: Springer, 2008
Softcover