Algebraic Methodology and Software Technology: 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings by Charles RattrayAlgebraic Methodology and Software Technology: 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings by Charles Rattray

Algebraic Methodology and Software Technology: 10th International Conference, AMAST 2004, Stirling…

byCharles RattrayEditorSavitri Maharaj

Paperback | June 24, 2004

Pricing and Purchase Info

$159.25 online 
$191.95 list price save 17%
Earn 796 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

committee selected 35 papers to be presented.
Title:Algebraic Methodology and Software Technology: 10th International Conference, AMAST 2004, Stirling…Format:PaperbackDimensions:572 pages, 23.5 × 15.5 × 0.07 inPublished:June 24, 2004Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3540223819

ISBN - 13:9783540223818

Look for similar items by category:

Reviews

Table of Contents

Invited Speakers.- 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?.- Contributed Talks.- 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.- Formal Verification of a Commercial Smart Card Applet with Multiple Tools.- Abstracting Call-Stacks for Interprocedural Verification of Imperative Programs.- Refining Mobile UML State Machines.- Verifying Invariants of Component-Based Systems through Refinement.- Modelling Concurrent Interactions.- Proof Support for RAISE by a Reuse Approach Based on Institutions.- Separate Compositional Analysis of Class-Based Object-Oriented Languages.- Abstract Domains for Property Checking Driven Analysis of Temporal Properties.- Modular Rewriting Semantics of Programming Languages.- Modal Kleene Algebra and Partial Correctness.- Modularity and the Rule of Adaptation.- Modal Abstractions in ?CRL.- Semantics of Plan Revision in Intelligent Agents.- Generic Exception Handling and the Java Monad.- Expressing Iterative Properties Logically in a Symbolic Setting.- Extending Separation Logic with Fixpoints and Postponed Substitution.- A Formally Verified Calculus for Full Java Card.- On Refinement of Generic State-Based Software Components.- Techniques for Executing and Reasoning about Specification Diagrams.- Formalising Graphical Behaviour Descriptions.- Model-Checking Distributed Real-Time Systems with States, Events, and Multiple Fairness Assumptions.