Hasil Pencarian  ::  Simpan CSV :: Kembali

Hasil Pencarian

Ditemukan 1 dokumen yang sesuai dengan query
cover
Sulistomo Adie Suwarno
Terjemahan model paradigm untuk Anjungan Tunai Mandiri menjadi pseudocode dalam proportional linear temporal logic.
" Model PARADIGM untuk Anjungan Tunai Mandiri (ATM) adalah model dari suatu rancangan sistem untuk ATM yang direpresentasikan menjadi himpunan State Transition Diagram (STD). Sebelum diimplementasikan pada komputer, sebuah model dari suatu rancangan sistem sebaiknya terlebih dahulu diterjemahkan menjadi pseudocode agar lebih mudah dibuat koding programnya. Tugas akhir ini membahas bagaimana model PARADIGM untuk ATM diterjemahkan menjadi pseudocode dalam bahasa Propositional Linear Temporal Logic (PLTL) dengan bantuan algoritma penerjemah. ... "
Depok: Universitas Indonesia, 2005
S27598
UI - Skripsi Membership  Universitas Indonesia Library