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

创建者

  • J Laurent
  • (Lyon, France)

  •  (V.I.P) 15095 分数
  • 100% positive feedback
© 2024 CSOFT International, Ltd.