Home >  Term: Automatiseret kontrolsystem
Automatiseret kontrolsystem

(1) Et softwareværktøj, der accepterer som input et edb-program og en repræsentation af dets specifikation og frembringer, eventuelt med menneskelige hjælp, et bevis eller disproof af rigtigheden af program.~(2) enhver softwareværktøj, der automatiserer del af eller hele verifikationsprocessen.

0 0

ผู้สร้าง

  • Katrine02
  • (Copenhagen, Denmark)

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