Limbaj de specificare
În informatică , un limbaj de specificații este un limbaj formal (sau parțial formal ) utilizat pentru a descrie un sistem software la un nivel mai ridicat de abstractizare decât limbajele de programare . Aplicarea unui limbaj de specificații produce apoi specificații formale . În funcție de caz, un limbaj de specificații poate fi orientat spre analiză (caz în care poate fi folosit pentru a redacta în mod formal specificațiile cerințelor de sistem) sau pentru a proiecta (caz în care ar fi obținute specificațiile proiectului ).
Un limbaj de specificare poate fi, în funcție de caz, și un limbaj de modelare . În acest caz, descrierea sistemului poate fi considerată cumva un model , adică o reprezentare simplificată a sistemului în sine, care reproduce trăsăturile sale esențiale.