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, Includes bibliographical references and index