What This Document Is
This document outlines the objectives and key details for CS 477: Formal Software Development Methods, offered at the University of Illinois at Urbana-Champaign. It serves as a comprehensive guide to the course, detailing expectations, grading, and essential resources for students. It’s designed to provide a clear understanding of the course structure and requirements before the semester begins.
Why This Document Matters
This document is crucial for anyone enrolled in or considering enrolling in CS 477. It’s particularly valuable for students seeking clarity on prerequisites, the workload involved, and how their performance will be evaluated. Understanding the course objectives upfront will help students determine if their academic goals align with the course’s focus and prepare accordingly. It’s best reviewed at the start of the semester and referenced throughout as needed.
Topics Covered
* Mathematical foundations for software engineering
* Software specification techniques
* Methods for software verification
* Application of formal methods to practical software development
* Static analysis and model checking principles
* Academic integrity and responsible research conduct
* Project development guidelines (for graduate students)
* Grading policies and expectations for both undergraduate and graduate levels
What This Document Provides
* A detailed breakdown of the course grading scheme, differentiating between undergraduate and graduate student requirements.
* Information on assignment types, including both theoretical and practical components.
* A tentative grading scale to understand performance expectations.
* Contact information for the instructor and teaching assistants, including office hours and email addresses.
* A list of recommended reference materials and resources for further study.
* Details regarding the semester project for graduate students, including abstract requirements and submission deadlines.
* Links to important online resources such as the course website, Gradescope, and Campuswire.
