Course Information
- Syllabus
- Lectures (Updated April 5, 2018)
- Exams
- Exam 1: Thurs, Mar 1, 2018
- Exam 2: Thurs., May 3, 2018 (5:45-7:45 pm)
-
Homework (updated Mar. 21, 2018)
- Miniproject
-
MiniProject
(Due April 24, 2018)
Announcements
Administrative Information
- Background Survey
- Modeling Resources
- 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