Algebraic methodology and software technology

Algebraic Methodology and Software Technology: 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004. Proceedings<br />Author: Charles Rattray, Savitri Maharaj, Carron Shankland<br /> Published by Springer Berlin Heidelberg<br /> ISBN: 978-3-540-22381-8<br /> DOI: 10.1007/b98770<br /><br />Table of Contents:<p></p><ul><li>Algebraic Approaches to Problem Generalisation </li><li>A Science of Software Design </li><li>Glass Box and Black Box Views of State-Based System Specifications </li><li>Abstraction for Safety, Induction for Liveness </li><li>Counting Votes with Formal Methods </li><li>Agent-Oriented Programming: Where Do We Stand? </li><li>On Guard: Producing Run-Time Checks from Integrity Constraints </li><li>Behavioural Types and Component Adaptation </li><li>Towards Correspondence Carrying Specifications </li><li>Formalizing and Proving Semantic Relations between Specifications by Reflection </li><li>Model-Checking Systems with Unbounded Variables without Abstraction </li><li>A Generic Software Safety Document Generator </li><li>Linear Temporal Logic and Z Refinement </li><li>Formal JVM Code Analysis in JavaFAN </li><li>Verifying a Sliding Window Protocol in μCRL </li><li>State Space Reduction for Process Algebra Specifications </li><li>A Hybrid Logic of Knowledge Supporting Topological Reasoning </li><li>A Language for Configuring Multi-level Specifications </li><li>Flexible Proof Reuse for Software Verification </li><li>Deductive Verification of Distributed Groupware Systems</li></ul>