Specificarea defineşte totalitatea cerinţelor faţă de sistemul în elaborare pe care un dezvoltator le va implementa în mod obligatoriu. Multiple limbaje de specificare sunt cunoscute şi acceptate (mai mult sau mai puţin) ...