Anda di halaman 1dari 2

Tugas Alloy Tugas dikerjakan berkelompok maksimal 2 orang. A.

Tulislah sebuah makalah dengan topik diambil dari salah satu topik di bawah ini: 1) Aplikasi Alloy untuk pemodelan smartcard (Business Informatics\bigone.pdf) 2) Aplikasi Alloy untuk pemodelan arsitektur enterprise (Business Informatics\ WODPEC07.pdf) 3) Aplikasi Alloy untuk verifikasi resource discovery pada dynamic networks (Computer Networks\ correctingNA.pdf, INS_ASE00.pdf) 4) Aplikasi Alloy untuk compositional binding pada pengiriman pesan di jaringan komputer (Computer Networks\ fm06.pdf) 5) Aplikasi Alloy untuk pemodelan pengalamatan pada interoperating networks (Computer Networks\ interop.pdf) 6) Aplikasi Alloy untuk spesifikasi konfigurasi jaringan (Computer Networks\ NetConfigAlloy.pdf) 7) Aplikasi Alloy untuk verifikasi protokol (Computer Networks\ wripe11-paper14.pdf) 8) Aplikasi Alloy untuk spesifikasi dan verifikasi Flash file system (File systems\abz08_kang_jackson.pdf,flash.pdf) 9) Aplikasi Alloy untuk verifikasi sinkronisasi file system (File systems\tnolte_masters.pdf) 10) Aplikasi Alloy untuk verifikasi journaled file system (File systems\TR-10-07.pdf) 11) Aplikasi Alloy untuk Model-Checking Spesifikasi Sistem dalam Event-B (Formal Specification Language\ 0805.3256.pdf) 12) Aplikasi Alloy dalam bidang hukum (Law\Relaw08HassanLogrippoCameraReady.pdf) 13) Aplikasi Alloy untuk verifikasi keamanan perangkat lunak (OCL\ist09.pdf) 14) Transformasi Model Ontologi dalam OntoUML ke Alloy (Ontology\benevides-et-al-2009.pdf, braga-et-al-ISSE10.pdf) 15) Transformasi Description Logic ke Alloy (Ontology\GaKM07.pdf) 16) Aplikasi Alloy untuk Mencari Bug pada Program 1 (Program Verification\ASE04-taghdiri.pdf) 17) Aplikasi Alloy untuk Mencari Bug pada Program 2 (Program Verification\issta00.pdf,vaziri_thesis.pdf) 18) Aplikasi Alloy untuk Mencari Bug pada Program 3 (Program Verification\issta076Galeotti.pdf) 19) Program Refactoring Menggunakan Alloy (Refactoring\fase2008.pdf, massoni_tech10.pdf) 20) Pemodelan penjadwalan kuliah dengan Alloy (Scheduling\yeung-meng.pdf) 21) Aplikasi Alloy untuk verifikasi keamanan bahasa Javascript (Security\ 2010-021-lightweightformal-javascript-security.pdf) 22) Aplikasi Alloy untuk Pemodelan Computer Security (Security\070131-PG-security.pdf) 23) Aplikasi Alloy untuk Pemodelan Access Control 1 (Security\GaugeAC.pdf) 24) Aplikasi Alloy untuk Pemodelan Keamanan Alur Informasi (Security\GetRDoc.pdf,GetRDoc1.pdf) 25) Aplikasi Alloy untuk Pemodelan Partial Attack (Security\MPA-amerson-SPW07.pdf) 26) Aplikasi Alloy untuk Analisis Access Control Policyh Model dengan UML (Security\policy11.pdf) 27) Aplikasi Alloy untuk Verifikasi Interaksi SMC (Security\report-verification-smc-alloy.pdf) 28) Aplikasi Alloy untuk Pemodelan Access Control 2 (Security\sacmat08.pdf) 29) Aplikasi Alloy untuk Pemodelan Access Control 3 (Security\sacmat09.pdf) 30) Aplikasi Alloy untuk Pemodelan Proteksi Privasi oleh aplikasi web (Security\WSFM10.pdf) 31) Aplikasi Alloy untuk Verifikasi Arsitektur Software Dinamis 1 (Software Architecture\145-445-1PB.pdf) 32) Aplikasi Alloy untuk Verifikasi Arsitektur Software Dinamis 2 (Software Architecture\BBGHL_08.pdf)

33) Aplikasi Alloy untuk Pemodelan Architectural Style (Software Architecture\Analyzing Architectural Styles.pdf) 34) Aplikasi Alloy untuk Pemodelan Sistem Self-* (Software Architecture\fractoy.pdf) 35) Aplikasi Alloy untuk Pemodelan Supply Chain Management (Software Architecture\haesevoets.pdf) 36) Aplikasi Alloy untuk Pembangkitan Test Case pada Aplikasi Web (Testing\1009.3713.pdf) 37) Aplikasi Alloy untuk Model-Based Testing (Testing\2009-ICST-Emine2.pdf, Aydal_TAIC09_reviewed.pdf) 38) Aplikasi Alloy untuk Pembangkitan Basis Data (Testing\DBGAlloy(Final).pdf) 39) Aplikasi Alloy untuk Pengujian DBMS Otomatis (Testing\ICST'11.pdf, sqlQueryGenerator.pdf) 40) Aplikasi Alloy untuk Pengujian Program JAVA (Testing\testera.pdf, testera_ASE01.pdf, testera_asej02.pdf, testera_SOFTMC01.pdf) 41) UML2Alloy (UML2Alloy\A TOOL FOR LIGHTWEIGHT.pdf, anastasakis_thesis.pdf, mode09.pdf, models07.pdf) 42) Aplikasi Alloy untuk Analisis Diagram Kelas (UML2Alloy\UML Class Diagram Analyzer.pdf) 43) Aplikasi Alloy untuk Verifikasi Model Aspect UML (UML2Alloy\a7-mostefaoui.pdf, article6.pdf) 44) CD2Alloy (UML2Alloy\SM_JOR_BR_cd2alloy_MODELS_11.pdf) Makalah Anda harus berisi hal-hal berikut ini: 1) Identitas makalah-makalah yang dijadikan acuan. Tuliskan makalah utama yang dijadikan acuan lengkap dengan judul, nama penulis dan data penunjang lainnya. Jika ada makalah tambahan yang digunakan juga perlu Anda tuliskan. 2) Masalah yang dibahas dalam makalah yang dijadikan acuan. Setiap makalah pasti berusaha memecahkan suatu masalah. Deskripsikan dengan jelas masalah yang berusaha dipecahkan oleh penulis makalah utama yang Anda acu. 3) Solusi yang diusulkan untuk memecahkan masalah tersebut dan bagaimana Alloy digunakan untuk memecahkan masalah tersebut. 4) Komentar Anda tentang makalah yang Anda acu. Berilah penilaian Anda tentang makalah yang Anda jadikan acuan dari sisi: - Kejelasan - Apakah solusi yang diusulkan menjawab masalah yang ada B. Presentasikanlah makalah Anda selama 20 menit.