UNC-CH COMP 753
Topics in Software Engineering and Programming
Topics from class discussions
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 coming later ...
- Regression testing
- Temporal Logic as specifications
- Trace specifications
- Design Metrics
- ...