abstract class; abstract data type; abstraction; acceptance testing; active object; actor; aggregate type; aggregation; algebraic data type; algorithm; Algorithmic Model; argument; arity; Artificial Life; assertion; assignment; automatism; base class; bottom-up implementation; bottom-up model; brute force; class; class hierarchy; class library; class method; closure; computation; Computational Adequacy Theorem; computational architecture; computational models; concrete class; constraint; constructor; control flow; coupling; data flow analysis; dynamical systems theory; emergence; encapsulation; entropy; environment variable; event-driven; fact; fault; functional specification; heuristic; infinite loop; inheritance; initialise; input/output; instance; instance variable; interactive; invariant; IT; iteration; language; Life; linear type; logic programming; logic variable; loop; message; method; methodology; object identifier; object-oriented; object-oriented design; object-oriented programming; operator; optimal; overriding; parallelism; persistence; portability; primitive; queue; recursion; reduction; requirements; Requirements Engineering; scalar; semantics; singleton variable; software; software life-cycle; Software Methodology; source code; structured design; structure diagram; structured language; structured programming; subclass; subject; subroutine; subtype; top-down design; type; type inference; usability; vector;