Login

  • Free

Getting Level of Specification Right

  • Course
  • 12 Lessons

Buy now

Contents

Lesson

What's Wrong with This Spec?
  • 2 mins
  • 207 MB
Using Swim Lanes
  • 2 mins
  • 146 MB
What is a State?
  • 1 min
  • 117 MB
Moore and Mealy
  • 1 min
  • 129 MB
Example: States of the Keypad
  • 2 mins
  • 267 MB
Example: States of a Database
  • 2 mins
  • 180 MB
ATM with Swim Lanes
  • 4 mins
  • 304 MB
Infinite Input States
  • 2 mins
  • 128 MB

Extras

How ATMs Work (basic)
    How ATMs Work (advanced)
      Hackers Crack an ATM in Seconds
        Automated Attack Synthesis by Extracting Finite State Machines from Protocol Specification Documents