Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2004

Algebraic Methodology and Software Technology

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

Editors:

  1. Charles Rattray

    1. University of Stirling, Stirling, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Savitri Maharaj

    1. University of Stirling, Stirling

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Carron Shankland

    1. Department of Computing Science and Mathematics, University of Stirling, Stirling, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 3116)

Conference series link(s): AMAST: International Conference on Algebraic Methodology and Software Technology

Conference proceedings info: AMAST 2004.

Sections

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (41 papers)

  1. Front Matter

    PDF

  2. Invited Speakers

    2. A Science of Software Design

      • Don Batory
      Pages 3-18

    3. Glass Box and Black Box Views of State-Based System Specifications

      • Michel Bidoit, Rolf Hennicker
      Pages 19-19

    5. Counting Votes with Formal Methods

      • Bart Jacobs, Engelbert Hubbers, Joseph Kiniry, Martijn Oostdijk
      Pages 21-22

    6. Agent-Oriented Programming: Where Do We Stand?

      • John-Jules Charles Meyer
      Pages 23-26

  3. Contributed Talks

    1. On Guard: Producing Run-Time Checks from Integrity Constraints

      • Michael Benedikt, Glenn Bruns
      Pages 27-41

    2. Behavioural Types and Component Adaptation

      • Antonio Brogi, Carlos Canal, Ernesto Pimentel
      Pages 42-56

    3. Towards Correspondence Carrying Specifications

      • Marius C. Bujorianu, Eerke A. Boiten
      Pages 57-71

    4. Formalizing and Proving Semantic Relations between Specifications by Reflection

      • Manuel Clavel, Narciso Martí-Oliet, Miguel Palomino
      Pages 72-86

    5. Model-Checking Systems with Unbounded Variables without Abstraction

      • Magali Contensin, Laurence Pierre
      Pages 87-101

    6. A Generic Software Safety Document Generator

      • Ewen Denney, Ram Prasad Venkatesan
      Pages 102-116

    7. Linear Temporal Logic and Z Refinement

      • John Derrick, Graeme Smith
      Pages 117-131

    8. Formal JVM Code Analysis in JavaFAN

      • Azadeh Farzan, José Meseguer, Grigore RoÅŸu
      Pages 132-147

    9. Verifying a Sliding Window Protocol in μCRL

      • Wan Fokkink, Jan Friso Groote, Jun Pang, Bahareh Badban, Jaco van de Pol
      Pages 148-163

    10. State Space Reduction for Process Algebra Specifications

      • Hubert Garavel, Wendelin Serwe
      Pages 164-180

    12. A Language for Configuring Multi-level Specifications

      • Gillian Hill, Steven Vickers
      Pages 196-210

    13. Flexible Proof Reuse for Software Verification

      • Chris Hunter, Peter Robinson, Paul Strooper
      Pages 211-225
Back to top

Other Volumes

  1. Algebraic Methodology and Software Technology

Back to top

Keywords

Back to top

Editors and Affiliations

  • University of Stirling, Stirling, UK

    Charles Rattray

  • University of Stirling, Stirling

    Savitri Maharaj

  • Department of Computing Science and Mathematics, University of Stirling, Stirling, UK

    Carron Shankland

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation