Design Decisions
In SR, abstraction is performed in units of design decisions
That is, the reader recognizes that the programmer/designer decided to express a design idea using a particular programming construct
Design decisions naturally fall into various categories