what a source is compiled into that is then processed by a computer-not understandable by humans and can not be modified
source code is compiled into machine code that is processed by a computer, machine code is, in general, not understandable by humans and cannot be modified.
~describe what the system should do ~statements of services provided by the system ~details of how the system should react in certain senarios.