Buch, Englisch, Band 3116, 572 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 1800 g
10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings
Buch, Englisch, Band 3116, 572 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 1800 g
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-540-22381-8
Verlag: Springer Berlin Heidelberg
committee selected 35 papers to be presented.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
- Mathematik | Informatik EDV | Informatik Informatik Künstliche Intelligenz Wissensbasierte Systeme, Expertensysteme
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Programmierung: Methoden und Allgemeines
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Software Engineering Objektorientierte Softwareentwicklung
- Mathematik | Informatik EDV | Informatik Informatik Logik, formale Sprachen, Automaten
Weitere Infos & Material
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.
