CSE490E1: Software quality: Techniques and Tools

Description: It is easy to write a program, but it is difficult to write a correct, reliable program. This course will teach you the latter, from both a theoretical and a practical point of view. The course conveys foundational ideas, such as applying mathematical abstractions to verifying complex software. The course connects these to the real world with concrete advice for improving your programs, and hands-on practice with popular tools that will make you a more thoughtful and effective software designer and tester. A group project will give you experience with tools that automate software development tasks, reducing human effort and improving quality. Prerequisites: CSE 311, CSE 331; CSE 403 is helpful but not required

Prerequisites: CSE 311, CSE 331;
Credits: 4.0

---

Portions of the CSE490E1 web may be reprinted or adapted for academic nonprofit purposes, providing the source is accurately quoted and duly creditied. The CSE490E1 Web: © 1993-2024, Department of Computer Science and Engineering, Univerity of Washington. Administrative information on CSE490E1 (authentication required).