Home >  Term: השפה דרישות פורמליות
השפה דרישות פורמליות

שפה מלאכותית כדי לייצג דרישה תוכנה. דרישות הפורמלית שנוצר ניתן להוכיח "הנכון" באמצעות שיטות הוכחה נכונות. המכונה גם השפה דרישות ניתן לאימות.

0 0

Penulis

  • Sarah Cohen
  • (Haifa, Israel)

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