L8 - Interface Specification Flashcards Preview

EIST (IN0006) > L8 - Interface Specification > Flashcards

Flashcards in L8 - Interface Specification Deck (12):
1

Roundtrip Engineering

Forward Engineering + Reverse Engineering

2

Bag

Elements can appear more than once (5/5/7/3)

3

Object Oriented Contract

describes service of an object in natural language/mathematical notation/Object Constraint Language (OCL)

4

Invariants

Predicate that is always true for all instances of a class

5

Precondition

Condition must be true BEFORE operation is invoked.

6

Access Modifiers

private & public & protected (rule: make always private - information hiding)

7

OCL

Object Constraint Language. Declarative language with no side effects and no control flow

8

Reengineering

Changing software system after it has been reverse engineered

9

Code Smell

Violation of best practices: long method + duplicated code + large class + many parameters + lazy class

10

Postcondition

Condition must be true AFTER operation is invoked.

11

Sequence

Elements are ordered (1/3/5/7)

12

Set

Elements can appear only once (5/1/7/3)