AQA A-Level Computer Science notes on abstraction and automation. Covers problem solving, algorithms, pseudocode, test data, abstraction types (representational, procedural, functional, data), decomposition, composition, and building automated models—ideal for study and exam preparation.