Algebraic Methodology and Software Technology (AMAST’93)

Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, The Netherlands 21–25 June 1993

  • Maurice Nivat
  • Charles Rattray
  • Teodor Rus
  • Giuseppe Scollo
Conference proceedings

Part of the Workshops in Computing book series (WORKSHOPS COMP.)

Table of contents

  1. Front Matter
    Pages i-xiv
  2. Opening Address by the Rector of the University of Twente

    1. Maurice Nivat, Charles Rattray, Teodor Rus, Giuseppe Scollo
      Pages 1-1
  3. Welcoming Address AMAST’93

    1. Maurice Nivat, Charles Rattray, Teodor Rus, Giuseppe Scollo
      Pages 2-2
  4. Invited Papers

    1. Front Matter
      Pages 3-3
    2. Hajnal Andréka, István Németi, Ildikó Sain
      Pages 5-26
    3. Michael Johnson, C. N. G. Dampney
      Pages 45-58
    4. Steve Schneider
      Pages 59-74
    5. Nicolas Halbwachs, Fabienne Lagnier, Pascal Raymond
      Pages 83-96
    6. Roberto Giacobazzi, Giorgio Levi, Saumya K. Debray
      Pages 109-126
  5. Communications

    1. Front Matter
      Pages 127-127
    2. Don Pigozzi, Antonino Salibra
      Pages 129-136
    3. Chris Brink, Katarina Britz, Renate A. Schmidt
      Pages 163-166
    4. R. Berghammer, A. Haeberer, G. Schmidt, P. Veloso
      Pages 167-176
    5. Peter Thiemann
      Pages 185-192
    6. M. Cerioli, G. Reggio
      Pages 201-208
    7. Marisa Navarro, Fernando Orejas, Ana Sánchez
      Pages 209-216
    8. Hartmut Ehrig, Francesco Parisi-Presicce
      Pages 217-224
    9. R. K. Shyamasundar
      Pages 225-236
    10. A. Cornell, J. Knaack, A. Nangia, T. Rus
      Pages 237-244
    11. Ed Brinksma
      Pages 245-252
    12. Khalil Drira, Pierre Azema
      Pages 253-262
    13. E. Battiston, V. Crespi, F. De Cindio, G. Mauri
      Pages 271-280
    14. Roberto Gorrieri, Marco Roccetti
      Pages 289-296
    15. F. Laroussinie, S. Pinchinat, Ph. Schnoebelen
      Pages 297-306
    16. Ismar Neumann Kaufman, Silvio Lemos Meira
      Pages 307-314
    17. Abdelillah Mokkedem, Dominique Méry
      Pages 315-324
    18. N. Sabadini, S. Vigna, R. F. C. Walters
      Pages 325-332
    19. Martin Gogolla, Ingo Claßen
      Pages 359-366
    20. Julio García-Martín, Juan José Moreno-Navarro
      Pages 367-376
    21. Valentin Antimirov, Anatoli Degtyarev
      Pages 377-384
    22. George J. Loegel, C. V. Ravishankar
      Pages 385-392
  6. System Demonstrations

    1. Front Matter
      Pages 401-401
    2. Rudolf Berghammer, Gunther Schmidt
      Pages 403-404
    3. Claudia Hattensperger, Rudolf Berghammer, Gunther Schmidt
      Pages 405-406
    4. Naïma Brown, Dominique Méry
      Pages 407-408
    5. Thony van der Vloedt
      Pages 409-410

About these proceedings


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.


Algebraic Specification Formal Methods Program Development design functional programming logic programming software engineering

Editors and affiliations

  • Maurice Nivat
    • 1
  • Charles Rattray
    • 2
  • Teodor Rus
    • 3
  • Giuseppe Scollo
    • 4
  1. 1.LITP, Université Paris VIIParis-Cedex 05France
  2. 2.Department of Computing ScienceUniversity of StirlingStirlingScotland, UK
  3. 3.Department of Computer ScienceUniversity of IowaIowa CityUSA
  4. 4.Fac. InformaticaUniversity of TwenteEnschedeThe Netherlands

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag London 1994
  • Publisher Name Springer, London
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-19852-9
  • Online ISBN 978-1-4471-3227-1
  • Series Print ISSN 1431-1682
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Energy, Utilities & Environment