Algebraic Methodology and Software Technology (AMAST’93)

Algebraic Methodology and Software Technology (AMAST’93)

4.11 - 1251 ratings - Source

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.World Scientific Publishing, 1993. [6] H. Ehrig, W. ... Rapid Prototyping for Algebraic Specifications - RAP-System Usera#39;s Manual. Report MIP ... Manual. Technical Report 91/03, Computer Science Department, University of SaabrA¼cken, 1991anbsp;...


Title:Algebraic Methodology and Software Technology (AMAST’93)
Author: Maurice Nivat, Charles Rattray, Teodor Rus, Giuseppe Scollo
Publisher:Springer Science & Business Media - 2012-12-06
ISBN-13:

You must register with us as either a Registered User before you can Download this Book. You'll be greeted by a simple sign-up page.

Once you have finished the sign-up process, you will be redirected to your download Book page.

How it works:
  • 1. Register a free 1 month Trial Account.
  • 2. Download as many books as you like (Personal use)
  • 3. Cancel the membership at any time if not satisfied.


Click button below to register and download Ebook
Privacy Policy | Contact | DMCA