After Mid Chapter 9 Requirement modeling and analysis