Miscellaneous Software Topics
I will add notes periodically throughout the semester.
Check in here every now and then to see what's new.
Topics from class discussions
Hawthorne effect
Innovations
Requirements
System Design methodologies
Compendium of Readings in Formal Methods
Seven Myths of Formal Methods
Seven More Myths of Formal Methods
Ten Commandments of Formal Methods
C++ resources
C++ style recommendations
Software Specification in Z
Programming by Contract in C++
Hoare Axiomatic Verification
REPEAT loop inference rule derivation
Mills' functional verification method
Axiomatic Specs for Abstract Data Types (ADT)
Verifying ADT implementations
Daistish: Systematic Testing with ADT axioms
Trace Specifications
Topics from general software engineering
Topics from past classes
Topics coming later ...
- Regression testing
- Temporal Logic as specifications
- Trace specifications
- Object Oriented Design
- Design Metrics
- ...