Advertisement

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
    13. Abdessamad Imine, Pascal Molli, Gérald Oster, Michaël Rusinowitch
      Pages 226-240
    14. Bart Jacobs, Claude Marché, Nicole Rauch
      Pages 241-257
    15. Alexander Knapp, Stephan Merz, Martin Wirsing
      Pages 274-288
    16. Olga Kouchnarenko, Arnaud Lanoix
      Pages 289-303
    17. Juliana Küster-Filipe
      Pages 304-318
    18. Morten P. Lindegaard, Anne E. Haxthausen
      Pages 319-333
    19. José Meseguer, Christiano Braga
      Pages 364-378
    20. Bernhard Möller, Georg Struth
      Pages 379-393
    21. Cees Pierik, Frank S. de Boer
      Pages 394-408
    22. Jaco van de Pol, Miguel Valero Espada
      Pages 409-425
    23. M. Birna van Riemsdijk, John-Jules Charles Meyer, Frank S. de Boer
      Pages 426-442
    24. Lutz Schröder, Till Mossakowski
      Pages 443-459
    25. Carron Shankland, Jeremy Bryans, Lionel Morel
      Pages 460-474
    26. Sun Meng, Luís S. Barbosa
      Pages 506-520
    27. Prasanna Thati, Carolyn Talcott, Gul Agha
      Pages 521-536
    28. Kenneth J. Turner
      Pages 537-552
  4. Back Matter

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