Algebraic Methodology and Software Technology

Algebraic Methodology and Software Technology
Author :
Publisher : Springer
Total Pages : 556
Release :
ISBN-10 : 9783540454991
ISBN-13 : 3540454993
Rating : 4/5 (91 Downloads)

Book Synopsis Algebraic Methodology and Software Technology by : Teodor Rus

Download or read book Algebraic Methodology and Software Technology written by Teodor Rus and published by Springer. This book was released on 2003-06-26 with total page 556 pages. Available in PDF, EPUB and Kindle. Book excerpt: The AMAST movement was initiated in 1989 with the First International C- ference on Algebraic Methodology and Software Technology (AMAST), held on May 21{23in Iowa City, Iowa,and aimed at setting the development of software technology on a mathematical basis. The virtue of the software technology en- sioned by AMAST is the capability to produce software that has the following properties: (a) it is correct and its correctness can be proved mathematically, (b) it is safe, such that it can be used in the implementation of critical systems, (c) it is portable, i. e. , it is independent of computing platforms and language generations, and (d) it is evolutionary, i. e. , it is self-adaptable and evolves with the problem domain. Ten years later a myriad of workshops, conferences, and researchprogramsthat sharethe goalsof the AMAST movementhaveoccurred. This can be taken as proof that the AMAST vision is right. However, often the myriad of workshops, conferences, and research programs lack the clear obj- tives and the coordination of their goals towards the software technology en- sioned by AMAST. This can be taken as a proof that AMAST is still necessary.


Algebraic Methodology and Software Technology Related Books

Algebraic Methodology and Software Technology
Language: en
Pages: 578
Authors: Charles Rattray
Categories: Computers
Type: BOOK - Published: 2004-06-24 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 10th International Conference on Algebraic Methodology and Software Technology, AMAST 2004, held in Stirli
Algebraic Methodology and Software Technology
Language: en
Pages: 245
Authors: Michael Johnson
Categories: Computers
Type: BOOK - Published: 2011-01-14 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 13th International Conference on Algebraic Methodology and Software Technology, AMAST 2010, held in Lac-Be
Algebraic Methodology and Software Technology
Language: en
Pages: 612
Authors: V.S. Alagar
Categories: Computers
Type: BOOK - Published: 1995-05-21 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume constitutes the proceedings of the 4th International Conference on Algebraic Methodology and Software Technology, held in Montreal, Canada in July 1
Algebraic Methodology and Software Technology
Language: en
Pages: 550
Authors: Helene Kirchner
Categories: Computers
Type: BOOK - Published: 2003-08-02 - Publisher: Springer

DOWNLOAD EBOOK

This volume contains the proceedings of AMAST 2002, the 9th International Conference on Algebraic Methodology and Software Technology, held during September 9�
Algebraic Methodology and Software Technology (AMAST’93)
Language: en
Pages: 429
Authors: Maurice Nivat
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

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 mathem