Algebraic Methodology and Software Technology

6th International Conference, AMAST'97 Sydney, Australia, December13–17, 1997 Proceedings

Editors:

ISBN: 978-3-540-63888-9 (Print) 978-3-540-69661-2 (Online)

Table of contents (47 chapters)

previous Page of 3
  1. No Access

    Book Chapter

    Pages 1-15

    Software configuration with information systems

  2. No Access

    Book Chapter

    Pages 16-29

    Head-tactics simplification

  3. No Access

    Book Chapter

    Pages 30-44

    Iteration 2-theories: Extended Abstract

  4. No Access

    Book Chapter

    Pages 45-59

    Model checking and fault tolerance

  5. No Access

    Book Chapter

    Pages 60-74

    Deadlock analysis for a fault-tolerant system

  6. No Access

    Book Chapter

    Pages 75-90

    From sequential to multi-threaded Java: An event-based operational semantics

  7. No Access

    Book Chapter

    Pages 91-107

    Permissive subsorted partial logic in CASL

  8. No Access

    Book Chapter

    Pages 108-122

    Specification of timing constraints within the circal process algebra

  9. No Access

    Book Chapter

    Pages 123-137

    On the specification and verification of performance properties for a timed process algebra

  10. No Access

    Book Chapter

    Pages 138-154

    Abstract interpretation of algebraic polynomial systems (Extended abstract)

  11. No Access

    Book Chapter

    Pages 155-169

    Modular refinement and model building

  12. No Access

    Book Chapter

    Pages 170-184

    A linear temporal logic approach to objects with transactions

  13. No Access

    Book Chapter

    Pages 185-198

    Software design, specification, and verification: Lessons learned from the Rether case study

  14. No Access

    Book Chapter

    Pages 199-215

    Refinement rules for real-time multi-tasking programs

  15. No Access

    Book Chapter

    Pages 216-230

    Rigorous object-oriented modeling: Integrating formal and informal notations

  16. No Access

    Book Chapter

    Pages 231-245

    Completeness in abstract interpretation: A domain perspective

  17. No Access

    Book Chapter

    Pages 246-260

    Floating point verification in HOL light: The exponential function

  18. No Access

    Book Chapter

    Pages 261-275

    Verification of distributed real-time and fault-tolerant protocols

  19. No Access

    Book Chapter

    Pages 276-291

    Invariants, bisimulations and the correctness of coalgebraic refinements

  20. No Access

    Book Chapter

    Pages 292-306

    On bisimulation, fault-monotonicity and provable fault-tolerance

previous Page of 3