Formal Specification

Formalna Specyfikacja.

Precyzyjny opis (zamierzonego) zachowania systemu, zwykle pisany językiem matematycznym, czasami w celu wsparcia formalnej weryfikacji poprzez dowód poprawności. (Patrz: Formal).

Skrót:

0 0 votes
Ocena artykułu
Subscribe
Powiadom o
guest
0 komentarzy
Inline Feedbacks
View all comments
0
Zależy mi na Twojej opinii poniżej 😀x