Formal Top-Level Specification

Formalna Specyfikacja Najwyższego Poziomu.

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

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