Chapter 1: Formal Requirements and Finite Automata Overview
1.1. Terms
1.2. Finite Automata: The Basics
1.3 Regular Expressions
1.4. Deterministic Finite Automata and Finite State Diagrams
1.5. Nondeterministic Finite Au tomata
1.6. Other Forms of FA
1.7. FA Convers ions and Lower Bounds
1.8. Operations on Regular Requireme nts
1.9. Succinctness of FA
1.10. Specificatio ns as Zipped Requirements
1.11. Finite State Machines
1.12. Normal Form and Minimization of FA and FSMs
Chapter 2: Statecharts
2.1. Transformational vs. Reactive C omponents
2.2. Statecharts in Brief
2.3. A R elated Tool
2.4. Basic Elements of Statecharts
2.5. Code Generation and Scheduling
2.6. Event-Driven S tatecharts, Procedural Statecharts and Mixed Flowcharts and Statecharts< BR id='CRLF'>2.7. Flowcharts inside Statecharts: Workflow within Event-D riven Controllers
2.8. Nonstandard Elements of Statecharts
1.1. Terms
1.2. Finite Automata: The Basics
1.3 Regular Expressions
1.4. Deterministic Finite Automata and Finite State Diagrams
1.5. Nondeterministic Finite Au tomata
1.6. Other Forms of FA
1.7. FA Convers ions and Lower Bounds
1.8. Operations on Regular Requireme nts
1.9. Succinctness of FA
1.10. Specificatio ns as Zipped Requirements
1.11. Finite State Machines
1.12. Normal Form and Minimization of FA and FSMs
Chapter 2: Statecharts
2.1. Transformational vs. Reactive C omponents
2.2. Statecharts in Brief
2.3. A R elated Tool
2.4. Basic Elements of Statecharts
2.5. Code Generation and Scheduling
2.6. Event-Driven S tatecharts, Procedural Statecharts and Mixed Flowcharts and Statecharts< BR id='CRLF'>2.7. Flowcharts inside Statecharts: Workflow within Event-D riven Controllers
2.8. Nonstandard Elements of Statecharts
Share This Book: