Hüperonüümid:
spetsifitseerimiskeel 1(n)
projekteerimiskeel 1(n)

eri-keeletarinditega ja mõnikord ka verifitseerimis protokollidega spetsifitseerimiskeel, mida kasutatakse riistvara või tarkvara tehnilise lahenduse väljatöötamiseks, analüüsiks ja dokumenteerimiseks