SE 507 (Software Requirements and Specifications), Spring 2009

Syllabus

Homework Assignments

• HW #1: B. Meyer's Specification for Text Formatting
• HW #2: Definition of isSubStringOf() in Predicate Logic
• HW #3: Algebraic Specification

Electronic Handouts

• Introduction to Requirements Management/Engineering
• Notes on Meyer's Formalism in Specifications paper
• Developing Formal Predicates from Informal Statements: A Checklist
• Notes on Chapter 1 of Davis's Just Enough Requirements Management
• Notes on Chapter 2 of Davis's Just Enough Requirements Management
• Notes on Chapter 3 of Davis's Just Enough Requirements Management
• Notes on Jackson's and Zave's Deriving Specifications from Requirements: an Example
• Notes on algebraic specifications
• A case for formal specifications

SWEBOK (Software Engineering Body of Knowledge)

• main web page
• Chapter 2: Software Requirements

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 (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

Alan M. Davis links

• Alan M. Davis's home page
• Alan M. Davis's requirements bibliography

David Harel links

• Statecharts: A Visual Formalism for Complex Systems (original 1987 paper)
• Statecharts in the Making: A Personal Account (retrospective paper on how Harel developed the concept)

Wikipedia Links

• Requirements Analysis
• Requirements Management
• Software Requirements Specification