Prerequisite:  COP 3540 or COP 4534 or equivalent. Topics covered in this course include: methods, techniques, and practices associated with software development that go from elicitation or requirements to the analysis of both the problem and solution domains; formal methods, executable specifications, classical and object-oriented approaches; support tools, and quality assurance practices; team-oriented project using methods, techniques and practices learned.