Hal 1
Model sistem
Ikhtisar
Standar Formalisms notasi rekayasa perangkat lunak yang digunakan untuk menentukan perilaku diperlukan sistem interaktif tertentu model interaksi tujuan khusus model-model matematik interaktif sistem, yang digunakan untuk menggambarkan sifat-sifat kegunaan pada tingkat generik Status acara analisis contoh metode tingkat teknik menggambar pada pemodelan formal dan naif psikologi
Hal 2
Hubungan dengan dialog
Dialog pemodelan yang terhubung ke semantik.
Sistem semantik mempengaruhi struktur dialog.
Tapi bisa berbeda.
Alih-alih menentukan tindakan terhadap hukum,
formalisms ini memberitahu kan setiap tindakan pada
sistem.
Hal 3
Ironi
Komputer adalah inheren matematika mesin.
Bukan manusia.
Teknik formal yang baik diterima untuk model kognitif pengguna dan dialog (pengguna bagaimana). Teknik formal yang tidak belum juga diterima untuk mendikte bagaimana sistem untuk pengguna!
