System requirements specification
Computer science
Programming language
Specification language
Formal specification
Language Of Temporal Ordering Specification
Functional specification
Process (computing)
Software engineering
Software
Software system
Software construction
