Algebraic Methodology and Software Technology 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings /
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | , |
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2004.
|
| Έκδοση: | 1st ed. 2004. |
| Σειρά: | Lecture Notes in Computer Science,
3116 |
| Θέματα: | |
| Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- 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.
