COSC 512 - Software Engineering & Formal Methods

Three hours.
3 Credits

State-of-the-art software engineering is a well-planned blend of agile development with plan-driven development. Software projects success depend not only on technical expertise but also require determine what clients want/need, collaborating in a team, complexity management, mitigating risks, meeting time and budget constraints, post deployment services, compete with potential competitors in the market, and several other human components. This course introduces these components broadly covering the fundamentals of modern software engineering according to software development life cycle (SDLC) and formal methods with learning by doing.

Offered (FALL OR SPRING)
Contact Hours 3