 |
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 |