UNC-CH COMP 753

Topics in Software Engineering and Programming

Topics from class discussions

Topics upcoming

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