Terms for subject Programming containing формальный недостаток

Russian	English
потенциальные достоинства и недостатки использования языков формальных спецификаций	potential benefits and drawbacks of using formal specification languages (ssn)