Course Descriptions
Description
COMS4163: Personal Software Engineering
Prerequisite: COMS 3213
Formal methods for software specification. Program analysis, verification, and testing. Principles of software design. Object-oriented program implementation. Personal software process and product measurements. Program documentation. Software tools. Each student will implement a large application.