REKAYASA PERANGKAT LUNAK. Spesifikasi Formal
|
|
- Ade Susanto
- 7 tahun lalu
- Tontonan:
Transkripsi
1 REKAYASA PERANGKAT LUNAK Spesifikasi Formal
2 MUHLIS TAHIR PTIK A 2009
3 TUJUAN : Untuk menjelaskan mengapa teknik spesifikasi formal membantu menemukan masalah dalam persyaratan sistem Untuk menggambarkan penggunaan teknik aljabar untuk spesifikasi antarmuka Untuk menggambarkan penggunaan teknik berbasis model untuk spesifikasi perilaku
4 TOPIK YANG DIBAHAS : Spesifikasi formal dalam proses perangkat lunak Sub-sistem spesifikasi interface Perilaku spesifikasi
5 METODE FORMAL Spesifikasi formal merupakan bagian dari koleksi yang lebih umum teknik yang dikenal sebagai 'metode formal'. Ini semua didasarkan pada representasi matematis dan analisis perangkat lunak. Metode formal termasuk Spesifikasi formal; Spesifikasi analisis dan bukti; Transformasional pembangunan; Program verifikasi.
6 PENERIMAAN METODE FORMAL Metode formal belum menjadi mainstream teknik pengembangan perangkat lunak seperti yang pernah diperkirakan Perangkat lunak lain rekayasa teknik telah berhasil meningkatkan kualitas sistem. Karena itu membutuhkan metode formal telah berkurang; Perubahan pasar telah membuat waktu-ke-pasar bukan perangkat lunak dengan kesalahan rendah menghitung faktor kunci. Metode formal tidak mengurangi waktu ke pasar; Ruang lingkup metode formal terbatas. Mereka tidak cocok untuk menentukan dan menganalisis user interface dan interaksi pengguna; Metode formal masih sulit untuk skala sampai dengan sistem yang besar.
7 PENGGUNAAN METODE FORMAL Manfaat utama dari metode formal dalam mengurangi jumlah kesalahan pada sistem. Akibatnya, daerah utama mereka diterapkan dalam rekayasa sistem kritis. Ada beberapa proyek yang berhasil di mana metode formal telah digunakan di daerah ini. Di daerah ini, penggunaan metode formal yang paling mungkin untuk biaya-biaya sistem efektif karena kegagalan yang tinggi harus dihindari.
8 PESIFIKASI DALAM PROSES PERANGKAT LUNAK Spesifikasi dan desain erat bercampur. Desain arsitektur sangat penting untuk struktur spesifikasi dan proses spesifikasi. Spesifikasi formal dinyatakan dalam notasi matematika dengan tepat didefinisikan, sintaks dan semantik kosakata.
9 SPESIFIKASI DAN DESAIN
10 ESIFIKASI DALAM PROSES PERANGKAT LUNAK
11 PENGGUNAAN SPESIFIKASI FORMAL Spesifikasi formal melibatkan investasi lebih banyak upaya dalam fase awal pengembangan perangkat lunak. Hal ini mengurangi kesalahan persyaratan sebagai memaksa analisis rinci tentang persyaratan. Ketidaklengkapan dan inkonsistensi dapat ditemukan dan diselesaikan. Oleh karena itu, tabungan yang dibuat sebagai jumlah pengerjaan ulang karena masalah persyaratan berkurang.
12 BIAYA PROFIL Penggunaan spesifikasi formal berarti bahwa profil biaya sebuah perubahan proyek Ada biaya depan lebih besar sebagai lebih banyak waktu dan usaha yang dihabiskan mengembangkan spesifikasi; Namun, pelaksanaan dan validasi biaya harus dikurangi sebagai proses spesifikasi mengurangi kesalahan dan ambiguitas dalam persyaratan.
13 IAYA PENGEMBANGAN DENGAN SPESIFIKASI FORMAL
14 SPESIFIKASI TEKNIK Spesifikasi aljabar Sistem ini ditetapkan dalam hal operasi dan hubungan mereka. Model berbasis spesifikasi Sistem ini ditetapkan dalam hal model negara yang dibangun menggunakan konstruksi matematika seperti set dan urutan. Operasi didefinisikan oleh modifikasi negara sistem.
15 FORMAL SPESIFIKASI BAHASA
16 SPESIFIKASI INTERFACE o o o o Sistem yang besar dipecah menjadi subsistem dengan antarmuka yang terdefinisi dengan baik antara subsistem. Spesifikasi antarmuka subsistem memungkinkan pengembangan independen dari subsistem yang berbeda. Interface dapat didefinisikan sebagai tipe data abstrak atau kelas objek. Pendekatan aljabar untuk spesifikasi formal sangat cocok untuk antarmuka spesifikasi seperti yang difokuskan pada operasi didefinisikan dalam suatu objek.
17 SUB-SISTEM ANTARMUKA
18 STRUKTUR SPESIFIKASI ALJABAR
19 SPESIFIKASI KOMPONEN Pengantar Mendefinisikan jenis (nama jenis) dan menyatakan spesifikasi lainnya yang digunakan. Deskripsi Informal menjelaskan operasi pada jenis. Tanda tangan Mendefinisikan sintaks dari operasi dalam antarmuka dan parameter mereka. Aksioma Mendefinisikan semantik operasi dengan mendefinisikan aksioma yang mencirikan perilaku.
20 SISTEMATIS ALJABAR SPESIFIKASI Spesifikasi aljabar suatu sistem dapat dikembangkan secara sistematis Spesifikasi penataan; Spesifikasi penamaan; Operasi seleksi; Informal operasi spesifikasi; Sintaks definisi; Definisi aksioma.
21 SPESIFIKASI OPERASI Pembuat operasi. Operasi yang menciptakan entitas dari jenis yang ditentukan. Inspeksi operasi. Operasi yang mengevaluasi entitas dari jenis yang ditentukan. Untuk menetapkan perilaku, menentukan inspektur operasi untuk setiap operasi konstruktor.
22 OPERASI PADA DAFTAR ADT Pembuat operasi yang mengevaluasi untuk mengurutkan Daftar Membuat, Kontra dan Tail. Pemeriksaan operasi yang mengambil daftar semacam sebagai parameter dan pengembalian semacam lainnya Kepala dan Panjang. Ekor dapat didefinisikan dengan menggunakan konstruktor yang sederhana? Membuat dan Cons. Tidak perlu mendefinisikan Kepala dan Panjang dengan Tail.
23 DAFTAR SPESIFIKASI
24 REKURSI DALAM SPESIFIKASI Operasi sering ditentukan secara rekursif. Ekor (Cons (L, v)) = jika L = Buat kemudian Buat? lain Cons (Tail (L), v). Kontra ([5, 7], 9) = [5, 7, 9] Ekor ([5, 7, 9]) = Tail (Cons ([5, 7], 9)) = Kontra (Tail ([5, 7]), 9) = Cons (Tail (Kekurangan ([5], 7)), 9) = Kontra (Cons (Ekor ([5]), 7), 9) = Kontra (Cons (Ekor (Kekurangan ([], 5)), 7), 9) = Kontra (Cons ([Buat], 7), 9) = Cons ([7], 9) = [7, 9]
25 INTERFACE SPESIFIKASI SISTEM KRITIS Pertimbangkan sebuah sistem kontrol lalu lintas udara di mana pesawat terbang melalui sektor dikelola wilayah udara. Setiap sektor dapat mencakup sejumlah pesawat tetapi, untuk alasan keamanan, ini harus dipisahkan. Dalam contoh ini, pemisahan vertikal sederhana 300m diusulkan. Sistem tersebut harus memperingatkan controller jika pesawat diinstruksikan untuk bergerak sehingga pemisahan aturan dilanggar.
26 SEBUAH OBJEK SEKTOR operasi Kritis pada objek yang mewakili sektor yang dikendalikan Enter. Tambahkan pesawat udara ke wilayah udara yang dikendalikan; Tinggalkan. Hapus pesawat terbang dari wilayah udara yang dikendalikan; Pindah. Memindahkan pesawat dari satu ketinggian ke yang lain; Lookup. Mengingat pesawat identifier, kembali tinggi saat ini;
27 PRIMITIF OPERASI Hal ini kadang diperlukan untuk memperkenalkan operasi tambahan untuk menyederhanakan spesifikasi. Operasi lain maka dapat didefinisikan menggunakan operasi yang lebih primitif. Primitif operasi Buat. Bawa sebuah instance dari suatu sektor menjadi ada; Put. Tambahkan pesawat tanpa pemeriksaan keamanan; Dalam-ruang. Menentukan apakah sebuah pesawat yang diberikan dalam sektor ini; Pendudukan. Mengingat ketinggian, menentukan apakah ada pesawat dalam ketinggian 300m itu.
28 SEKTOR SPESIFIKASI (1)
29 SEKTOR SPESIFIKASI (2)
30 SPESIFIKASI KOMENTAR Gunakan konstruktor dasar Buat dan Pasang untuk menentukan operasi lainnya. Tentukan Pendudukan dan In-ruang angkasa yang menggunakan Membuat dan Pasang dan gunakan mereka untuk membuat cek dalam definisi operasi lain. Semua operasi yang mengakibatkan perubahan sektor ini harus memeriksa bahwa kriteria keselamatan berlaku.
31 PERILAKU SPESIFIKASI Aljabar spesifikasi bisa rumit ketika operasi objek tidak independen dari negara objek. Spesifikasi Model berbasis memperlihatkan keadaan sistem dan mendefinisikan operasi dalam hal perubahan ke negara itu. Notasi Z adalah teknik matang untuk spesifikasi model yang berbasis. Ini menggabungkan deskripsi formal dan informal dan menggunakan grafis menyoroti saat menyajikan spesifikasi.
32 STRUKTUR DARI SEBUAH SKEMA Z
33 PEMODELAN POMPA INSULIN Skema Z untuk pompa insulin menyatakan sejumlah variabel negara termasuk: Input variabel seperti switch? (saklar perangkat), InsulinReservoir? (jumlah saat ini insulin dalam reservoir) dan Membaca? (pembacaan dari sensor); Output variabel seperti alarm! (alarm system), display1, display2! (menampilkan pada pompa) dan dosis! (dosis insulin akan dikirimkan).
34 SKEMA INVARIAN Setiap skema Z memiliki bagian invarian yang mendefinisikan kondisi yang selalu benar. Untuk skema pompa insulin itu selalu benar bahwa Dosis harus kurang dari atau sama dengan kapasitas reservoir insulin; Tidak ada dosis tunggal bisa lebih dari 4 unit insulin dan total dosis disampaikan dalam jangka waktu tidak boleh melebihi 25 unit insulin. Ini adalah kendala keamanan; Display2! menunjukkan jumlah insulin akan dikirimkan.
35 POMPA INSULIN SKEMA
36 NEGARA INVARIANTS
37 PERHITUNGAN DOSIS Pompa insulin menghitung jumlah insulin yang diperlukan dengan membandingkan saat ini dengan membaca dua bacaan sebelumnya. Jika ini menunjukkan bahwa glukosa darah meningkat maka insulin disampaikan. Informasi tentang dosis total dikirimkan dipertahankan untuk memungkinkan invariant pengecekan keamanan yang akan diterapkan. Perhatikan bahwa invarian ini selalu berlaku - tidak perlu mengulang dalam perhitungan dosis.
38 LARI SKEMA (1)
39 LARI SKEMA (2)
40 GULA OK SKEMA
41 HAL-HAL PENTING Spesifikasi sistem formal melengkapi spesifikasi teknik informal. Spesifikasi formal tepat dan jelas. Mereka menghapus bidang keraguan dalam spesifikasi. Spesifikasi formal kekuatan analisis kebutuhan sistem pada tahap awal. Mengoreksi kesalahan pada tahap ini lebih murah daripada memodifikasi sistem disampaikan. Spesifikasi teknik formal yang paling diterapkan dalam pengembangan sistem kritis dan standar.
42 HAL-HAL PENTING Teknik aljabar cocok untuk antarmuka spesifikasi antarmuka mana didefinisikan sebagai satu set kelas objek. Model-model teknik berdasarkan sistem dengan menggunakan set dan fungsi. Ini menyederhanakan beberapa jenis spesifikasi perilaku. Operasi didefinisikan dalam model berbasis spec. dengan mendefinisikan kondisi sebelum dan sesudah pada keadaan sistem.
43 SEKIAN DAN TERIMA KASIH
Muhlis Tahir PTIK A UNM 09
Muhlis Tahir 092904033 PTIK A UNM 09 Untuk memperkenalkan konsep kebutuhan pengguna dan sistem Untuk menjelaskan kebutuhan fungsional dan nonfungsional Untuk menjelaskan bagaimana kebutuhan perangkat lunak
Lebih terperinciJudul. Deskripsi dan Spesifikasi Kebutuhan Sistem Berbasis Komputer. Oleh: Tim Dit. TIK UPI
Judul Deskripsi dan Spesifikasi Kebutuhan Sistem Berbasis Komputer Oleh: Tim Dit. TIK UPI 1 Tujuan Memperkenalkan konsep kebutuhan user dan Sistem Menggambarkan kebutuhan fungsional dan nonfungsional Menjelaskan
Lebih terperinciBab 4 Metodologi Pengembagan Sistem(Perangkat Lunak)
Bab 4 Metodologi Pengembagan Sistem(Perangkat Lunak) 4.1 Pendahuluan Proses pengembangan atau pengembangan perangkat lunak secara umum merupakan serangkaian kegiatan yang meliputi kegiatan dalam siklus
Lebih terperinciMuhlis Tahir PTIK A 09 UNM
Muhlis Tahir PTIK A 09 UNM BAB 4 Manajemen proyek Pengorganisasian, perencanaan dan penjadwalan proyek perangkat lunak Tujuan Untuk memperkenalkan perangkat lunak manajemen proyek dan menggambarkan karakteristik
Lebih terperinciREKAYASA PERANGKAT LUNAK
REKAYASA PERANGKAT LUNAK PENDAHULUAN 1. Apakah Perangkat Lunak? 2. Apakah Rekayasa Perangkat Lunak (RPL)? 3. Apa perbedaan antara RPL dengan ilmu komputer (computer science)? 4. Apa perbedaan RPL dan rekayasa
Lebih terperincihttp://www.brigidaarie.com Perangkat lunak tidak hanya mencakup program, tetapi juga semua dokumentasi dan konfigurasi data yang berhubungan, yang diperlukan untuk membuat program beroperasi dengan benar.
Lebih terperinciBAB 1 PENDAHULUAN 1.1 Latar Belakang Masalah
BAB 1 PENDAHULUAN 1.1 Latar Belakang Masalah PT. Kereta Api Indonesia (PERSERO) adalah perusahaan pengelola kereta api di Indonesia yang telah banyak mengoperasikan kereta api penumpangnya, baik kereta
Lebih terperinciREKAYASA PERANGKAT LUNAK LANJUT DESIGN ENGINEERING. Defri Kurniawan M.Kom
REKAYASA PERANGKAT LUNAK LANJUT DESIGN ENGINEERING Defri Kurniawan M.Kom Content Pengenalan Perancangan Model Analysis to Model Design Design Concept Design Model Pengenalan Perancangan Perancangan PL
Lebih terperinciNama : Rendi Setiawan Nim :
Nama : Rendi Setiawan Nim : 41813120188 Pengertian Dasar Istilah Reakayasa Perangkat Lunak (RPL) secara umum disepakati sebagai terjemahan dari istilah Software engineering. Istilah Software Engineering
Lebih terperinciA. Spesifikasi Perangkat Lunak
A. Spesifikasi Perangkat Lunak Perangkat lunak merupakan otomasi dari proses bisnis pada sebuah organisasi, untuk menghasilkan operasi bisnis (organisasi) yang efektif (akurat) dan efisien (cepat dan murah).
Lebih terperinciREKAYASA PERANGKAT LUNAK. 3 sks Sri Rezeki Candra Nursari reezeki2011.wordpress.com
REKAYASA PERANGKAT LUNAK 3 sks Sri Rezeki Candra Nursari reezeki2011.wordpress.com Referensi Rekayasa Perangkat Lunak Pendekatan Praktisi, Roger S. Pressman, Ph.D, Andi Jogyakarta, 2012 Buku 1 Rekayasa
Lebih terperinciUntuk menggambarkan kegiatan rekayasa persyaratan pokok dan hubungan mereka. Untuk memperkenalkan teknik untuk elisitasi persyaratan dan analisis.
Untuk menggambarkan kegiatan rekayasa persyaratan pokok dan hubungan mereka. Untuk memperkenalkan teknik untuk elisitasi persyaratan dan analisis. Untuk menjelaskan validasi persyaratan dan peran tinjauan
Lebih terperinciBAB II LANDASAN TEORI
5 BAB II LANDASAN TEORI 2.1. Rekayasa Perangkat Lunak Rekayasa perangkat lunak merupakan kegiatan analisis, desain, konstruksi, verifikasi dan manajemen kesatuan teknik yang dikerjakan dalam suatu kerangka
Lebih terperinciSOFTWARE TESTING. Ratna Wardani
SOFTWARE TESTING Ratna Wardani Capaian Memahami pentingnya Software Testing Memahami teknik dalam Software Testing Dasar-dasar Software Testing Teknik-teknik dalam Software Testing Here we go... Dasar-dasar
Lebih terperinciRekayasa Perangkat Lunak
Rekayasa Perangkat Lunak Pertemuan 4 Konsep dan Prinsip Analisis Dan Pemodelan Analisis.: Erna Sri Hartatik :. Definisi Tahap Analisis : yaitu tahap dimana kita berusaha mengenali segenap permasalahan
Lebih terperinciAPLIKASI PERHITUNGAN HONOR MENGAJAR DOSEN TIDAK TETAP YANG BERBASIS PRESENSI DENGAN MENGGUNAKAN BARCODE Oleh: Wiwik Sulistiyorini (A
1. PENDAHULUAN Seiring dengan perkembangan di semua bidang dan bagian, jumlah mahasiswa baru juga semakin meningkat dari tahun ke tahun. Dosen tidak tetappun mencapai jumlah yang cukup banyak guna menunjang
Lebih terperinciBAB 2 LANDASAN TEORI
BAB 2 LANDASAN TEORI 2.1 Pengertian Sistem Menurut Bodnar dan Hopwood (2000, p1), sistem adalah kumpulan sumber daya yang berhubungan untuk mencapai tujuan tertentu. Menurut Mulyadi (2001, p2) sistem pada
Lebih terperinci2. BAB II LANDASAN TEORI. lanjut sehingga terbentuk suatu aplikasi yang sesuai dengan tujuan awal.
2. BAB II LANDASAN TEORI Dalam merancang dan membangun aplikasi, sangatlah penting untuk mengetahui terlebih dahulu dasar-dasar teori yang digunakan. Dasar-dasar teori tersebut digunakan sebagai landasan
Lebih terperinciBAB 1 PENDAHULUAN 1.1 Latar Belakang
BAB 1 PENDAHULUAN 1.1 Latar Belakang Teknologi merupakan bagian yang penting dalam menunjang dan mengatur kinerja perusahaan. Dalam beberapa tahun terakhir ini, sistem yang digunakan dalam suatu perusahaan
Lebih terperinciBAB I PENDAHULUAN. 1.1 Latar Belakang
BAB I PENDAHULUAN 1.1 Latar Belakang Penggunaan web sebagai media aplikasi multiplatform semakin marak digunakan. Serta penggunaan e-mail sang sudah sangat umum dalam suatu perusahaan dan sudah ter-integrasi
Lebih terperinciSistem Pendukung Keputusan. Oleh: Ade Sarah H., M.Kom
Sistem Pendukung Keputusan Oleh: Ade Sarah H., M.Kom Topik Defenisi Sistem Defenisi Pembuatan Keputusan Tahap pembuatan keputusan Pendekatan untuk pembuatan keputusan Pengertian Sistem Pendukung Keputusan
Lebih terperinciBAB 4 IMPLEMENTASI DAN EVALUASI
BAB 4 IMPLEMENTASI DAN EVALUASI 4.1 Spesifikasi Kebutuhan Program Untuk menjalankan aplikasi ini ada beberapa kebutuhan yang harus dipenuhi oleh pengguna. Spesifikasi kebutuhan berikut ini merupakan spesifikasi
Lebih terperinciBAB IV ANALISIS DAN PERANCANGAN SISTEM. mampu memperkirakan dan merincikan seluruh dokumen ataupun prosedur yang
BAB IV ANALISIS DAN PERANCANGAN SISTEM 4.1 Analisis Sistem Yang Berjalan Analisis terhadap sistem yang berjalan dimaksudkan untuk mempelajari terhadap suatu sistem yang sedang dijalanakan oleh suatu organisasi,
Lebih terperinciAnalisis Sistem Hanif Al Fatta M.kom
Analisis Sistem Hanif Al Fatta M.kom Abstraks Kegagalan sistem seringkali diakibatkan karena langkah-langlah pengembangannya yang tidak lengkap, tergesa-gesa dan ceroboh. Kegagalan sistem kadang-kadang
Lebih terperinciRatna Wardani. Department of Electronic Engineering Yogyakarta State University
Ratna Wardani Department of Electronic Engineering Yogyakarta State University S/W Process Model Tahapan S/W Process Model Proses S/W Materi Model Waterfall Model Prototype Model Rapid Application Development
Lebih terperinciPerspektif Alur-kerja (workflow) - barisan kegiatan Perspektif Alur Data (Data flow) alur informasi Perspektif Peran/Aksi siapa melakukan apa.
A. Rekayasa Perangkat Lunak: adalah suatu disiplin rekayasa yang berkonsentrasi terhadap seluruh aspek produksi perangkat lunak. Mengadopsi pendekatan yang sistematis dan terorganisir terhadap pekerjaannya
Lebih terperinciBAB IV PERANCANGAN. 4.1 Proses Bisnis Pengadaan Barang
BAB IV PERANCANGAN Pada tahap perancangan ini akan dilakukan perancangan proses pengadaan barang yang sesuai dengan proses bisnis rumah sakit umum dan perancangan aplikasi yang dapat membantu proses pengadaan
Lebih terperinciBAB I PENDAHULUAN. dibutuhkan untuk kelangsungan produksi perusahaan, lembaga maupun kemajuan
BAB I PENDAHULUAN 1.1 Latar Belakang Ilmu Teknik Informatika adalah suatu ilmu yang sangat berhubungan erat dengan teknologi informasi, dimana penerapannya mengarah kepada kemajuan teknologi masa depan.
Lebih terperinciBAB IV ANALISA DAN PERANCANGAN SISTEM Analisis Sistem yang Sedang Berjalan. Untuk merancang sebuah aplikasi mobile pelajaran Kimia dasar untuk
BAB IV ANALISA DAN PERANCANGAN SISTEM 4.1. Analisis Sistem yang Sedang Berjalan Untuk merancang sebuah aplikasi mobile pelajaran Kimia dasar untuk siswa SMA Negeri 1 Parongpong, maka terlebih dahulu perlu
Lebih terperinciDASAR REKAYASA PERANGKAT LUNAK
DASAR REKAYASA PERANGKAT LUNAK PEMODELAN ANALISIS KEBUTUHAN Institut Teknologi Sumatera DEFINISI MODEL ANALISIS Menurut Ian Sommerville(2011) Model Analisis adalah suatu teknik untuk merepresentasikan
Lebih terperinciBAB I PENDAHULUAN Masalah Teknologi Informasi dan Konsep Avatar sebagai Solusi
BAB I PENDAHULUAN 1.1 Latar Belakang 1.1.1 Masalah Teknologi Informasi dan Konsep Avatar sebagai Solusi Konsep teknologi informasi khususnya Internet telah menyediakan segala sesuatu yang dibutuhkan untuk
Lebih terperinciBAB III ANALISIS DAN PERANCANGAN
17 BAB III ANALISIS DAN PERANCANGAN Metode yang digunakan untuk rekayasa perangkat lunak menggunakan metode waterfall. Langkah langkah yang dilakukan yaitu: 1. Analisis kebutuhan, proses mengumpulkan data-data
Lebih terperinciBAB II LANDASAN TEORI. sehingga komputer dapat memproses input menjadi output.
BAB II LANDASAN TEORI 2.1 Aplikasi Menurut Jogiyanto (1999) adalah penggunaan dalam suatu komputer, instruksi (instruction) atau pernyataan (statement) yang disusun sedemikian rupa sehingga komputer dapat
Lebih terperinciBAB I PENDAHULUAN. perkembangan dunia informasi juga menyebabkan cepatnya pertumbuhan
BAB I PENDAHULUAN 1.1 Latar Belakang Berkembangnya dunia informasi dari bidang teknologi sangat berpengaruh terhadap manusia, organisasi dan perusahaan serta penyebaran informasi. Dari perkembangan dunia
Lebih terperinciBAB 2 LANDASAN TEORI
BAB 2 LANDASAN TEORI 2.1 Teori Basis Data 2.1.1 Pengertian Data Menurut Turban (2003, p2), data ialah fakta yang belum diolah atau gambaran dari transaksi yang ditangkap, direkam, disimpan dan diklasifikasikan.
Lebih terperinciBAB V EVALUASI HASIL RANCANG BANGUN SISTEM REKONSTRUKSI LINTAS TERBANG PESAWAT UDARA
BAB V EVALUASI HASIL RANCANG BANGUN SISTEM REKONSTRUKSI LINTAS TERBANG PESAWAT UDARA Pada bagian ini akan dievaluasi hasil sistem rekonstruksi lintas terbang pesawat udara yang dibangun. Proses evaluasi
Lebih terperinciBAB III ANALISA DAN PERANCANGAN
BAB III ANALISA DAN PERANCANGAN 3.1 Analisis Masalah Analisis merupakan tahap awal yang penulis lakukan sebelum membangun perangkat lunak. Analisis dibagi menjadi dua bagian yaitu analisis dan perancangan
Lebih terperinciBAB III TINJAUAN PUSTAKA
BAB III TINJAUAN PUSTAKA Pada bab ini akan dijelaskan dasar teori yang berhubungan dengan permasalahan yang dibahas dan juga menjelaskan aplikasi yang digunakan pada kerja praktek ini. 1.1 Restoran Menurut
Lebih terperinciI. PENDAHULUAN. Sistem pertanian tanaman sayuran di Indonesia masih dibudidayakan dilahan
I. PENDAHULUAN 1.1. Latar Belakang Sistem pertanian tanaman sayuran di Indonesia masih dibudidayakan dilahan terbuka. Namun, budidaya sayuran pada lahan terbuka menghadapi banyak masalah yaitu cuaca [1].
Lebih terperinciBAB I PENDAHULUAN 1.1 Latar Belakang
BAB I PENDAHULUAN 1.1 Latar Belakang Seiring dengan perkembangan zaman, kebutuhan akan informasi menjadi unsur utama demi keberlangsungan sistem dari suatu perusahaan saat ini, terutama di bidang bisnis
Lebih terperinciBAB 1 PENDAHULUAN. 1.1 Latar Belakang Masalah
BAB 1 PENDAHULUAN 1.1 Latar Belakang Masalah Seiring dengan perkembangan zaman dan kompleksnya kehidupan, maka manusia menginginkan tersedianya informasi yang tepat dan akurat dalam mengambil keputusan.
Lebih terperinciBAB 1 PENDAHULUAN 1.1 Latar Belakang
BAB 1 PENDAHULUAN Dalam bab ini berisi penjelasan mengenai latar belakang, identifikasi masalah, tujuan tugas akhir, lingkup tugas akhir, metodologi pengerjaan tugas akhir, serta sistematika penulisan
Lebih terperinciObject Oriented Analaysis Object Oriented Design
Terminologi Object Oriented Analaysis adalah metode analisis yang memeriksa requirements (syarat/keperluan yang harus dipenuhi suatu sistem) dari sudut pandang kelas-kelas dan objek-objek yang ditemui
Lebih terperinciBAB III METODOLOGI PENELITIAN
28 BAB III METODOLOGI PENELITIAN 3.1 Pendefinisian Sistem Sistem pendukung keputusan seleksi penerimaan karyawan yang dibangun merupakan sistem yang mengolah proses penilaian karyawan sampai diputusakan
Lebih terperinciBAB IV ANALISIS DAN PERANCANGAN SISTEM
BAB IV ANALISIS DAN PERANCANGAN SISTEM 4.1 Analisis Sistem Yang Sedang Berjalan Sebelum merancang suatu sistem, ada baiknya terlebih dahulu kita menganalisis sistem yang sedang berjalan di perusahaan yang
Lebih terperinciBAB III LANDASAN TEORI
BAB III LANDASAN TEORI Dalam membangun aplikasi ini, terdapat teori-teori ilmu terkait yang digunakan untuk membantu penelitian serta menyelesaikan permasalahan yang ada berkaitan dengan sistem yang akan
Lebih terperinciBAB III ANALISIS DAN PERANCANGAN SISTEM. tempat bagi para mahasiswa maupun dosen untuk belajar dan menambah
BAB III ANALISIS DAN PERANCANGAN SISTEM 3.1 Analisis Permasalahan Perpustakaan merupakan salah satu gudang ilmu pengetahuan bagi sebagian masyarakat. Perpustakaan STIKOM Surabaya merupakan salah satu tempat
Lebih terperinciMODUL PRAKTIKUM. MODUL I - VIII Modul penuntun dan bahan praktikum matakuliah algoritma dan pemograman
I - VIII Modul penuntun dan bahan praktikum matakuliah algoritma dan pemograman Jurusan Teknik Informatika Fakultas Teknik Universitas Maritim Raja Ali Haji ALGORITMA DAN PEMOGRAMAN I. ALGORITMA II. BAHASA
Lebih terperinciBAB IV TESTING DAN IMPLEMENTASI
BAB IV TESTING DAN IMPLEMENTASI 4.1 Implementasi Sistem Implementasi sistem merupakan sebuah tahap meletakan sistem yang diusulkan atau dikembangkan jika nantinya sistem tersebut telah siap dijalankan
Lebih terperinciBAB 2 TINJAUAN TEORI. Artificial Intelligence. Jika diartikan Artificial memiliki makna buatan,
BAB 2 TINJAUAN TEORI 2.1 Kecerdasan Buatan Kecerdasan buatan adalah sebuah istilah yang berasal dari bahasa Inggris yaitu Artificial Intelligence. Jika diartikan Artificial memiliki makna buatan, sedangkan
Lebih terperinciTeknik Informatika S1
Teknik Informatika S1 Software Requirement Engineering Impact Analysis Disusun Oleh: Egia Rosi Subhiyakto, M.Kom, M.CS Teknik Informatika UDINUS egia@dsn.dinus.ac.id +6285740278021 SILABUS MATA KULIAH
Lebih terperinciPROSES MODEL DESAIN PERANGKAT LUNAK
PROSES MODEL DESAIN PERANGKAT LUNAK Di Susun Oleh : Linda Liana 41813120100 Dosen Pengampu : Wahyu Hari Haji M.Kom FAKULTAS ILMU KOMPUTER PROGRAM STUDY SISTEM INFORMASI UNIVERSITAS MERCU BUANA JAKARTA
Lebih terperinciBAB III ANALISIS DAN PERANCANGAN APLIKASI. Aplikasi chatting mobile phone yang menggunakan NetBeans IDE 6.0 yang di
BAB III ANALISIS DAN PERANCANGAN APLIKASI 3.1 Analisis Tahapan analisis merupakan tahapan yang paling awal dalam membuat sebuah perangkat lunak. Pada tahapan ini dilakukan perancangan terhadap Aplikasi
Lebih terperinciBAB IV ANALISIS DAN PERANCANGAN SISTEM. sistem yang telah ada, dimana analisis sistem merupakan proses mempelajari suatu
BAB IV ANALISIS DAN PERANCANGAN SISTEM 4.1 Analisis Sistem Tahapan yang diperlukan didalam pembuatan suatu progaram yaitu menganalisis sistem yang telah ada, dimana analisis sistem merupakan proses mempelajari
Lebih terperinciBAB 1 PENDAHULUAN 1.1. Latar Belakang
BAB 1 PENDAHULUAN 1.1. Latar Belakang Keberadaan bandara sebagai transportasi udara memberikan kontribusi yang sangat berpengaruh bagi pertumbuhan ekonomi karena setiap waktu terjadi pergerakan lalu-lintas
Lebih terperinciBAB I PENDAHULUAN I.1 Latar Belakang
BAB I PENDAHULUAN I.1 Latar Belakang Pada era globalisasi sekarang ini kebutuhan atas informasi yang cepat dan tepat merupakan suatu keharusan. Proses pengolahan informasi, penyimpanan informasi, interaksi
Lebih terperinciTesting dan Implementasi
Modul ke: 02Fakultas Dosen Fakultas Imlu Komputer Testing dan Implementasi Sistem Informasi berisi tentang Pengembangan Perangkat Lunak. : Agung Priambodo, S.Kom, M.Kom Program Studi Sistem Informasi KONTRAK
Lebih terperinciMAKALAH DESAIN PERANGKAT LUNAK. NAMA : RANI JUITA NIM : DOSEN : WACHYU HARI HAJI. S.Kom.MM
MAKALAH DESAIN PERANGKAT LUNAK NAMA : RANI JUITA NIM : 41813120165 DOSEN : WACHYU HARI HAJI. S.Kom.MM JURUSAN SISTEM INFORMASI FAKULTAS ILMU KOMPUTER UNIVERSITAS MERCU BUANA JAKARTA 2015 A. DESAIN PERANGKAT
Lebih terperinciBAB I PENDAHULUAN. 1.1 Latar Belakang
BAB I PENDAHULUAN 1.1 Latar Belakang PT. Kreasi Ratu Nusantara adalah perusahan swasta yang bergerak dibidang retail perdagangan accessories. Saat ini PT. Kreasi Ratu Nusantara mempunyai beberapa cabang
Lebih terperinciBAB III ANALISIS DAN PERANCANGAN
BAB III ANALISIS DAN PERANCANGAN 3.1 Analisis Sistem Dalam membangun aplikasi belajar matematika untuk anak sekolah dasar kelas 5 SD. Tahap analisis adalah tahap awal dalam membangun sebuah aplikasi. Pada
Lebih terperinciTujuan dan Sasaran. Problem Solving = Algorithms. Pemecahan Masalah. Proses Pemecahan Masalah 15/03/2010. Algoritma Pemrograman
Tujuan dan Sasaran Problem Solving = Algorithms Algoritma Pemrograman Agus Sumaryanto, S.Kom mas.anto72@gmail.com Mengasah kemampuan pemecahan masalah Mengeksplorasi algoritma dalam pemecahan masalah.
Lebih terperinciBAB II TINJAUAN PUSTAKA
BAB II TINJAUAN PUSTAKA 2.1 Resep Elektronik Sistem resep elektronik adalah pemanfaatan sistem elektronik untuk menfasilitasi dan meningkatkan komunikasi urutan resep atau obat, membantu pilihan, administrasi
Lebih terperinciMenjelaskan maksud dari arsitektur PL dan kenapa sangat penting.
METODE DESAIN (2) Pokok Bahasan dalam RPL : Desain Interface Desain Interface Manusia Mesin Desain Prosedural Coding Tujuan Metode Desain Menjelaskan maksud dari arsitektur PL dan kenapa sangat penting.
Lebih terperinciPENDAHULUAN REKAYASA PERANGKAT LUNAK. By PresenterMedia.com
PENDAHULUAN REKAYASA PERANGKAT LUNAK By PresenterMedia.com KELOMPOK 6 Hj.HUSNAYANTI I.K HASLINDA ARDIANSYAH MIFTA FARID MUHLIS TAHIR ANDI LATIFA NABONE ABD.MALIKUL MULKY 2 TUJUAN Memahami apa yang dimaksud
Lebih terperinciBAB III ANALISIS DAN PERANCANGAN
BAB III ANALISIS DAN PERANCANGAN Analisa merupakan bidang yang menarik, melibatkan studi interaksi antar manusia, kelompok-kelompok orang, komputer dan organisasi. Yang digunakan dalam penelitian ini cara
Lebih terperinciManajemen Proyek Sistem Informasi DAY-1. Wiratmoko Yuwono, ST
Manajemen Proyek Sistem Informasi DAY-1 Wiratmoko Yuwono, ST Manajemen Dari Kata Manage : Yang Berarti Menata,Merencanakan, Mengatur, Mengendalikan, Mengelola. Orang yang berkecimpung dalam manajemen disebut
Lebih terperinciPendahuluan Rekayasa Perangkat Lunak
Objective Pendahuluan Rekayasa Perangkat Lunak Untuk memperkenalkan dan untuk menjelaskan pentingnya rekayasa perangkat lunak Untuk menetapkan jawaban dari pertanyaan-pertanyaan kunci tentang rekayasa
Lebih terperinciANALISA & PERANCANGAN SISTEM
ANALISA & PERANCANGAN SISTEM Analisis System Mulyadi, S.Kom, M.S.I Analisa Sistem Analisis sistem - teknik pemecahan masalah yang menguraikan sistem ke dalam beberapa komponen dengan tujuan mempelajari
Lebih terperinciSistem Pakar. Perancangan Sistem Pakar. Kelas A & B. Jonh Fredrik Ulysses
Sistem Pakar Perancangan Sistem Pakar Kelas A & B Jonh Fredrik Ulysses jonh.fredrik.u@gmail.com Pendahuluan Pada materi-materi sebelumnya telah dibahas tentang konsep umum dan teori dari sistem pakar.
Lebih terperinciSystem Analysis. Sistem dan Teknologi Informasi TIP FTP UB
System Analysis Sistem dan Teknologi Informasi TIP FTP UB SDLC (System Development Life Cycle) Fase Analisis Dua komponen utama dalam fase analisis: Requirement Determination (Identifikasi kebutuhan) Mengidentifikasi
Lebih terperinciBAB I PENDAHULUAN. Kebakaran hutan dan lahan gambut di Kalimantan pada awal November 2006,
BAB I PENDAHULUAN I.1. Latar Belakang Kebakaran hutan merupakan suatu bencana yang sangat merugikan banyak orang. Di Indonesia sering kali terjadi kebakaran hutan yang membawa dampak yang buruk bagi masyarakat
Lebih terperinciSTRATEGI PENGUJIAN PERANGKAT LUNAK. Pertemuan 12
STRATEGI PENGUJIAN PERANGKAT LUNAK Pertemuan 12 PENDEKATAN STRATEGIS KE PENGUJIAN PERANGKAT LUNAK Pengujian PL adalah elemen kritis dari jaminan kualitas PL dan mepresentasikan spesifikasi, desain dan
Lebih terperinciBAB 1 PENDAHULUAN Latar belakang. Dewasa ini konstruksi bangunan merupakan salah satu langkah yang diperlukan
BAB 1 PENDAHULUAN 1.1. Latar belakang Dewasa ini konstruksi bangunan merupakan salah satu langkah yang diperlukan dalam pengembangan dalam berbagai sektor. Dalam sebuah pembangunan, diperlukannya perancangan
Lebih terperinciPertemuan 11 METODE DESAIN (2)
Pertemuan 11 METODE DESAIN (2) Pokok Bahasan dalam RPL : Desain Interface Desain Interface Manusia Mesin Desain Prosedural Coding Buku Referensi : Pressman, RS., 2008, Software Engineering: A Practitioner
Lebih terperinciPEMANFAATAN ARDUINO DALAM PENGEMBANGAN SISTEM KEAMANAN RUMAH BERBASIS WEB
PEMANFAATAN ARDUINO DALAM PENGEMBANGAN SISTEM KEAMANAN RUMAH BERBASIS WEB TUGAS AKHIR Disusun sebagai salah satu syarat untuk kelulusan Program Strata 1, di Program Studi Teknik Informatika, Universitas
Lebih terperinciBAB II LANDASAN TEORI. dan belanja daerah atau perolehan lainnya yang sah antara lain:
BAB II LANDASAN TEORI 2.1 Barang Milik Daerah Menurut Permendagri No. 17 Tahun 2007, Barang Milik Daerah (BMD) adalah semua barang yang dibeli atau diperoleh atas beban anggaran pendapatan dan belanja
Lebih terperinciBAB IV HASIL DAN PEMBAHASAN. 4.1 System Flow Katalog Koleksi dan Presensi Pengunjung Perpustakaan
BAB IV HASIL DAN PEMBAHASAN Pada Bab IV ini akan menjelaskan hasil pembuatan rancang bangun aplikasi katalog dan presensi pada perpustakaan Gereja Kristen Indonesia Sulung Bajem Demak. Hasil dari pembuatan
Lebih terperinciWaktu yang lebih efisien. Lebih Aman. Memahami dan Memilih Tool Manajemen Network
Memahami dan Memilih Tool Manajemen Network Mengapa memahami dan memilih Tool Manajemen network begitu penting? antara pemakaian dan performa berbagai macam tool manajemen network dalam grafik ditunjukkan
Lebih terperinci1 PENDAHULUAN. 1.1 Latar Belakang
1 PENDAHULUAN 1.1 Latar Belakang Perkembangan dunia internet saat ini sudah menjadi kebutuhan pokok bagi masyarakat pada umumnya. Internet yang pada awalnya hanya digunakan sebagai media pertukaran data
Lebih terperinciBAB IV ANALISIS DAN PERANCANGAN SISTEM
BAB IV ANALISIS DAN PERANCANGAN SISTEM 4.1 Analisis Sistem Yang Berjalan Analisis sistem merupakan penguraian dari suatu sistem informasi yang utuh kedalam bagian-bagian komponennya dengan maksud untuk
Lebih terperinciBAB III LANDASAN TEORI
BAB III LANDASAN TEORI Landasan teori merupakan panduan untuk menemukan solusi pemecahan masalah yang sedang dihadapi. Pada bab ini akan dikemukakan landasan teori yang terkait dengan permasalahan untuk
Lebih terperinciImplementasi Algoritma Pencarian Akar Kuadrat Bilangan Positif
Implementasi Algoritma Pencarian Akar Kuadrat Bilangan Positif Muhammad Iqbal W. (0510633057) Jurusan Teknik Elektro, Fakultas Teknik, Universitas Brawijaya Dosen Pembimbing: Waru Djuriatno, ST., MT. dan
Lebih terperinciBAB II MODEL Fungsi Model
BAB II MODEL Model adalah representasi dari suatu objek, benda, atau ide-ide dalam bentuk yang lain dengan entitasnya. Model berisi informasi-informasi tentang suatu sistem yang dibuat dengan tujuan untuk
Lebih terperinciBAB IV ANALISA DAN PERANCANGAN SISTEM Analisis Prosedur yang sedang Berjalan
BAB IV ANALISA DAN PERANCANGAN SISTEM 4.1 Analisa Sistem Yang Berjalan 4.1.1 Analisis Prosedur yang sedang Berjalan 4.1.1.1 Use Case Konfirmasi Customer Supplier Pemasukan barang Gudang
Lebih terperinciBAB I PENDAHULUAN. Kabupaten Kupang Propinsi Nusa Tenggara Timur. Luas wilayah Desa Baumata Barat
BAB I PENDAHULUAN 1.1. LATAR BELAKANG Desa Baumata Barat adalah salah satu desa yang terletak Kecamatan Taebenu Kabupaten Kupang Propinsi Nusa Tenggara Timur. Luas wilayah Desa Baumata Barat 2.309 ha/m
Lebih terperinciBAB IV ANALISA DAN PERANCANGAN
BAB IV ANALISA DAN PERANCANGAN 4.1 Analisisa Sistem Web Service Push and Pull Sistem Web Service Push and Pull ini akan dibangun dengan menggunakan Analisis dan Desain berorientasi objek. Analisis dan
Lebih terperinciBAB 1 PENDAHULUAN. 1.1 Latar Belakang
BAB 1 PENDAHULUAN 1.1 Latar Belakang Perkembangan sistem teknologi informasi sekarang ini berkembang semakin pesat dan sangat membantu suatu perusahaan bisnis dalam penggunaan sistem informasi yang otomatis
Lebih terperinci1. BAB 1 PENDAHULUAN. 1.1 Latar Belakang
1. BAB 1 PENDAHULUAN 1.1 Latar Belakang Karimake adalah salah satu perusahaan manufaktur yang memproduksi pakaian rajut. Perusahaan ini didirikan pada tahun 2011. Perusahaan ini berada di sentra industri
Lebih terperinciBAB II LANDASAN TEORI. yang digunakan dalam penyelesaian Tugas Akhir ini, yaitu System Development
BAB II LANDASAN TEORI Dalam penyusunan tugas akhir ini dibutuhkan beberapa landasan teori sebagai acuan dalam penyusunannya. Landasan teori yang dibutuhkan antara lain teori tentang Rancang Bangun, teori
Lebih terperinciBAB II DASAR TEORI. 2.2 Sistem Suku Bunga Secara umum terdapat dua metode dalam perhitungan bunga, yaitu metode Flat dan Efektif.
BAB II DASAR TEORI 2.1 Pengertian Kredit Pengertian kredit mempunyai dimensi yang beraneka ragam, dimulai kata kredit yang berasal dari bahasa Yunani credere yang berarti kepercayaan. Maksudnya pemberi
Lebih terperinciBab 3 Metode dan Perancangan Sistem
Bab 3 Metode dan Perancangan Sistem 3.1 Tahapan Penelitian dan Pengembangan Sistem Penelitian yang dilakukan, diselesaikan melalui tahapan penelitian yang terbagi dalam lima tahapan, yaitu: (1) Analisis
Lebih terperincichapter 7 Integrating quality activities in the project life cycle Empat model proses pengembangan perangkat lunak akan dibahas dalam bagian ini:
chapter 7 Integrating quality activities in the project life cycle 7.1 Metodologi Pengembangan Perangkat Lunak Classic dan Lainnya Empat model proses pengembangan perangkat lunak akan dibahas dalam bagian
Lebih terperinciBAB I PENDAHULUAN Latar Belakang
1 BAB I PENDAHULUAN 1.1. Latar Belakang Pemakaian sistem kendali otomatis saat ini merupakan kebutuhan yang sangat utama untuk menjaga agar proses produksi berjalan seperti yang direncanakan, mengurangi
Lebih terperinciMAKALAH REKAYASA PERANGKAT LUNAK ( KONSEP DESAIN PERANGKAT LUNAK )
MAKALAH REKAYASA PERANGKAT LUNAK ( KONSEP DESAIN PERANGKAT LUNAK ) Disusun Oleh : MUKHAMAT JAFAR 41813120014 MATA KULIAH : REKAYASA PERANGKAT LUNAK UNIVERSITAS MERCUBUANA 2015 1 Konsep & Desain RPL BAB
Lebih terperinciReview Rekayasa Perangkat Lunak. Nisa ul Hafidhoh
Review Rekayasa Perangkat Lunak Nisa ul Hafidhoh nisa@dsn.dinus.ac.id Software Process Sekumpulan aktivitas, aksi dan tugas yang dilakukan untuk mengembangkan PL Aktivitas untuk mencapai tujuan umum (komunikasi
Lebih terperinciBAB 3 METODE PENELITIAN
BAB 3 METODE PENELITIAN Untuk mendapatkan hasil yang baik dalam sebuah penelitian, diperlukan perencanaan yang rapi, pengelolaan yang benar, pengolahan berbagai kebutuhan penelitian dan penggunaan metode
Lebih terperinci1. Penggunaan Pemodelan
2. PEMODELAN BERORIENTASI OBJEK A. Pemodelan sebagai Teknik Desain Teknik pemodelan objek menggunakan tiga macam model untuk menggambarkan sistem, yaitu model objek, model dinamik, dan model fungsional.
Lebih terperinciBAB IV ANALISIS DAN PERANCANGAN SISTEM. permasalahan dari suatu sistem informasi. Hasil akhir dari analisis sistem
BAB IV ANALISIS DAN PERANCANGAN SISTEM 4.1. Analisis yang Berjalan Analisis sistem merupakan proses memilah-milah suatu permasalahan menjadi elemen-elemen yang lebih kecil untuk dipelajari guna mempermudah
Lebih terperinciBAB IV ANALISIS DAN PERANCANGAN SISTEM. Analisis sistem merupakan suatu kegiatan penguraian dari suatu sistem yang
BAB IV ANALISIS DAN PERANCANGAN SISTEM 4.1 Analisis Sistem yang Berjalan Analisis sistem merupakan suatu kegiatan penguraian dari suatu sistem yang utuh ke dalam bagian-bagian komponennya dengan maksud
Lebih terperinciBAB III ANALISIS MASALAH DAN PERANCANGAN PROGRAM
BAB III ANALISIS MASALAH DAN PERANCANGAN PROGRAM III.1. Analisa Sistem Sistem perancangan permainan kartu ini hanya menyediakan angka-angka secara static. Bagi seseorang yang ingin menjumlahkan angka yang
Lebih terperinci