«formal specification language»

Большой англо-русский и русско-английский словарь Англо-русский словарь технических терминов