SE 507 (Software Requirements and Specifications), Spring 2008

Syllabus

Class Presentation

• HW #5: Paper Presentation

Homework Assignments

• HW #1: Summaries of Articles
• HW #2: B. Meyer's Specification for Text Formatting
• HW #3: Relations
• HW #4: Equivalence Relations and Alloy

Alloy-related links

• Alloy Home Page
  • Alloy Analyzer 4.0 page
    • New Syntactic Features in Alloy 4
    • Tutorial for Alloy Analyzer 4.0
    • Alloy 4 Tutorial Materials
• Alloy 3.0 Reference Manual
• Alloy (version 4) Quick Guide
• Resources and Additional Materials for Jackson's Software Abstractions book
  • Updates to book for Alloy 4
  • Repository of models from book (Alloy 4)
• Alloy Quantifiers

Michael Jackson links

• Michael Jackson's home page
• papers on Requirements and Specifications
• papers on Problem Frames

David Harel link

• Statecharts: A Visual Formalism for Complex Systems

Electronic Handouts

• Introduction to Requirements Management/Engineering
• Notes on Relations
• Notes on Jackson's and Zave's Deriving Specifications from Requirements: an Example
• Notes on algebraic specifications