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

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

Found 2 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.
Kajian terhadap Beberapa Metode Optimasi (Survey of Optimization Methods) Munirah M; Subanar -
JUITA : Jurnal Informatika JUITA Vol. 5 Nomor 1, Mei 2017
Publisher : Department of Informatics Engineering, Universitas Muhammadiyah Purwokerto

Show Abstract | Download Original | Original Source | Check in Google Scholar | Full PDF (747.034 KB) | DOI: 10.30595/juita.v5i1.1872

Abstract

Makalah ini berisi tentang kajian terhadap metode-metode optimasi yang telah ditemukan dan dikembangkan orang dan penerapannya. Metode optimasi bermula pada usaha untuk menemukan nilai-nilai maksimum atau minimum sebuah fungsi yang menjadi pokok persoalan dalam kalkulus ketika pertama kali orang mengetengahkan teorema-teorema yang berkaitan dengan nilai tengah atau nilai rata-rata sebuah fungsi. Persoalan ini berkembang secara praktis dalam usaha untuk menemukan nilai-nilai yang optimal pada suatu selang nilai sebuah fungsi. Yang kemudian menjadi cabang tersendiri dalam matematika menjadi matematika optimasi. Dalam kajian ini menyimpulkan bahwa optimasi hanya sebagai usaha untuk memperoleh pilihan solusi terbaik dari sejumlah solusi yang mungkin tersedia. Dengan demikian, gagasan optimasi dapat diperluas dan dikembangkan dalam berbagai konteks yang berbeda dari konteks sebelumnya, dalam cara pandang metode yang berbeda. Kata Kunci: Metode Optimasi, Komputasi, Matematika pemrograman. 
Co-Authors Aslan Alwi MHD. Reza M.I. Pulungan Subanar -