7.Model formal method

-

   Formal Method Models


Pada model ini, digunakan notasi matematika yang terperinci dan penuh ketelitian dalam mengidentifikasi desain dan menguji sistem yang berbasis komputer. Metode ini sering dipakai untuk spesifikasi yang detail, rancangan dan verifikasi pada bagian-bagian sistem yang penting (bersifat kritikal) seperti pada sistem avionic dan aerospace, serta pada sistem keamanan yang kritikal pada monitor jantung, ATM (Anjungan Tunai Mandiri) dan pada perbankan.

 Keuntungan menggunakan teknik formal method adalah meminimalkan resiko dengan adanya perhitungan komputasi.

Sedangkan kerugiannya adalah:
  • Biaya Tinggi.
  • Kompleks.
  • Tidak Umum untuk Proyek Software pada umumnya.

Komentar

Posting Komentar

Postingan populer dari blog ini

22.Model WATERFALL

-
Gambar
        Waterfall Model Waterfall adalah pendekatan SDLC paling awal yang digunakan untuk pengembangan perangkat lunak. Hal ini juga disebut sebagai model SDLC linear-sekuensial. Hal ini sangat sederhana untuk memahami dan menggunakanya dalam mengimplementasikan sebuah sistem.  Dalam Model Waterfall, setiap tahap harus berurutan, dan tidak dapat meloncat ketahap berikutnya, harus menyelesaikan tahap pertama baru lanjut ke tahap ke dua dst.   Langkah-langkah Waterfall SDLC   Pendekatan Waterfall digunakan secara luas dalam Pengembangan sistem, step-step nya terdiri dari   1.      Requirement Gathering and analysis  Mengumpulkan kebutuhan secara lengkap kemudian kemudian dianalisis dan didefinisikan kebutuhan yang harus dipenuhi oleh program yang akan dibangun. Fase ini harus dikerjakan secara lengkap untuk bisa menghasilkan desain yang lengkap. 2.      System ...
Baca selengkapnya

8.Model SDLC Incremental

-
Gambar
Model Incremental model Incremental model adalah model pengembangan sistem pada software engineering berdasarkan requirement software yang dipecah menjadi beberapa fungsi atau bagian sehingga model pengembangannya secara bertahap.  Kelebihan Incremental Model : Cocok digunakan bila pembuat software tidak banyak/kekurangan anggota. Mampu mengakomodasi perubahan kebutuhan Customer. Resiko yang rendah pada pengembangan sistem. Mengutamakan fungsi-fungsi pada sistem perangkat lunak sehingga kemudahan pemakaian sistem yang paling diutamakan. Tahap awal adalah dasar dari pembuatan tahap berikutnya (dikerjakan secara terurut). Mengurangi trauma karena perubahan sistem. Klien dibiasakan perlahan-lahan menggunakan produknya secara bagian per bagian. Memaksimalkan pengembalian modal investasi konsumen.                Kelemahan Incremental Model : Hanya akan berhasi jika tidak ada ...
Baca selengkapnya

FLOWCHART

-
Gambar
FLOWCHART A.   Pengertian Flowchart Flowchart /diagram alir merupakan suatu jenis diagram yang merepresentasikan algoritma atau langkah-langkah instruksi yang berurutan dalam sistem. Definisi Flowchart menurut para ahli: 1.       Menurut Pahlevy (2010) "Flowchart ( bagan alir ) adalah gambaran dalam bentuk diagram alir dari algoritma-algoritma dalam suatu program, yang menyatakan arah alur program tersebut". 2.       Menurut Jogiyanto (2005)  "Bagan alir  (flowchart)  adalah bagan  (chart) yang menunjukkan alir atau arus  (flow)  di dalam program atau prosedur sistem secara logika". 3.       Menurut Krismiaji (2010) dalam buku Sistem Informasi Akuntansi "Bagan alir merupakan teknik analitis yang digunakan untuk menjelaskan aspek-aspek sistem informasi secara jelas, tepat dan logis". 4.       Menurut Indraj...
Baca selengkapnya