Location: [CPSC 333] [Course Administration] Calendar Entry
Introduction to software development problems and to the processes and methods used to address them. Goals and methods for requirements analysis and specification, architectural and detailed design, implementation, integration, and testing of software. An introduction to formal methods for software development, and one or more informal methods currently in widespread use.
Prerequisites: Computer Science 331. Philosophy 279 or 377 is highly recommended but not mandatory.