Clasificări ale limbajelor de specificare

Abstract

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) în ingineria software. Deşi descrierea cerinţelor este scopul primar al specificărilor, totuşi actuale şi utile sunt considerate doar acelea care permit verificarea/demonstrarea calităţilor enunţate. Clasificările permit înţelegerea şi utilizarea limbajelor de specificare, astfel în ceea ce urmează se prezintă succint diverse clasificări ale acestora.