Course Information
- Syllabus (Updated for Spring 2023)
- Lectures
- Exams
- Exam 1: Thursday, Mar 2, 2023 (tentative)
- Exam 2: Thursday, April 27, 2023
- Homework (Submit assignments via D2L)
- MiniProject Assignments/Resources (Submit assignments via D2L)
- Presentation (April 25, 2023)
-
Presentation
Template
(Updated April 12th, 2023) - Presentation Tips and Guidelines
Announcements
- (April 11, 2023): State diagrams and security requirements in SRS are extra credit.
- (Jan. 4, 2023): In-class participation requires students to have camera and microphone
Administrative Information
- MSU Virtual Backgrounds: Virtual Backgrounds created by College of Engineering staff
- Modeling Resources
-
Visual Paradigm for UML Modeling and MoreInstallation path for Apple Silicon
Academic Partner Program has made possible the use of VP-UML at Michigan State University for educational purpose (see email regarding MSU academic licenses).
- BibTex Resources
- General Information about using BibTeX
- Web-based interface for creating BibTeX entries
- Specific instructions for creating BibTeX entry for website.
- LaTeX Resources: Structured, ASCII-based approach to formatting scientific papers.
Useful Links
- High-Assurance Systems
- Requirements Engineering
- Four Dark Corners of Requirements Engineering
- Requirements Engineering Chapter J. Atlee
- KAOS Tutorial
- NFR Overview
- OOA and Goal Modeling
- IEEE Software Requirements Specification Template (SRS)
- Design Pattern Resources
- Hillside Collection of Patterns
- Embedded Systems Design Patterns
- Real-time Design Patterns by Bruce Powel Douglass
- Aspect Orientation Resources
- Security Pattern Resources