Book Volume 8051 2013

Theories of Programming and Formal Methods

Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday


ISBN: 978-3-642-39697-7 (Print) 978-3-642-39698-4 (Online)

Table of contents (24 chapters)

previous Page of 2
  1. Front Matter

    Pages -

  2. Chapter

    Pages 1-22

    Set-Theoretic Models of Computations

  3. Chapter

    Pages 23-36

    Model-Based Mutation Testing of Reactive Systems

  4. Chapter

    Pages 37-53

    Pliant Modalities in Hybrid Event-B

  5. Chapter

    Pages 54-66

    A Relational Approach to an Algebraic Community: From Paul Erdős to He Jifeng

  6. Chapter

    Pages 67-81

    Practical Theory Extension in Event-B

  7. Chapter

    Pages 82-99

    Simulink Timed Models for Program Verification

  8. Chapter

    Pages 100-117

    Concept Analysis Based Approach to Statistical Web Testing

  9. Chapter

    Pages 118-135

    Algebraic Program Semantics for Supercomputing

  10. Chapter

    Pages 136-150

    Modeling and Specification of Real-Time Interfaces with UTP

  11. Chapter

    Pages 151-165

    Some Fixed-Point Issues in PPTL

  12. Chapter

    Pages 166-195

    The Value-Passing Calculus

  13. Chapter

    Pages 196-212

    Proving Safety of Traffic Manoeuvres on Country Roads

  14. Chapter

    Pages 213-226

    Generic Models of the Laws of Programming

  15. Chapter

    Pages 227-243

    Ours Is to Reason Why

  16. Chapter

    Pages 244-255

    Optimal Bounds for Multiweighted and Parametrised Energy Games

  17. Chapter

    Pages 256-270

    On the Relationship between LTL Normal Forms and Büchi Automata

  18. Chapter

    Pages 271-284

    Managing Environment and Adaptation Risks for the Internetware Paradigm

  19. Chapter

    Pages 285-303

    Safety versus Security in the Quality Calculus

  20. Chapter

    Pages 304-325

    Invariants Synthesis over a Combined Domain for Automated Program Verification

  21. Chapter

    Pages 326-345

    Slow Abstraction via Priority

previous Page of 2