Accueil >  Term: langue des exigences formelles
langue des exigences formelles

Une langue artificielle utilisée pour représenter une exigence de logiciel. Exigences officielle qui en résulte peuvent être prouvées « correctes » par le biais de méthodes de preuve de la décision correcte. Aussi connu sous le nom de langue exigences vérifiable.

0 0

Créateur

  • Charles Bench
  • (Montreal, Canada)

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