Temporal Requirement Patterns in Deductive Verification of Process-Oriented Programs

Συγγραφείς: Chernenko, Ivan M., Anureev, Igor S.

Πηγή: 2024 IEEE International Multi-Conference on Engineering, Computer and Information Sciences (SIBIRCON) Multi-Conference on Engineering, Computer and Information Sciences (SIBIRCON), 2024 IEEE International. :451-456 Sep, 2024

Relation: 2024 IEEE International Multi-Conference on Engineering, Computer and Information Sciences (SIBIRCON)

How Ready for HCI? A Qualitative Analysis of the Practice of Soft Skills Related to HCI by Women Involved in the Digital Girls Program Partners Projects

Συγγραφείς: Sofia Bento Desidério, Maria Rebecca Lopes Lelis, Maria Elanne M. Rodrigues, Anna Beatriz Marques

Πηγή: Journal on Interactive Systems, Vol 15, Iss 1 (2024)

Θεματικοί όροι: Computer engineering. Computer hardware, 4. Education, 05 social sciences, 16. Peace & justice, Digital Girls Program, Soft Skills, Human-Computer Interaction, TK7885-7895, QA76.75-76.765, 5. Gender equality, 0504 sociology, Computer Science, 0501 psychology and cognitive sciences, Computer software, Survey

Σύνδεσμος πρόσβασης: https://doaj.org/article/fe5fdd05347747a0b16fa2792519ad40

Visualization Method for Data Structure Evolution in Program Debugging

Συγγραφείς: SU Qing, CHEN Jiancheng, GU Guosheng, LIU Dongning, HUANG Jianfeng

Πηγή: Jisuanji gongcheng, Vol 50, Iss 9, Pp 197-207 (2024)

Θεματικοί όροι: program debugging, data structure visualization, component evolution behavior, finite state machine, data structure evolution model, Computer engineering. Computer hardware, TK7885-7895, Computer software, QA76.75-76.765

Περιγραφή αρχείου: electronic resource

Relation: https://www.ecice06.com/fileup/1000-3428/PDF/20240920.pdf; https://doaj.org/toc/1000-3428

Σύνδεσμος πρόσβασης: https://doaj.org/article/5bdfcb7c144c43f9a1c12e67bfe733e6

Analyzing the Logistics of the Brazilian Book and Teaching Material Program: a sociotechnical strategy to inform optimization

Συγγραφείς: Roberto Pereira 0002, Andressa Sebben, Krissia Menezes, Patricia Castellano, Leticia Mara Peres, Guilherme Alex Derenievicz, Marcos A. Castilho, Nadja Rodrigues, Silvério da Cruz

Πηγή: Journal on Interactive Systems, Vol 15, Iss 1 (2024)

Θεματικοί όροι: Public Education, TK7885-7895, Sociotechnical Analysis, QA76.75-76.765, Computer engineering. Computer hardware, 4. Education, 05 social sciences, Book and Teaching Material, 0501 psychology and cognitive sciences, Logistics, Computer software, 0101 mathematics, 01 natural sciences

Σύνδεσμος πρόσβασης: https://doaj.org/article/34c64a624dca433ca91db5f6d1231932

A Semantic-Web Oriented Competency Model for Engineering Programs

Συγγραφείς: Evain, Nicolas, Exposito, Ernesto, Arnould, Philippe

Πηγή: 48th International Conference on Software Engineering - IEEE SWEBOK Summit 2026 (ICSE 2026), IEEE/ACM, Apr 2026, Rio de Janeiro, Brazil

Θεματικοί όροι: Software Engineering

Σύνδεσμος πρόσβασης: https://arxiv.org/abs/2605.20401

Obtaining Program Graphics of the Output Voltage and Investigation of Experimental Characteristics of the Logarithmic Detector

Συγγραφείς: Chernysh, Denis E.

