Algebraic Methodology and Software Technology

10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004. Proceedings

  • Charles Rattray
  • Savitri Maharaj
  • Carron Shankland
Conference proceedings AMAST 2004
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3116)

Table of contents

  1. Front Matter
  2. Invited Speakers

    1. Don Batory
      Pages 3-18
    2. Michel Bidoit, Rolf Hennicker
      Pages 19-19
    3. Bart Jacobs, Engelbert Hubbers, Joseph Kiniry, Martijn Oostdijk
      Pages 21-22
    4. John-Jules Charles Meyer
      Pages 23-26
  3. Contributed Talks

    1. Michael Benedikt, Glenn Bruns
      Pages 27-41
    2. Antonio Brogi, Carlos Canal, Ernesto Pimentel
      Pages 42-56
    3. Marius C. Bujorianu, Eerke A. Boiten
      Pages 57-71
    4. Manuel Clavel, Narciso Martí-Oliet, Miguel Palomino
      Pages 72-86
    5. Magali Contensin, Laurence Pierre
      Pages 87-101
    6. Ewen Denney, Ram Prasad Venkatesan
      Pages 102-116
    7. John Derrick, Graeme Smith
      Pages 117-131
    8. Azadeh Farzan, José Meseguer, Grigore Roşu
      Pages 132-147
    9. Wan Fokkink, Jan Friso Groote, Jun Pang, Bahareh Badban, Jaco van de Pol
      Pages 148-163
    10. Hubert Garavel, Wendelin Serwe
      Pages 164-180
    11. Gillian Hill, Steven Vickers
      Pages 196-210
    12. Chris Hunter, Peter Robinson, Paul Strooper
      Pages 211-225

About these proceedings

Keywords

Java Unified Modeling Language (UML) algebraic methods algebraic specification calculus correct software design formal method formal methods formal verification mathematical software construction model checking modeling process algebra programming programming calculi

Editors and affiliations

  • Charles Rattray
    • 1
  • Savitri Maharaj
    • 2
  • Carron Shankland
    • 3
  1. 1.University of StirlingStirlingUK
  2. 2.University of StirlingStirling
  3. 3.Department of Computing Science and MathematicsUniversity of StirlingStirlingUK

Bibliographic information

  • DOI https://doi.org/10.1007/b98770
  • Copyright Information Springer-Verlag Berlin Heidelberg 2004
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-22381-8
  • Online ISBN 978-3-540-27815-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book