 |
formal method
| A
| software engineering method
| that
| uses
| a
| formal specification language
| that is
| a language
| with
| mathematically
| defined syntax
| and
| semantics
- найдены отдельные слова| formal method | |
| мат. | формальный метод |
| a | |
| общ. | ар; общая кислотность |
| атом.эн. | сокращение от annum, год |
| аэрогидр. | угол атаки |
| кит. | а |
| лат. | до, перед |
| software engineering method | |
| прогр. | метод программной инженерии |
| that | |
| общ. | который |
| uses | |
| текст. | назначение |
| a | |
| общ. | ар |
| formal specification language | |
| тех. | язык формальных спецификаций |
| that is | |
| общ. | так сказать |
| A language | |
| лингв. | родной язык |
| with | |
| общ. | причём |
| mathematically | |
| мат. | в математическом смысле |
| defined syntax | |
| прогр. | определяемый синтаксис |
| and | |
| общ. | и |
| semantics | |
| общ. | бессодержательное красноречие |
| |||
| формальный метод | |||
| Английский тезаурус | |||
| |||
| FM (Alex Lilo) | |||
| formal method: 4 фразы в 3 тематиках |
| Животноводство | 1 |
| Макаров | 2 |
| Программирование | 1 |