Πηγή: 2022 IEEE International Multi-Conference on Engineering, Computer and Information Sciences (SIBIRCON) Engineering, Computer and Information Sciences (SIBIRCON), 2022 IEEE International Multi-Conference on. :1000-1003 Nov, 2022

Relation: 2022 IEEE International Multi-Conference on Engineering, Computer and Information Sciences (SIBIRCON)

Software Fault Localization Based on Program Mutation Analysis

Συγγραφείς: WANG Qi,SUN Wenhui

Πηγή: Jisuanji gongcheng, Vol 43, Iss 12, Pp 55-59 (2017)

Θεματικοί όροι: fault localization, program mutation, successful test case, code coverage, automated test, Computer engineering. Computer hardware, TK7885-7895, Computer software, QA76.75-76.765

Περιγραφή αρχείου: electronic resource

Relation: https://www.ecice06.com/fileup/1000-3428/PDF/201712010.pdf; https://doaj.org/toc/1000-3428

Σύνδεσμος πρόσβασης: https://doaj.org/article/ea02c20c058747daa19e200e6296dd9e

Analysis of Process Modeling in Modern Software Program to Support 'Smart' Agriculture

Συγγραφείς: Marzhan Melsovna Toguzova, Marzhan Yessenbekovna Rakhymberdina, Natalya Anatolyevna Kulenova, Zhassulan Kudaibergenovich Shaimardanov, Zhanna Alexandrovna Assylkhanova, Baitak Apshikur, Nail Alikuly Beisekenov

Πηγή: Chemical Engineering Transactions, Vol 94 (2022)

Θεματικοί όροι: Chemical engineering, TP155-156, Computer engineering. Computer hardware, TK7885-7895

Περιγραφή αρχείου: electronic resource

Relation: https://www.cetjournal.it/index.php/cet/article/view/12702; https://doaj.org/toc/2283-9216

Σύνδεσμος πρόσβασης: https://doaj.org/article/1c16583791a54d27a465903d82963f09

HPL-MxP Multiple lookahead Optimization for Kunpeng Processors

Συγγραφείς: GAO Ang, WANG Yinshan, YAN Wen, SONG Changcheng, WANG Long, YAO Erlin

Πηγή: Jisuanji gongcheng, Vol 51, Iss 8, Pp 354-363 (2025)

Θεματικοί όροι: hpl-mxp benchmark test program, matrix blocking, mixed precision, multi-level lookahead optimization strategy, panel storage mode, Computer engineering. Computer hardware, TK7885-7895, Computer software, QA76.75-76.765

Περιγραφή αρχείου: electronic resource

Relation: https://www.ecice06.com/fileup/1000-3428/PDF/jsjgc-51-8-354.pdf; https://doaj.org/toc/1000-3428

Σύνδεσμος πρόσβασης: https://doaj.org/article/fa6f983da98444d09401b58262122b24

Data Race Statement Level Detection in Concurrent Programs Based on Adaboost Model

Συγγραφείς: SUN Jiaze, YI Gang, SHU Xinfeng

Πηγή: Jisuanji gongcheng, Vol 47, Iss 12, Pp 215-220 (2021)

Θεματικοί όροι: data race, concurrent program, program instrumentation, adaboost model, statement level, Computer engineering. Computer hardware, TK7885-7895, Computer software, QA76.75-76.765

Περιγραφή αρχείου: electronic resource

Relation: https://www.ecice06.com/fileup/1000-3428/PDF/20211227.pdf; https://doaj.org/toc/1000-3428

Σύνδεσμος πρόσβασης: https://doaj.org/article/6cd8e042de7c4372a0188a54a283c318

USER-ORIENTED OPTIMIZATION OF THE GUI OF A FINITE ELEMENT PROGRAMME TO ENHANCE THE USABILITY OF SIMULATION TOOLS

Συγγραφείς: Dinkel, Christian, Billenstein, Daniel, Goller, Daniel, Rieg, Frank

