Srs
Bus Reservation System
Using ATLAS for Performance Tuning and Debugging Sewook Wee and Njuguna Njoroge Computer Systems Laboratory Stanford University .
Ch5: Software Specification. 1 Descriptive specifications Describe desired properties of system Three types:
Using ATLAS for Performance Tuning and Debugging