Software

Filters2 filters applied

Year

Readable here

At least an abstract

435 papersQuestions on this topic

1 filter appliedReadable here: At least an abstract Clear all

Licensing Information System In Kesbangpol Kota Pekanbaru
Muhammad Sadar, Didik Siswanto, Susi Handayani · Journal of Applied Engineering and Technological Science · 2019
Abstract onlyNot checked
Understanding Counterexamples for Relational Properties with DIbugger
Mihai Herda, Michael Kirsten, Etienne Brunner et al. · Electronic Proceedings in Theoretical Computer Science · 2019
Abstract onlyNot checked
Pembangunan Sistem Electronic Customer Relationship Management pada PT. Beton Elemenindo Perkasa
Faizal Zaenal Hambali, Wina Witanti, Puspita Nurul Sabrina · Komputika · 2019
Abstract onlyNot checked
Sistem Informasi Perpustakaan Online di Man Kota Solok
Ilham Tri Maulana, Suardinata Suardinata, F Ramadani · Jurnal informatika UPGRIS · 2019
Abstract onlyNot checked
Creation of fish databases for electronic interactive map: tables and keys
O. Klyuchko, L. Buchatsky, Yu. Rud et al. · Ribogospodarsʹka Nauka Ukraïni · 2019
Abstract onlyNot checked
Model-Based Test Suite Generation Using Mutation Analysis for Fault Localization
Yoo-Min Choi, Dong-Jin Lim · Applied Sciences · 2019
Abstract onlyNot checked
Sistem Informasi Unit Kegiatan Mahasiswa Marching Band Universitas Muhammadiyah Surakarta berbasis Web
Bayu Pramitasari, N Nurgiyatna · Emitor: Jurnal Teknik Elektro · 2019
Abstract onlyNot checked
Consideration of risk and safety in stratification metamodeling system
Vitlinskyi Valdemar, Glushchevsky Vyacheslav · SHS Web of Conferences · 2019
Abstract onlyNot checked
Pengembangan Sistem Informasi Berbasis Web untuk Peningkatan Kinerja Unit Bursa Kerja Khusus SMK Negeri 1 Tanjung Raya
Amalina Amalina, Yuliani Dewi Putri · Khazanah Informatika · 2018
Abstract onlyNot checked
Using ACL2 in the Design of Efficient, Verifiable Data Structures for High-Assurance Systems
David Hardin, Konrad Slind · Electronic Proceedings in Theoretical Computer Science · 2018
Abstract onlyNot checked
Automated software testing in the DoD: current practices and opportunities for improvement
Darryl Ahner, James Wisnowski, James R. Simpson · Journal of Defense Analytics and Logistics · 2018
Abstract onlyNot checked
Identifying Key Success Factors in Stopping Flaky Tests in Automated REST Service Testing
Maximiliano A. Mascheroni, Emanuel Irrazábal · Journal of Computer Science and Technology · 2018
Abstract onlyNot checked
Sistem Informasi Menajemen Aset (Studi Kasus: Desa Barepan)
Haris Setyawan, Asroni Asroni · Semesta Teknika · 2018
Abstract onlyNot checked
Implementation of Web Service in Processing of Data Base Financing Costumer Using Fragmentation Method
Kasim Rachmat, Kusumaningrum Retno, Kamase Hamka Witri · E3S Web of Conferences · 2018
Abstract onlyNot checked
Design of Real-Time Database for the Vacuum Cold-Black Environment Simulator
Shao Jingyi, Ning Juan, Liu Yangyang · MATEC Web of Conferences · 2018
Abstract onlyNot checked
ON THE CREATION OF THE AUTOMATION SYSTEM RELATED TO SOCIAL-ECONOMIC MOVEMENTS OF PEOPLE
L. V. Rudikova, V. V. Danilchik · Системный анализ и прикладная информатика · 2018
Abstract onlyNot checked
Розробка методу і програмної моделі статичного аналізатора шкідливих файлів
Svitlana Gavryilenko, Dmitriy Saenko · Сучасні інформаційні системи · 2017
Abstract onlyNot checked
РОЗРОБКА МОДУЛЮ АВТОМАТИЗАЦІЇ ОФОРМЛЕННЯ ВІДПУСТОК НА БАЗІ МОДЕЛІ ПРОЦЕСІВ НАДАННЯ ВІДПУСТОК
Д. Карасьов, А. Максимюк, А. Савицький · Adaptivni Sistemi Avtomatičnogo Upravlinnâ · 2017
Abstract onlyNot checked
CLAIM MANAGEMENT SYSTEM
Ong Lee Wah, Rohayanti Hassan, Shahreen Kasim et al. · Acta Informatica Malaysia · 2017
Abstract onlyNot checked
Program Tools for Estimation of the Green Software Reliability
Maevsky Dmitry, Maevskaya Elena, Shapa Ludmila et al. · ITM Web of Conferences · 2017
Abstract onlyNot checked