binary; Boolean; branch; class; curried function; domain; enumerated type; enumeration; equivalence class partitioning; error; function; genetic programming; infinity; instantiation; map; normalisation; object identifier; object-oriented; object-oriented design; object-oriented programming; operator; optimal; overriding; persistence; portability; primitive; queue; recursion; requirements; Requirements Engineering; scalar; 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;