Algebraic Methodology and Software Technology

Algebraic Methodology and Software Technology: 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004. ProceedingsAuthor: Charles Rattray, Savitri Maharaj, Carron Shankland Published by Springer Berlin Heidelberg ISBN: 978-3-540-22381-8 DOI: 10.1007/b98770Table 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