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