Visual Graphical Interpreted Language for Discrete Modeling DLAA
Dmitry Gapanovich, Vladimir Sukhomlin · Современные информационные технологии и IT-образование · 2025
Abstract onlyNot checked
Software
Filters2 filters applied
345 papersQuestions on this topic
DEVELOPMENT OF A FAULT INJECTION TOOL & DATASET FOR VERIFICATION OF CAMERA BASED PERCEPTION IN ROBOTIC SYSTEMS
Alim Kerem Erdoğmuş, Uğur Yayan · Eskişehir Osmangazi Üniversitesi Mühendislik ve Mimarlık Fakültesi Dergisi · 2022
Abstract onlyNot checked
Pengembangan Sistem Informasi Cuci Mobil Berbasiskan Website
Maghfirotur Rohmah, M. Syafiih, Ahmad Hudawi AS · Rekayasa · 2022
Abstract onlyNot checked
Vulnerability-oriented directed fuzzing for binary programs
Lu Yu, Yuliang Lu, Yi Shen et al. · Scientific Reports · 2022
Abstract onlyNot checked
Implementasi Web Profil Dinamis Berbasis Based Problem pada CV. Patria Agro Nusantara di Kabupaten Blitar
Sugiarto Sugiarto, Felicitas Deru Dewanti, Ratna Yulistiani et al. · Jurnal Pengabdian Multidisiplin · 2022
Abstract onlyNot checked
Construction and design of dynamic community management system for the elderly
Wang Rui, Zhou Chenghang, Deng Zhuofu · ITM Web of Conferences · 2022
Abstract onlyNot checked
Business Patterns Catalogue and Selection Proposal for the Conceptual Model of a Software Product
Oscar Carlos Medina, Manuel Pérez Cota, Brenda Elizabeth Meloni et al. · Journal of Universal Computer Science · 2021
Abstract onlyNot checked
FIRM-COV: High-Coverage Greybox Fuzzing for IoT Firmware via Optimized Process Emulation
Juhwan Kim, Jihyeon Yu, Hyunwook Kim et al. · IEEE Access · 2021
Abstract onlyNot checked
Characterizing Buffer Overflow Vulnerabilities in Large C/C++ Projects
Jose D'Abruzzo Pereira, Naghmeh Ivaki, Marco Vieira · IEEE Access · 2021
Abstract onlyNot checked
Evidence-based lean conceptual data modelling languages
Pablo Fillotrani, C. Maria Keet · Journal of Computer Science and Technology · 2021
Abstract onlyNot checked
Extract transform load process in banking reporting system
Mokhamad Hendayun, Erwin Yulianto, Jack Febrian Rusdi et al. · MethodsX · 2021
Abstract onlyNot checked
VP_TT: A value propagation based equivalence checker for testability transformations
Ramanuj Chouksey, Sachin Kumar Maddheshiya, Chandan Karfa · IET Software · 2021
Abstract onlyNot checked
Design and Implementation of Travel Agent in the Face of the COVID-19 pandemic
Jauhari, Doni A F, Ayu Mufarroha Fifin et al. · E3S Web of Conferences · 2021
Abstract onlyNot checked
More Than Two Decades of Research on Verification of UML Class Models: A Systematic Literature Review
Asadullah Shaikh, Abdul Hafeez, Asif Ali Wagan et al. · IEEE Access · 2021
Abstract onlyNot checked
Web-based Information System Design of Karang Taruna with Design Thinking Method Approach
Dikdik Musfar Pribadi, Falaah Abdussalaam, Jaenal Arifin · Digital Zone: Jurnal Teknologi Informasi dan Komunikasi · 2021
Abstract onlyNot checked
PyDSLRep: A domain-specific language for robotic simulation in V-Rep.
Andrés C Jiménez, John P Anzola, Vicente García-Díaz et al. · PLoS ONE · 2020
Abstract onlyNot checked
A definition-by-example approach and visual language for activity patterns in engineering disciplines.
Mario Janke, Tobias Kuschke, Patrick Mäder · PLoS ONE · 2020
Abstract onlyNot checked
Optimal path test data generation based on hybrid negative selection algorithm and genetic algorithm.
Shayma Mustafa Mohi-Aldeen, Radziah Mohamad, Safaai Deris · PLoS ONE · 2020
Abstract onlyNot checked
Converting OCL and CGMES Rules to SHACL in Smart Grids
Mohamed Larhrib, Miguel Escribano, Carlos Cerrada et al. · IEEE Access · 2020
Abstract onlyNot checked
Stability Assessment Method Considering Fault Fixing Time in Open Source Project
Hironobu Sone, Yoshinobu Tamura, Shigeru Yamada · International Journal of Mathematical, Engineering and Management Sciences · 2020
Abstract onlyNot checked