A model of a computer system (hardware or software) constructed to allow a detailed and precise analysis of how the computer system works. It usually consists of input, output, and the operation set.
