Kategoria:Zalążki metod formalnych
Strony w kategorii „Zalążki metod formalnych”
A
Abstrakcyjny wykres semantyczny
Algorytm plew
Automat permutacyjny
Automath
D
David Watt (informatyk)
Dobrze ugruntowana semantyka
G
Gramatyka boolowska
Grupa Badawcza Programowania
I
Interwałowa logika temporalna
J
Język obrazu
K
Kontroler modeli PRISM
M
Metody formalne Europa
Międzynarodowa Konferencja Programowania Funkcjonalnego
Międzynarodowa konferencja na temat inżynierii oprogramowania i metod formalnych
N
Narzędzie do sprawdzania modeli TAPAAL
Niezinterpretowana funkcja
P
Paramorfizm
Procedura Davisa-Putnama
Programowanie predykatywne
Płynny Haskell
R
Rachunek czasu trwania
Rachunek wyrafinowania
Relacje logiczne
S
Semantyka aksjomatyczna
Sprawdzanie modelu Romeo
T
Tabela implikacji
Temporalna logika działań
Teoria śladu
U
Uppaal Model Checker
W
Wydajność końcowa
Wykres terminów
A
apomorfizm
R
rachunek rho