Algebraic Methodology and Software Technology: 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004. Proceedings
Author: Charles Rattray, Savitri Maharaj, Carron Shankland
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-22381-8
DOI: 10.1007/b98770

Table of Contents:

• Algebraic Approaches to Problem Generalisation
  
• A Science of Software Design
  
• Glass Box and Black Box Views of State-Based System Specifications
  
• Abstraction for Safety, Induction for Liveness
  
• Counting Votes with Formal Methods
  
• Agent-Oriented Programming: Where Do We Stand?
  
• On Guard: Producing Run-Time Checks from Integrity Constraints
  
• Behavioural Types and Component Adaptation
  
• Towards Correspondence Carrying Specifications
  
• Formalizing and Proving Semantic Relations between Specifications by Reflection
  
• Model-Checking Systems with Unbounded Variables without Abstraction
  
• A Generic Software Safety Document Generator
  
• Linear Temporal Logic and Z Refinement
  
• Formal JVM Code Analysis in JavaFAN
  
• Verifying a Sliding Window Protocol in μCRL
  
• State Space Reduction for Process Algebra Specifications
  
• A Hybrid Logic of Knowledge Supporting Topological Reasoning
  
• A Language for Configuring Multi-level Specifications
  
• Flexible Proof Reuse for Software Verification
  
• Deductive Verification of Distributed Groupware Systems