Tłumaczenie Formal Specification to Formalna Specyfikacja.
Co to jest Formal Specification?
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: –
Dodaj komentarz