Home > Term: формальные требования язык
формальные требования язык
Искусственный язык, используемый для представления требований программного обеспечения. Результате формальных требований может быть доказано «правильной» через доказательство правильности методов. Также известен как язык поддающихся проверке требований.
- Kalbos dalis: noun
- Pramonės šaka / sritis: Computer; Software
- Category: Software engineering
- Organization: IEEE Computer Society
0
Kūrėjas
- Veronika
- 100% positive feedback
(Moscow, Russia)