Transformation-Based Reactive Systems Development

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 What was Llull up to?
3. Altmetric Badge
   Chapter 2 Llull as computer scientist or why Llull was one of us
4. Altmetric Badge
   Chapter 3 Deductive verification of real-time systems using STeP
5. Altmetric Badge
   Chapter 4 Refinement of Time
6. Altmetric Badge
   Chapter 5 The verus language: Representing time efficiently with BDDs
7. Altmetric Badge
   Chapter 6 Refining interval temporal logic specifications
8. Altmetric Badge
   Chapter 7 Integrating temporal logics and model checking algorithms
9. Altmetric Badge
   Chapter 8 PLC-automata: A new class of implementable real-time automata
10. Altmetric Badge
    Chapter 9 Communication concepts for statecharts: A semantic foundation
11. Altmetric Badge
    Chapter 10 Regular processes and timed automata
12. Altmetric Badge
    Chapter 11 A visual formalism for real time requirement specifications
13. Altmetric Badge
    Chapter 12 Formal specification and verification method of concurrent and distributed systems by restricted timed automata
14. Altmetric Badge
    Chapter 13 Transformational formal development of real-time systems
15. Altmetric Badge
    Chapter 14 A transformation of monitor into communication synchronized parallel processes: A systematic refinement step in design
16. Altmetric Badge
    Chapter 15 Contracts for ODP
17. Altmetric Badge
    Chapter 16 Affine transformations in Signal and their application in the specification and validation of real-time systems
18. Altmetric Badge
    Chapter 17 Action-based concurrency and synchronization for objects
19. Altmetric Badge
    Chapter 18 Communication Extended Abstract Types in the refinement of parallel communicating processes
20. Altmetric Badge
    Chapter 19 Verification and refinement of distributed programs in a fair framework
21. Altmetric Badge
    Chapter 20 Formalizing real-time scheduling as program refinement
22. Altmetric Badge
    Chapter 21 Specification and refinement of continuous real-time systems
23. Altmetric Badge
    Chapter 22 High-level execution time analysis
24. Altmetric Badge
    Chapter 23 A sound and complete proof system for probabilistic processes
25. Altmetric Badge
    Chapter 24 Testing semantics for a probabilistic-timed process algebra
26. Altmetric Badge
    Chapter 25 Denotational semantics for timed testing
27. Altmetric Badge
    Chapter 26 Extending LOTOS with time: A true concurrency perspective
28. Altmetric Badge
    Chapter 27 Introduction of a suspend/resume operator in ET-LOTOS
29. Altmetric Badge
    Chapter 28 Specification and verification of a real-time field bus with formal description languages