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

Topics upcoming


  • 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 ...