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