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

Rattray, Charles ; Maharaj, Savitri ; Shankland, Carron.

ISBN 10: 3540223819 / ISBN 13: 9783540223818

Editore: Springer Verlag, New York, 2004

Riguardo questo articolo

Hardcover 2004 library bound edition. Ex-library book with stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good condition. Series: Lecture Notes in Computer Science ;3116. [xi, 569 p. : ill. ; 24 cm].

Codice articolo 011866

Dati bibliografici

• Titolo: Algebraic Methodology and Software Technology : 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004 Proceedings
• Editore: Springer Verlag, New York
• Data di pubblicazione: 2004
• Lingua: Inglese
• ISBN 10: 3540223819
• ISBN 13: 9783540223818
• Rilegatura: Hardcover
• Condizione: Very Good
• Condizione della sovraccoperta: No Jacket
• Cataloghi dei venditori:
  • Computer

Descrizione articolo

Riassunto

committee selected 35 papers to be presented.

Contenuti

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.