10. Appendix: Course Syllabi
These are the official course syllabi for the most recent section(s) of this course.
10.1. Course: COMP 335/488 Formal Methods in Software Engineering
10.2. Sections: 335-001/488-001 Spring 2024
General format:
This is a on-campus, face-to-face class involving lectures, group activities, etc.
To earn points for group activities or other in-class activities, you are required to participate in class or make up for the work outside of class.
Estimated workload: 9 to 12 hours per week including class time.
Class time and location (spring 2024): Tue 16:15-18:45 in IES 123 (LSC)
Communication: All communication regarding this class takes place in the classroom (verbal) and MS Teams (written). Most will be in the team-level channel specific to this term. For individual or group-level concerns, you may use direct individual or group messages in MS Teams; my user ID is klaufer@luc.edu. (To help me prioritize your class-related communication, please DO NOT use email!)
Instructor: Konstantin Läufer | GitHub | Google Scholar | Rate My Prof
TA: Haosen Han
Office hours:
Tue 18:50-19:30 after class in IES 123
Wed 13:00-15:00 and Fri 14:00-15:45 in Doyle Hall 203 (LSC) or online (by appointment via Calendly)
TA office hours Mon and Thu 15:00-16:00 in Doyle Hall 011 (garden level)
Required materials:
Additional resources: Appendix: Additional Resources
Grading:
Additive point system (tentative):
18 points: quizzes 1-3 6 each
24 points: two tests, 12 each
3 individual project 0a
5 individual project 0b
10 individual project 1
12 individual project 2
18 group project 3
12 points: two group activities, 6 each
5 points: individual or group presentation on a topic to be discussed (required for grad students, extra credit for undergrad students)
5 points: participation (in-class and online, including announcements of and reports from relevant professional events, GitHub issues and PRs for course examples, etc.)
5 points: starting baseline for undergrads
1 point extra credit: submission of course evaluation (submit screenshot of confirmation of submission)
(Percentage effort on each group project will be measured by an end-of-term questionnaire. Group project grades and/or final course grades may be adjusted to account for significant discrepancies in effort among group members.)
Max total: 112 points plus extra credit
Grading schema (in points):
A 100 points
A- 96
B+ 92
B 88
B- 84
C+ 80
C 75
C- 70
D+ 65
D 60
F < 60
MS Team (mandatory subscription and participation)
- Important dates (tentative) for quizzes and tests
Week 5 - Tue 13 February: quiz 0
Week 7 - Tue 27 February: test 1
Week 8 - Tue 5 February: NO CLASS (spring break)
Week 10 - Tue 19 March: quiz 1
Week 11 - Fri 29 March: last day to withdraw with W instead of WF
Week 12 - Fri 2 April: test 2
Week 16 (finals week) - Tue 30 April: quiz 2 followed by class session
- Recording of class meetings
In this class, software may be used to record live class discussions. As a student in this class, your participation in live class discussions will be recorded. These recordings will be made available only to students enrolled in the class, to assist those who cannot attend the live session or to serve as a resource for those who would like to review content that was presented. All recordings will become unavailable to students in the class when the course has concluded. The use of all video recordings will be in keeping with the University Privacy Statement shown below.
- Privacy Statement
Assuring privacy among faculty and students engaged in online and face-to-face instructional activities helps promote open and robust conversations and mitigates concerns that comments made within the context of the class will be shared beyond the classroom. As such, recordings of instructional activities occurring in online or face-to-face classes may be used solely for internal class purposes by the faculty member and students registered for the course, and only during the period in which the course is offered. Students will be informed of such recordings by a statement in the syllabus for the course in which they will be recorded. Instructors who wish to make subsequent use of recordings that include student activity may do so only with informed written consent of the students involved or if all student activity is removed from the recording. Recordings including student activity that have been initiated by the instructor may be retained by the instructor only for individual use.
10.3. Sections: 335-001/488-335 Fall 2022
General format:
This is a on-campus, face-to-face class involving lectures, group activities, etc.
I will make an effort to record all lectures for later viewing through Sakai/Panopto. In addition, some prerecorded videos are available through Panopto.
To earn points for group activities or other in-class activities, you are required to participate in class or make up for the work outside of class.
Estimated workload: 9 to 12 hours per week including class time.
Class time and location (fall 2022): Thu 16:15-18:45 in Cuneo Hall 104, LSC
Communication: All communication regarding this class takes place in the classroom (verbal) and MS Teams (written). Most will be in the team-level channel specific to this term. For individual or group-level concerns, you may use direct individual or group messages in MS Teams; my user ID is klaufer@luc.edu. (To help me prioritize your class-related communication, please DO NOT use email!)
Instructor: Konstantin Läufer | GitHub | Google Scholar | Rate My Prof
TA: Victor Rakotondranoro
Office hours:
Tue 18:45-19:15 in Cuneo Hall 103 (after class, no appointment required)
Thu 18:45-18:55 in Cuneo Hall 104 (after class, no appointment required)
Wed and Fri 13:30-15:30 in Doyle Hall 203 or online (by appointment via Calendly)
TA office hours TBD
Required materials:
Additional resources: Appendix: Additional Resources
Grading:
Additive point system (tentative):
18 points: quizzes 1-3 6 each
24 points: two tests, 12 each
3 individual project 0a
5 individual project 0b
10 individual project 1
12 individual project 2
18 group project 3
12 points: two group activities, 6 each
5 points: individual or group presentation on a topic to be discussed (required for grad students, extra credit for undergrad students)
5 points: participation (in-class and online, including announcements of and reports from relevant professional events, GitHub issues and PRs for course examples, etc.)
5 points: starting baseline for undergrads
1 point extra credit: submission of course evaluation (submit screenshot of confirmation of submission)
(Percentage effort on each group project will be measured by an end-of-term questionnaire. Group project grades and/or final course grades may be adjusted to account for significant discrepancies in effort among group members.)
Max total: 112 points plus extra credit
Grading schema (in points):
A 100 points
A- 96
B+ 92
B 88
B- 84
C+ 80
C 75
C- 70
D+ 65
D 60
F < 60
MS Team (mandatory subscription and participation)
Important dates (tentative) for quizzes and tests:
Week 5 - Thu 29 September: quiz 1
Week 8 - Thu 20 October: test 1
Week 10 - Thu 3 November: quiz 2
Week 11 - Fri 4 November: last day to withdraw with W instead of WF
Week 12 - Thu 17 November: test 2
Week 13 - Thu 24 November: NO CLASS (Thanksgiving break)
Week 16 (finals week) - Thu 15 December: quiz 3 followed by class session
Recording of class meetings: In this class, software will be used to record live class discussions. As a student in this class, your participation in live class discussions will be recorded. These recordings will be made available only to students enrolled in the class, to assist those who cannot attend the live session or to serve as a resource for those who would like to review content that was presented. All recordings will become unavailable to students in the class when the course has concluded. The use of all video recordings will be in keeping with the University Privacy Statement shown below.
Privacy Statement: Assuring privacy among faculty and students engaged in online and face-to-face instructional activities helps promote open and robust conversations and mitigates concerns that comments made within the context of the class will be shared beyond the classroom. As such, recordings of instructional activities occurring in online or face-to-face classes may be used solely for internal class purposes by the faculty member and students registered for the course, and only during the period in which the course is offered. Students will be informed of such recordings by a statement in the syllabus for the course in which they will be recorded. Instructors who wish to make subsequent use of recordings that include student activity may do so only with informed written consent of the students involved or if all student activity is removed from the recording. Recordings including student activity that have been initiated by the instructor may be retained by the instructor only for individual use.