Πηγή: 2018 South-Eastern European Design Automation, Computer Engineering, Computer Networks and Society Media Conference (SEEDA_CECNSM) Design Automation, Computer Engineering, Computer Networks and Society Media Conference (SEEDA_CECNSM), 2018 South-Eastern European. :1-5 Sep, 2018

Relation: 2018 South-Eastern European Design Automation, Computer Engineering, Computer Networks and Society Media Conference (SEEDA_CECNSM)

Web Engagement Readiness for Program Need Analysis (PNA) In Malaysian Community College

Συγγραφείς: Ahmad, Norita, Abdullah, Aziman

Πηγή: 2021 International Conference on Software Engineering & Computer Systems and 4th International Conference on Computational Science and Information Management (ICSECS-ICOCSIM) ICSECS-ICOCSIM Software Engineering & Computer Systems and 4th International Conference on Computational Science and Information Management (ICSECS-ICOCSIM), 2021 International Conference on. :37-42 Aug, 2021

Relation: 2021 International Conference on Software Engineering & Computer Systems and 4th International Conference on Computational Science and Information Management (ICSECS-ICOCSIM)

Large Language Models for Automated Program Repair: Approaches, Evaluation, and Future Challenges

Συγγραφείς: Esraa Dawod, Mahmoud Hussein, Ashraf Elsisi, Afaf Mousa

Πηγή: IJCI International Journal of Computers and Information (2026)

Θεματικοί όροι: Automated Program Repair, Large Language Models, Fine-Tuning, Prompt Engineering, Computer engineering. Computer hardware, TK7885-7895

Περιγραφή αρχείου: electronic resource

Relation: https://ijci.journals.ekb.eg/article_487141.html; https://doaj.org/toc/1687-7853; https://doaj.org/toc/2735-3257

Σύνδεσμος πρόσβασης: https://doaj.org/article/b1ee9cd93d7a44c3863b6261a407d057

Cloud software code generation via knowledge graphs and multi-modal learning

Συγγραφείς: Fanlong Zhang, Huanming Chen, Quan Chen, Jianqi Liu

Πηγή: Journal of Cloud Computing: Advances, Systems and Applications, Vol 14, Iss 1, Pp 1-19 (2025)

Θεματικοί όροι: Cloud computing, Software engineering, Code generation, Multi-modal learning, Computer engineering. Computer hardware, TK7885-7895, Electronic computers. Computer science, QA75.5-76.95

Περιγραφή αρχείου: electronic resource

Relation: https://doaj.org/toc/2192-113X

Σύνδεσμος πρόσβασης: https://doaj.org/article/de5210d36c2047cbb0d25c356ddb9c68

SISTEM MONITORING DAN EVALUASI PENERIMA PROGRAM KELUARGA HARAPAN (PKH) UNTUK KELUARGA PENERIMA MANFAAT (KPM) BERBASIS WEB di NAGARI KOTO TINGGI KECAMATAN ENAM LINGKUNG

Συγγραφείς: Indra Warman, Selfen Asrizon

Πηγή: Jurnal Teknoif Teknik Informatika Institut Teknologi Padang, Vol 9, Iss 2 (2021)

Θεματικοί όροι: Sistem Monitoring, Program Keluarga Harapan, Web Laravel, PKH, Computer engineering. Computer hardware, TK7885-7895, Computer software, QA76.75-76.765

Περιγραφή αρχείου: electronic resource

Relation: https://teknoif.itp.ac.id/index.php/teknoif/article/view/691; https://doaj.org/toc/2338-2724; https://doaj.org/toc/2598-9197

Σύνδεσμος πρόσβασης: https://doaj.org/article/dfb3d04305984ecd87defd7cfc154e12

Enhancing Engineering Computer Graphics Education: A Focus on AutoCAD Program for Student Learning

Συγγραφείς: Mashrapova Gulbakhor Mamasalievna.

Πηγή: Texas Journal of Engineering and Technology; Vol. 30 (2024): TJET; 26-28; 2770-4491

Όροι ευρετηρίου: Engineering computer graphics, info:eu-repo/semantics/article, info:eu-repo/semantics/publishedVersion, Peer-reviewed Article

