Maria Ulfah Siregar
Maria Ulfah Siregar
UIN Sunan Kalijaga
Verified email at uin-suka.ac.id - Homepage
TitleCited byYear
A new approach to CPU scheduling algorithm: genetic round robin
MU Siregar
International Journal of Computer Applications 47 (19), 2012
182012
Support for model checking Z specifications
MU Siregar
2016 IEEE 17th International Conference on Information Reuse and Integration …, 2016
32016
Experiences using Z2SAL
MU Siregar, J Derrick, S North, AJH Simons
2014 International Conference on Advanced Computer Science and Information …, 2014
22014
Using Abstraction in Model Checking Z Specifications
MU Siregar, J Derrick
The University of Sheffield Engineering Symposium Conference Proceedings Vol …, 2014
12014
An Investigation into the Use of Abstraction in Model Checking Z Specification
MU Siregar, J Derrick
Proceedings of the 9th Annual South-East European Doctoral Student …, 0
1
Translations of Embedded Theorems in Z Specifications
MU Siregar, J Derrick, AS Yazid
IJID (International Journal on Informatics for Development) 5 (2), 26-30, 2019
2019
Expert System for Diagnosis Skin Disease in Infants With Case-Based Reasoning Method
NR Marliana, AS Yazid, MU Siregar
IJID (International Journal on Informatics for Development) 2 (2), 7-13, 2019
2019
Automatic of Correction and Program Evaluation Using Web-Based Systems
SP Fajar, MD Fauzi, MU Siregar
IJID (International Journal on Informatics for Development) 2 (2), 14-20, 2019
2019
Recommendation System of Self-Medication for Mild Digestive Diseases with Dempster Shafer Method
S Abriani, AS Yazid, MU Siregar
IJID (International Journal on Informatics for Development) 3 (1), 1-7, 2019
2019
Design and Development of Web Based Employee Payroll Information System Using Codeigniter Framework and Extreme Programming Method
DEK Mahardika, MU Siregar
IJID (International Journal on Informatics for Development) 7 (2), 1-7, 2019
2019
A Usage of McCall's Software Quality Analysis on the Bonus System of PT Surya Pratama Alam
MU Siregar, AH Arif
JISKA (Jurnal Informatika Sunan Kalijaga) 3 (1), 63-72, 2018
2018
A Scanner and Parser for Z Specifications
MU Siregar, J Derrick
IJID (International Journal on Informatics for Development) 7 (1), 13-18, 2018
2018
A Pre-processing Tool for Z2SAL to Broaden Support for Model Checking Z Specifications
MU Siregar
Quality Software Through Reuse and Integration, 256-286, 2016
2016
An Approach for Pre-Diagnosis Information Literacy Level by Using Expert System
MU Siregar, J Munandar
International Journal on Informatics for Development 1 (1), 2012
2012
DATA PREPARATION FOR DATA MINING BASED ON NEURAL NETWORK: A CASE STUDY ON GERMAN CREDIT CLASSIFICATION DATASET
MU Siregar
The system can't perform the operation now. Try again later.
Articles 1–15