Æliens

1

• terminology -- all phrases
• object computation -- message passing
• contracts -- for constructing and validating software

2

• styles of programming -- as a family of conventions
• data abstraction -- and its possible realizations
• polymorphism -- and the features of inheritance

3

• software development models -- in particular the role of prototyping
• software quality -- in relation to reuse and maintenance
• programming languages -- the choice of a vehicle

4

• modeling -- patterns, UML
• components -- CORBA, (D)COM, Java
• heterogeneous systems -- separating logic and control