Algebraic Methodology and Software Technology (AMAST'93): Proceedings of the Third International Conference, University of Twente, Enschede, The Netherlands 21–25 June 1993

M. Nivat (Editor), C. Rattray (Editor), T. Rus (Editor), G. Scollo (Editor)

    Research output: Book/ReportBookAcademic

    54 Downloads (Pure)

    Abstract

    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.
    Original languageEnglish
    Place of PublicationLondon, UK
    PublisherSpringer
    Number of pages416
    ISBN (Electronic)978-1-4471-3227-1
    ISBN (Print)978-3-540-19852-9
    DOIs
    Publication statusPublished - 1993
    Event3rd International Conference on Algebraic Methodology and Software Engineering, AMAST 1993 - Universiteit Twente, Enschede
    Duration: 21 Jun 199325 Jun 1993
    Conference number: 3

    Publication series

    NameWorkshops in computing
    PublisherSpringer
    ISSN (Print)1431-1682

    Keywords

    • Algebraic specification
    • Formal methods
    • Program development
    • Design
    • Functional programming
    • Logic programming
    • Software engineering

    Fingerprint Dive into the research topics of 'Algebraic Methodology and Software Technology (AMAST'93): Proceedings of the Third International Conference, University of Twente, Enschede, The Netherlands 21–25 June 1993'. Together they form a unique fingerprint.

  • Cite this