Flashcards in L8 - Interface Specification Deck (12):
Forward Engineering + Reverse Engineering
Elements can appear more than once (5/5/7/3)
Object Oriented Contract
describes service of an object in natural language/mathematical notation/Object Constraint Language (OCL)
Predicate that is always true for all instances of a class
Condition must be true BEFORE operation is invoked.
private & public & protected (rule: make always private - information hiding)
Object Constraint Language. Declarative language with no side effects and no control flow
Changing software system after it has been reverse engineered
Violation of best practices: long method + duplicated code + large class + many parameters + lazy class
Condition must be true AFTER operation is invoked.
Elements are ordered (1/3/5/7)