Please enable JavaScript.
Coggle requires JavaScript to display documents.
Formalisasi Standar (♦NOTASI FORMAL UNTUK ANALISA (Periksa konsistensi…
Formalisasi Standar
-
♦♦MODEL-MODEL INTERAKSI
Model PIE adalah model black box, tidak untuk representasi arsitektur internal dan konstruksi dari system computer, tetapi menggambarkan input dari user dan output ke user.
-
♦REACHABILITY DAN UNDO
Reachability :∀ e, e’ ∈ E • (∃ p ∈ P • doit(e,p) = e’)
Undo :∀ c ∈ C • doit(e,c undo) = e
-
-
-
-