First Page | Document Content | |
---|---|---|
![]() Date: 2014-01-23 20:24:46Formal methods Logic in computer science Object-oriented programming Postcondition Precondition Class invariant Design by contract Assertion Constructor Class Invariant Loop invariant | Add to Reading List |