Tłumaczenie Formal Top-Level Specification to Formalna Specyfikacja Najwyższego Poziomu.
Co to jest Formal Top-Level Specification?
Specyfikacja najwyższego poziomu napisana w formalnym języku matematycznym, aby umożliwić postawienie hipotezy i formalne udowodnienie twierdzeń wykazujących zgodność specyfikacji systemu z jego wymaganiami formalnymi.
Skrót: FTLS
Dodaj komentarz