Algebraic Methodology and Software Technology
Subtitle: 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings (Lecture Notes in Computer Science)
Contributors: Charles Rattray (Editor); Savitri Maharaj (Editor)
Edition: 1 edition
Publisher: Springer
Published: August 5, 2004
Language: eng
Format: Paperback
Number of pages: 569
ISBN-13: 9783540223818
Subjects: Computer Programming; Computers - General Information; Computer Books: General; Computers; Software engineering; Programming - Software Development; Congresses; Computer Science; Logic Design; Computers / Logic Design; Abstract data types (Computer science); Abstract data types (Computer
First sentence: A common technique for solving programming problems is to express the problem in terms of solving a system of so-called "simultaneous" equations (a collection of equations in a number of unknowns that are often mutually recursive).
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>