Σύνδεσμος: https://zienjournals.com/index.php/tjet/article/view/5131
https://asianeducationindex.com/handle/123456789/60894
https://zienjournals.com/index.php/tjet/article/view/5131/4214
https://zienjournals.com/index.php/tjet/article/view/5131/4214

Sentinel: The Development of a Web and Mobile Application for the Development and Testing of an E-service Learning Interprofessional Telehealth Community Based Rehabilitation Program among Hypertensive Clients

Συγγραφείς: Bacungan, Rafael Benedict E., Choi, Kurt Martin C., Chua, Jansen Patrick A., Dupo, Jericho P., Estrella, Noel E.

Πηγή: 2021 International Conference on Software Engineering & Computer Systems and 4th International Conference on Computational Science and Information Management (ICSECS-ICOCSIM) ICSECS-ICOCSIM Software Engineering & Computer Systems and 4th International Conference on Computational Science and Information Management (ICSECS-ICOCSIM), 2021 International Conference on. :341-347 Aug, 2021

Relation: 2021 International Conference on Software Engineering & Computer Systems and 4th International Conference on Computational Science and Information Management (ICSECS-ICOCSIM)

Program execution summarization by novel design pattern specification, detection, and consolidation techniques

Συγγραφείς: Aswathy Mohan, Swaminathan Jayaraman

Πηγή: Array, Vol 28, Iss , Pp 100555- (2025)

Θεματικοί όροι: Augmented call tree, Declarative specification, Design pattern detection, Execution trace, Gang-of-four patterns, Java, Computer engineering. Computer hardware, TK7885-7895, Electronic computers. Computer science, QA75.5-76.95

Περιγραφή αρχείου: electronic resource

Relation: http://www.sciencedirect.com/science/article/pii/S2590005625001821; https://doaj.org/toc/2590-0056

Σύνδεσμος πρόσβασης: https://doaj.org/article/78ec7529315d473c85ad366fd094a97e

A Study of an Agile Methodology with Scrum Approach to the Filipino Company-Sponsored I.T. Capstone Program

Συγγραφείς: Giuseppe Ng

Πηγή: International Journal of Computing Sciences Research, Vol 2, Iss 2, Pp 68-88 (2018)

Θεματικοί όροι: FOS: Computer and information sciences, Computer engineering. Computer hardware, Knowledge management, Social Sciences, Computer Science - Software Engineering, Engineering, scrum, Chromatography, Communication, 4. Education, agile, 05 social sciences, T58.5-58.64, Programming language, 0506 political science, Algorithm, capstone program, Chemistry, Maintainability, Software Process Improvement, Physical Sciences, Medicine, Agile software development, Information Systems, Medical education, Engineering management, Science, Frugal Innovation in Emerging Markets, Business, Management and Accounting, Information technology, Agile Software Development in Software Engineering, TK7885-7895, 0502 economics and business, sprint, Business and International Management, company client sponsored student projects, Scrum, Software engineering, Sample (material), Software development, QA75.5-76.95, Agile Software Development, Computer science, Knowledge Sharing in Virtual Communities, Software Engineering (cs.SE), Electronic computers. Computer science, Computer Science, Capstone, Process management, Software

Σύνδεσμος πρόσβασης: https://www.stepacademic.net/ijcsr/article/download/82/45/
http://arxiv.org/abs/1902.01821
https://doaj.org/article/1e3435bb050645b88dee0ee9ac0c665d

Computer engineering, computer science and management information systems: partners in a unified software engineering curriculum

Συγγραφείς: Parrish, A., Borie, R., Cordes, D., Dixon, B., Hale, D., Hale, J., Jackson, J., Sharpe, S.

Πηγή: Proceedings 11th Conference on Software Engineering Education Software engineering education Software Engineering Education, 1998. Proceedings., 11th Conference on. :67-75 1998

Relation: Proceedings 11th Conference on Software Engineering Education