Study of front-end software life cycle techniques and tools. Topics include requirements formulation, requirements analysis, specification languages, logical completeness, internal consistency, executable specifications, and automatic code generation systems. Prereq: CMPS 553. Same as EECE 556.