Sequence Enumeration


This presentation summarises the excellent article By Rob Osana, to be found at

http://www.embedded.com/2000/0009/0009feat2.htm

There is a link from the course web page. Any errors in transcription are entirely mine :)

"Sequence enumeration is a technique for analyzing systems. It can be used to turn a complex set of requirements into an easily implemented state machine."  
R. Osana