Home >  Term: formal specification
formal specification

(1) A specification written and approved in accordance with established standards.~(2) A specification written in a formal notation, often for use in proof of correctness.

0 0

Penulis

  • artemis
  •  (Gold) 1356 poin
  • 100% positive feedback
© 2024 CSOFT International, Ltd.