CE/CS/SE 3354: Software Engineering

This course will cover basic background and concepts in traditional software engineering.
In addition, the course will cover various practical tools and frameworks in modern software development.
Finally, the course will also introduce recent advances in software analysis, testing and verification.