Home >  Term: формальные требования язык
формальные требования язык

Искусственный язык, используемый для представления требований программного обеспечения. Результате формальных требований может быть доказано «правильной» через доказательство правильности методов. Также известен как язык поддающихся проверке требований.

0 0

Kūrėjas

  • Veronika
  • (Moscow, Russia)

  •  (V.I.P) 25437 points
  • 100% positive feedback
© 2024 CSOFT International, Ltd.