The exact requirements and behavior of a system.