53 multi function multicolor tables
54 case study : dell keyboard checking tool
55 this mathematical expressin documents the behavior
56 keyboard checker : tabular expressin
57 more real world I
58 more real world II
59 no theoretical advantage
60 application of functional documentation
61preparing for change
62 don't use change as an excuse
63 advantages over other "formal" approaches
64 why it works in practice
65 educational implications