Algebraic Methodology and Software Technology 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings /
Algebraic Methodology and Software Technology 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings / [electronic resource] :
edited by Charles Rattray, Savitri Maharaj.
- 1st ed. 2004.
- XI, 572 p. online resource.
- Lecture Notes in Computer Science, 3116 1611-3349 ; .
- Lecture Notes in Computer Science, 3116 .
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 ofPlan 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.
9783540278153
10.1007/b98770 doi
Software engineering.
Computer science.
Machine theory.
Computer programming.
Computer science--Mathematics.
Software Engineering.
Computer Science Logic and Foundations of Programming.
Formal Languages and Automata Theory.
Programming Techniques.
Symbolic and Algebraic Manipulation.
QA76.758
005.1
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 ofPlan 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.
9783540278153
10.1007/b98770 doi
Software engineering.
Computer science.
Machine theory.
Computer programming.
Computer science--Mathematics.
Software Engineering.
Computer Science Logic and Foundations of Programming.
Formal Languages and Automata Theory.
Programming Techniques.
Symbolic and Algebraic Manipulation.
QA76.758
005.1