[KUMPULAN JURNAL INFORMATIKA] -  Pada Postingan  ini , kami memposting sebuah skripsi berjudul : "VALIDASI PERANGKAT LUNAK DENGAN METODE HYBRID   BERBASIS UML "

Contoh Abstraksi


Kecermatan proses verifikasi dan validasi perangkat lunak merupakan kunci keberhasilan penjaminan mutu  (kualitas) perangkat lunak. Proses validasi model dinamis perangkat lunak sangat menentukan kehandalan perangkat lunak, karena validasi pada tahapan analisis dan desain akan dapat mengurangi resiko kesalahan yang fatal pada tahap implementasi. Keberhasilan validasi model dinamis ditentukan oleh kecermatan analisis dengan dukungan  metode formal dan kakas verifikasi dan validasi model perangkat lunak. Arah  perkembangan validasi model perangkat berbasis UML menjadi kajian utama, dimana potensi perpaduan dengan metode formal yang berorientasi objek (antara lain Object-Oriented Petri  Net dan Object Z) berpeluang untuk dikembangkan menjadi  metode formal  yang bersifat hybrid. 

Kata kunci : Validasi Perangkat Lunak, metode formal, UML, Petri Net, bahasa Z


Berikut ini adalah contoh skripsi skripsi tehnik informatika. Silahkan download jika ingin mempelajari lebih lanjut:  


Semoga Contoh-contoh yang ada pada [KUMPULAN JURNAL INFORMATIKA ] bermanfaat bagi pembaca 


Sumber : [ rachdian com ]