This preview has intentionally blurred sections. Sign up to view the full version.View Full Document
Unformatted text preview: Goals of Software Design b Correctness o Satisfy the requirements for the application b Robustness o A design or implementation is able to handle miscellaneous and unusual conditions o Bad data, user error, programmer error and environmental conditions b Flexibility b Reusability b Efficiency o Create designs and implementations that are as fast as required and which make use of no more than the available memory b Reliability Programming Conventions: Method Documentation b Preconditions : conditions on non-local variables that the method’s code assumes o Includes parameters o Verification of these conditions not promised in method itself b Postconditions : value of non-local variables after execution o Includes parameters o Notation: x' denotes the value of variable x after execution Return : o What the method returns B Known issues : o Honest statement of what has to be done, defects that have not been repaired etc....
View Full Document
This note was uploaded on 01/17/2012 for the course GCIS 518 taught by Professor Tang during the Spring '10 term at Gannon.
- Spring '10