Table of contents

  1. Front Matter
  2. Slim Ben Lamine, John Plaice
    Pages 1-15
  3. Yves Bertot
    Pages 16-29
  4. Stephen L. Bloom, Anna Labella, Zoltán ésik, Ernest G. Manes
    Pages 30-44
  5. Glenn Bruns, Ian Sutherland
    Pages 45-59
  6. Bettina Buth, Michel Kouvaras, Jan Peleska, Hui Shi
    Pages 60-74
  7. Pietro Cenciarelli, Alexander Knapp, Bernhard Reus, Martin Wirsing
    Pages 75-90
  8. Maura Cerioli, Anne Haxthausen, Bernd Krieg-Brückner, Till Mossakowski
    Pages 91-107
  9. Antonio Cerone, George J. Milne
    Pages 108-122
  10. Martin de Groot, Ken Robinson
    Pages 155-169
  11. Grit Denker, Jaime Ramos, Carlos Caleiro, Amílcar Sernadas
    Pages 170-184
  12. Xiaoqun Du, Kevin T. McDonnell, Evangelos Nanos, Y. S. Ramakrishna, Scott A. Smolka
    Pages 185-198
  13. R. B. France, J. -M. Bruel, M. M. Larrondo-Petrie, E. Grant
    Pages 216-230
  14. Roberto Giacobazzi, Francesco Ranzato
    Pages 231-245

Other volumes

  1. 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97 Palma, Mallorca, Spain, May 21–23, 1997 Proceedings
  2. Algebraic Methodology and Software Technology
    6th International Conference, AMAST'97 Sydney, Australia, December13–17, 1997 Proceedings

About these proceedings


This book constitutes the refereed proceedings of the 6th International Conference on Algebraic Methodology and Software Engineering, AMAST'97, held in Sydney, Australia, in December 1997. The volume presents 48 revised full papers selected from an unusually high number of submissions. One of the outstanding features of AMAST is its mix of serious mathematical development of formal methods in software engineering with practical concerns, tools, case studies, and industrial development. The volume addresses all current aspects of formal methods in software engineering and programming methodology, with a certain emphasis on algebraic and logical foundations.


Attribut Bisimulation CAM Processing design formal method formal verification modeling programming real-time semantics simulation software engineering validation verification

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag 1997
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-63888-9
  • Online ISBN 978-3-540-69661-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Energy, Utilities & Environment