Course Information
- Syllabus (Updated for Spring 2024)
- Lectures
- Exams
- Exam 1: Wednesday, Mar 6, 2024 (tentative)
- Exam 2: Wednesday, April 24, 2024
- Homework (Submit assignments via D2L)
- Miniproject (Check D2L for assignments)
- Presentation (April 17, 2024)
-
Presentation
Template(Each group will have 20 minutes: 17 mins + 3 mins Q&A)
- Presentation Tips and Guidelines
Announcements
- (Jan. 3, 2024): 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 More Academic Partner Program has made possible the use of VP-UML at Michigan State University for educational purpose (see email regarding MSU academic licenses).
- Bibliography Citation Format and BibTex Resources
- IEEE Format for citations
- 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