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
  15. Piergiulio Katis, N. Sabadini, R. F. C. Walters
    Pages 307-321
  16. Piergiulio Katis, N. Sabadini, R. F. C. Walters
    Pages 322-336
  17. Nicole Lévy, Jeanine Souquières
    Pages 351-364
  18. Sébastien Limet, Frédéric Saubion
    Pages 365-379
  19. A. Lopes, J. L. Fiadeiro
    Pages 380-394
  20. Joachim Parrow, Björn Victor
    Pages 409-423
  21. Frank Piessens, Eric Steegmans
    Pages 424-436
  22. Sreeranga P. Rajan, Masahiro Fujita
    Pages 437-450
  23. Arno Schönegge
    Pages 451-464
  24. Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro
    Pages 465-478
  25. Carron Shankland, Muffy Thomas
    Pages 479-493
  26. Martin Simons, Michel Sintzoff
    Pages 494-508
  27. Alastair Telford, David Turner
    Pages 509-523
  28. Irek Ulidowski, Shoji Yuen
    Pages 524-538
  29. Farn Wang, Pao-Ann Hsiung
    Pages 539-553
  30. J. J. Almeida, L. S. Barbosa, F. L. Neves, J. N. Oliveira
    Pages 554-559
  31. Bettina Buth
    Pages 560-562
  32. Antonio Cerone, Alex J. Cowie, George J. Milne
    Pages 563-564
  33. Rowan Davies
    Pages 565-566
  34. Jim Grundy, Thomas Långbacka
    Pages 567-571
  35. M. A. Ozols, K. A. Eastaughffe, A. Cant
    Pages 574-575
  36. Ken Robinson
    Pages 576-580
  37. Teodor Rus, Tom Halverson, Eric Van Wyk, Robert Kooima
    Pages 581-585
  38. Owen Traynor, Dan Hazel, Peter Kearney, Andrew Martin, Ray Nickson, Luke Wildman
    Pages 586-591
  39. Back Matter

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 Berlin Heidelberg 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
  • Buy this book on publisher's site