JUITA : Jurnal Informatika
JUITA Vol. 4 Nomor 1, Mei 2016

Survey Metode Formal dalam Verifikasi dan Validasi

Munirah M (Unknown)
Aslan Alwi (Unknown)
Reza M.I. Pulungan (Unknown)

Article Info

Publish Date
03 Nov 2016

Abstract

Paper ini ditujukan untuk mensurvey metode formal yang digunakan orang baik itu dalam usaha mengembangkan software & harware, atau dalam usaha melakukan verifikasi dan validasi. Beberapa metode formal yang hendak ditinjau adalah CPN, PFSA, Actor Model, Rebeca, LTL, ACTL, CTL, UML, Hybrid Automata dan ASM. Pada setiap tinjauan, dijelaskan motivasi dan gagasan dasar metode formal bersangkutan secara intuitif dan implementasi-implementasinya yang merujuk pada berbagai paper-paper penelitian yang telah dilakukan orang menyangkut metode formal bersangkutan.

Copyrights © 2016




Citation Download
RIS
EndNote, Reference Manager, ProCite
BibTex
Latex, Jabref
Full PDF
546.382 KB
Original Source
Download Original
Google Scholar
Check in Google Scholar
Journal Info
JUITA : Jurnal Informatika
Website

Abbrev

JUITA

Publisher

Universitas Muhammadiyah Purwokerto

Subject

Computer Science & IT

Description

UITA: Jurnal Informatika is a science journal and informatics field application that presents articles on thoughts and research of the latest developments. JUITA is a journal peer reviewed and open access. JUITA is published by the Informatics Engineering Study Program, Universitas Muhammadiyah ...