specification
Related entries include:
formal methods
;
functional requirements
;