Title: Algebraic methodology and software technology
Description: 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>
Subjects: Congresses, Software engineering, Abstract data types (Computer science)