Article Per Year (5 Year)
p-Index From 2019 - 2024
0
P-Index
This Author published in this journals
All Journal JUITA : Jurnal Informatika
Aslan Alwi
Unknown Affiliation
Computer Science & IT

Published : 1 Documents Claim Missing Document
Claim Missing Document
Check
Articles

Found 1 Documents
Search

 1 
Survey Metode Formal dalam Verifikasi dan Validasi Munirah M; Aslan Alwi; Reza M.I. Pulungan
JUITA : Jurnal Informatika JUITA Vol. 4 Nomor 1, Mei 2016
Publisher : Department of Informatics Engineering, Universitas Muhammadiyah Purwokerto

Show Abstract | Download Original | Original Source | Check in Google Scholar | Full PDF (546.382 KB) | DOI: 10.30595/juita.v4i1.1181

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.
Co-Authors MHD. Reza M.I. Pulungan Munirah M