ABSTRACT
Software is useful when it satises user demand or provides com-mercial value. One chooses an editor (word processor) to store and format words (data), a calculator to compute numeric results and graph functions, and a database to store and retrieve tagged data (customer records…), etc. e use, development, and retention of soware is thus tightly bound to its functionality. e high-level specication of functionality via soware requirements was summarized in Chapter 1. In this chapter, we examine lower-level modeling of functionality, with a focus on execution control.
