Algebraic methodology and software technology : 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004 : proceedings
Guardat en:
| Autor corporatiu: | |
|---|---|
| Altres autors: | , , |
| Format: | Livre numérique |
| Idioma: | Anglais |
| Publicat: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Col·lecció: | Lecture notes in computer science
3116 |
| Matèries: | |
| Accés en línia: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Algebraic methodology and software technology, 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, proceedings, Charles Rattray, Savitri Maharaj, Carron Shankland (eds.), Berlin, Springer, 2004, 1 vol. (XI-569 p.), Lecture notes in computer science, 3-540-22381-9 • Algebraic Methodology and Software Technology, Texte imprimé, 9783662170045 |
Taula de continguts:
- 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.