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

Charles Rattray

Books by Charles Rattray (50 max)

Disputatio medica inauguralis de hydatidum natura, causis, effectibus, et cura ...

Specification and Verification of Concurrent Systems

Algebraic specification for practical software production

Algebraic Methodology and Software Technology: 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings (Lecture Notes in Computer Science)

Rationalist Traces (Architectural Design)

Geurst & Schulze Architecten, Den Haag

Topical Building: Hugh Cullum Architects