Please enable JavaScript.

Coggle requires JavaScript to display documents.

Model-Model Sistem (Model-Model Interaksi (Predictability &…

- - - - Reachability : ∀ e, e’ ∈ E • (∃ p ∈ P • doit(e,p) = e’)
        Contoh : memindah/ mengkopi dokumen antar layar.
      - ∀ c ∈ C • doit(e,c undo) = e Berawal dari state e. Kemudian kita lakukan satu perintah c dan diikuti dengan perintah khusus undo. Maka state nya akan sama seperti awalnya.
- - - - digunakan untuk menspesifikasikan editor, window manager dan toolkit grafik Presenter.
    - - State dan operator dalam Z ditulis dalam notasi skema. Skema State terbagi dalam 2 bagian, yang ditandai dengan garis. Di atas garis sebagai komponen dari state system grafik. Di bawah garis adalah invariant – kondisi yang harus dipenuhi komponen state.
    - - Set yang paling sederhana (standard) : R = bilangan real, Z = bilangan integer, N = bilangan asli.
      - Set2
        
        set non standard didefinisikan sebagai set baru dengan melisting angka-angka finite dari nilai yang mungkin dari set tersebut. Misal bentuk2 geometri dalam grafik.dibuat lebih kompleks lagi, meliputi tupel (pasangan terurut) yang terurut, tidak terurut, yang disebut skema dalam Z, deretan dan fungsi.
      - Set Id
        
        set dari identifier yang akan digunakan sebagai label dari shape. Objek shapes dari tipe shape_dict adalah label yang memetakan fungsi ke shapes.
- - - - Event
        
        waktu yang menunjukkan 7:35. Brian berhenti bekerja.
      - Polling
        
        keadaan di mana Brian melihat ke jamnya terus menerus (periodic). Polling adalah kegiatan normal yang orang lakukan seperti mesin, merupakan cara standard untuk mengubah status menjadi event.
      - Status
        
        jamnya Brian, yang selalu menunjukkan waktu (dapat kontinyu maupun diskrit)
      - Actual vs Perceived
        
        event Brian setelah jam 7:35. Brian tidak melihat jamnya pada saat yang benar. Actual event menjadi perceived event beberapa menit setelah Brian melihat jamnya kembali.
      - Granularity
        
        jam menunjukkan 7:35 dan ulang tahun Brian merupakan event, tetapi beroperasi pada rentang waktu yang berbeda.
      - Implikasi pada perancangan
        
        Agar event yang dicapai user dapat pada skala waktu yang tepat, kita harus dapat memprediksi skala waktu event pada teknik interface yang bermacam2.
      - Psikologi Naif
        
        Psikologi ini stimuli apa yang penting dan ke mana atensi user difokuskan.denganmemprediksi ke mana user mencari, yaitu dari menggerakkan mouse, text insertion point, screen.
- - - - Spesifikasi dapat dibuat sebagai bahasa yang ‘umum’ antar tim desain, desainer dan pembuat sistem. Ide2 tentang tampilan layar dapat dengan muda divisualisasikan dengan bantuan paket2 drawing tool).
    - - Periksa konsistensi internal
        
        Lihat jika setiap statement dibuat dalam satu bagian yang saling berkontradiksi. Contoh : umumnya tidak memungkinkan membangun system yang sesuai dengan properti antara teori dan praktek.
      - Periksa konsistensi eksternal
        
        Yang berhubugan dengan program (bukan keuntungan dalam IMK). Tugas verifikasiini merupakan keuntungan dari spesifikasi formal dari sudut pandang RPL.
      - Periksa konsistensi eksternal
        
        Yang berhubungan dengan kebutuhan2, beberapa diantaranya seperti properti keamanan, sistem khusus, dll. Kebutuhan lainnya tentang system khusus misalnya fungsi yang dapat diakses hanya dengan penekanan kurang dari 3 keystrokes.