VeriGen: An LLM-Augmented Framework for End-to-End Automation of Software Development Lifecycle - From Requirements Specifications to Code Generation

Συγγραφείς: Ahmed, M. A., Author, Anwar, Muhammad Waseem, Author, Butt, W. H., Author, Azam, F., Author

Συνεισφορές: Ahmed, M. A., Author, Anwar, Muhammad Waseem, Author, Butt, W. H., Author, Azam, F., Author

Πηγή: IEEE Access. 14:63962-63990

Θεματικοί όροι: Code Generation, End-to-End Software Development, Generative Artificial Intelligence (GenAI), Large Language Models (LLMs), RUPPs Templates, Sequence Diagram Generation, Structured Natural Language (SNL), UML Class Diagram Generation, Verification and Optimization, VeriGen Tool, Artificial life, Automatic programming, Automation, Computer programming languages, Computer software, Life cycle, Requirements engineering, Structured programming, Verification, Codegeneration, End to end, Generative artificial intelligence, Language model, Large language model, Natural languages, Optimisations, RUPP template, Sequence diagrams, Structured natural language, UML class diagrams, Codes (symbols), Software design

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

Σύνδεσμος πρόσβασης: https://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-76775
https://doi.org/10.1109/ACCESS.2026.3686308

A Software Tool to Support Structured Object-Oriented Programming

Συγγραφείς: Xia, Ying, Liu, Shaoying

Πηγή: Proceedings of the 2025 7th World Symposium on Software Engineering. :88-93

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3779657.3779671

Frex: Dependently Typed Algebraic Simplification

Συγγραφείς: Allais, Guillaume, Brady, Edwin, Corbyn, Nathan, Kammar, Ohad, Yallop, Jeremy

Πηγή: Proceedings of the ACM on Programming Languages. 9(ICFP):30-65

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3747506

Evaluation of Implementation: A Taxonomy of Implementation Science Theories, Models, and Frameworks

Συγγραφείς: Nilsen, Per, 1960-, Author

Συνεισφορές: Nilsen, Per, 1960-, Author

Πηγή: Handbook of Health Services Evaluation: Theories, Methods and Innovative Practices. :161-172

Θεματικοί όροι: Determinant frameworks, Evaluation, Health services, Implementation science, Measures, Models, Theories, Information systems, Information use, Determinant framework, Evaluation framework, Intervention programs, Measure, Process-models, Theory, Theory model, Structured programming

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

Σύνδεσμος πρόσβασης: https://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-225165

High-level quantum structured programs as quantum registers compositions

Συγγραφείς: Chamizo, David, Garcia-Alonso, Jose, Murillo, Juan M.

Θεματικοί όροι: Quantum structured programming, Quantum programming, Modularity, Abstraction, Quantum software engineering

Examining differences in parent-reported screen time from school to summer in children: an observational cohort study

Συγγραφείς: Olivia L. Finnegan, R. Glenn Weaver, Sarah Burkart, Bridget Armstrong, Elizabeth L. Adams, Christopher D. Pfledderer, Alexander C. McLain, Keith Brazendale, Xuanxuan Zhu, James W. White, Srihari Nelakuditi, Michael W. Beets

Πηγή: BMC Public Health, Vol 26, Iss 1 (2026)

Θεματικοί όροι: Screen time, Structured programming, Vacation, Children, Public aspects of medicine, RA1-1270

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

Relation: https://doaj.org/toc/1471-2458

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

Apla+: a Practical Service-oriented Programming Language for Service Orchestration

Συγγραφείς: Xie, Wuping, Wan, Songsong, Jiang, Dongming

Πηγή: 2022 7th International Conference on Computer and Communication Systems (ICCCS) Computer and Communication Systems (ICCCS), 2022 7th International Conference on. :80-85 Apr, 2022

Relation: 2022 7th International Conference on Computer and Communication Systems (ICCCS)

Applied computer science. Practical exercises for learning to program in the C language

Συγγραφείς: Alcover Garau, Pedro María

Συνεισφορές: Repositorio Digital UPCT

Πηγή: Repositorio Digital UPCT
instname

Θεματικοί όροι: Practical Exercises, Control Structures, 4. Garantizar una educación inclusiva y equitativa de calidad y promover oportunidades de aprendizaje permanente para todos, Lenguajes y Sistemas Informáticos, Structured Programming, 12 Matemáticas::1203 Ciencia de Los Ordenadores::1203.23 Lenguajes de Programación, C Programming, Programming Fundamentals

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://hdl.handle.net/10317/18704
https://hdl.handle.net/10317/18704

Developing Computational Thinking Skills Through a Text-Based Programming Approach: A Conceptual Framework

Συγγραφείς: Fariza Zahari, Ahmad Zamzuri Mohamad Ali

Πηγή: Journal of Research, Innovation, and Strategies for Education, Vol 2, Iss 6 (2025)

Θεματικοί όροι: Computational Thinking Skills, Text-Based Programming, Structured Programming, Education

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

Relation: https://rise.teknologi.edu.my/index.php/journal/article/view/52; https://doaj.org/toc/3030-6582; https://doaj.org/toc/3030-5330

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

Transfinite Structured Programming

Συγγραφείς: Bhaskar, Siddharth^Aff10

Συνεισφορές: Hartmanis, Juris, Founding Editor^Aff1, Goos, Gerhard, Founding Editor^Aff2, Bertino, Elisa, Series Editor^Aff3, Gao, Wen, Series Editor^Aff4, Steffen, Bernhard, Series Editor^Aff5, Yung, Moti, Series Editor^Aff6, Beckmann, Arnold, editor^Aff7, Oitavem, Isabel, editor^Aff8, Manea, Florin, editor^Aff9

Πηγή: Crossroads of Computability and Logic: Insights, Inspirations, and Innovations : 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14–18, 2025, Proceedings. 15764:159-174

Detecting ulterior motives from verbal cues in group deliberations

Συγγραφείς: Dunbar, Norah E, Burgoon, Judee K, Chen, Xunyu, Wang, Xinran, Ge, Saiying, Huang, Qing, Nunamaker, Jay

Πηγή: Frontiers in Psychology. 14

Θεματικοί όροι: 52 Psychology (for-2020), 5201 Applied and Developmental Psychology (for-2020), deception detection, verbal deception, interviewing, deceptive messages, structured programming for linguistic cue extraction (SPLICE), Linguistic Inquiry and Word Count (LIWC) features, Linguistic Inquiry and Word Count (LIWC) features, deception detection, deceptive messages, interviewing, structured programming for linguistic cue extraction (SPLICE), verbal deception, 1701 Psychology (for), 1702 Cognitive Sciences (for), 32 Biomedical and clinical sciences (for-2020), 52 Psychology (for-2020)

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://escholarship.org/uc/item/9ts5t8g8
https://escholarship.org/content/qt9ts5t8g8/qt9ts5t8g8.pdf

Programar en la universidad. Cuadernillo de apoyo cognitivo para el análisis de los procesos

Συγγραφείς: D’Angelo, Verónica Sofía

Πηγή: Revista Colombiana de Computación, Vol 25, Iss 1 (2024)
Vol. 25 Núm. 1 (2024): Revista Colombiana de Computación (Enero-Junio); 1-18
Repositorio UNAB
Universidad Autónoma de Bucaramanga-UNAB
instacron:Universidad Autónoma de Bucaramanga-UNAB

Θεματικοί όροι: Computer engineering. Computer hardware, Nassi-Shneiderman diagrams, psicología cognitiva, 05 social sciences, Algoritmos y estructuras de datos, QA75.5-76.95, Computer science, Structured programming, Psicología cognitiva, ciencias de la computación, TK7885-7895, algoritmos y estructuras de datos, diagramas Nassi-Shneiderman, Programación estructurada, Ciencias de la computación, Cognitive psychology, Electronic computers. Computer science, Algorithms and data structures, 0501 psychology and cognitive sciences, Diagramas Nassi-Shneiderman, 0503 education

Περιγραφή αρχείου: application/pdf

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

PureMEM : a structured programming model for transiently powered computers

Συγγραφείς: Durmaz, Caglar, Yildirim, Kasim Sinan, Kardas, Geylani

Πηγή: Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing. :1544-1551

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3297280.3299739

OR/SM: A Prototype Integrated Modeling Environment Based on Structured Modeling.

Συγγραφείς: Wright, Gordon P., Worobetz, N. Dan, Kang, Myong, Mookerjee, Radha V., Chandrasekharan, Radha

Πηγή: INFORMS Journal on Computing. Spring97, Vol. 9 Issue 2, p134. 20p. 2 Diagrams, 7 Charts.

Θεματικοί όροι: Structured programming, Computer simulation

Difficulties in Learning Structured Programming: A Case Study in UTP

Συγγραφείς: Hashim, Ahmad Sobri, Ahmad, Rohiza, Shahrul Amar, Muhammad Shafiq

Πηγή: 2017 7th World Engineering Education Forum (WEEF) Engineering Education Forum (WEEF), 2017 7th World. :210-215 Nov, 2017

Relation: 2017 7th World Engineering Education Forum (WEEF)

SILLY Beginner Manual Version 1.0

Συγγραφείς: Opp, Jerry

Θεματικοί όροι: flowcharts, SILLY Language, programming education, program design, computational thinking, beginner programming, structured programming, SILLY, programming pedagogy

THE KIPLING SOCIETY MINUTES OF THE 97TH ANNUAL GENERAL MEETING.

Συγγραφείς: Bubb, Alex

Πηγή: Kipling Journal. May2025, Vol. 99 Issue 401, p57-64. 8p.

Θεματικοί όροι: Structured programming, Membership, Preservationists (Historic preservation)

People: Kipling, Kipling, Rudyard

Ética de la programación estructurada en la AI para fines educativos ; Ethics of structured programming in IA for educational purposes

Συγγραφείς: Rodríguez C., Agustín, Del Cid, Alexis

Πηγή: https://revistas.umecit.edu.pa/index.php/sc/article/view/1767.

Θεματικοί όροι: Ética, Evaluación, Inteligencia artificial, Programación estructurada, Tecnología educativa, Ethics, Evaluation, Artificial intelligence, Structured programming, Educational technology

Περιγραφή αρχείου: application/pdf; application/epub+zip

Relation: Álvarez Bernat, N. (2023). Los riesgos de la inteligencia artificial en la educación: el caso del ChatGPT.; Arencibia, M. G. (2008). Ética aplicada a la informática: un reto para el desarrollo social. Revista Cubana de Ciencias Informáticas, 2(1-2).; Filgueiras, F. (2021). Inteligencia Artificial en la administración pública: ambigüedad y elección de sistemas de IA y desafíos de gobernanza digital. Revista del CLAD Reforma y Democracia, (79).; Galeas, C. E. N., & Calderón, B. A. P. (2017). Identidad e identificación: investigación de campo como herramienta de aprendizaje en el diseño de marcas. INNOVA Research Journal, 2(10.1), 155-164.; González-González, C. S. (2023). El impacto de la inteligencia artificial en la educación: transformación de la forma de enseñar y de aprender.; Jaya, L. G. C. (2024). Efectos de la Inteligencia Artificial en el desarrollo socioemocional de adolescentes. Ciencia Latina Revista Científica Multidisciplinar, 8(3), 3423-3440.; López, N., & Sandoval, I. (2016). Métodos y técnicas de investigación cuantitativa y cualitativa.; Lozada, R. F. L., Aguayo, E. M. L., Suquilanda, M. D. J. E., Pico, N. D. J. A., & Vélez, G. E. Q. (2023). Los Riesgos de la Inteligencia Artificial en la educación. Ciencia Latina: Revista Multidisciplinar, 7(5), 8.; Muñoz, M. A. G. (2021). El impacto de la inteligencia artificial en la sociedad y su aplicación en el sector financiero. Revista Diecisiete: Investigación Interdisciplinar para los Objetivos de Desarrollo Sostenible., (4), 167-174.; Pedraza Caro, J. D. (2023). La Inteligencia Artificial en la sociedad: Explorando su impacto actual y los desafíos futuros.; Puche-Villalobos, D. J. (2024). La inteligencia artificial y el desarrollo del pensamiento crítico en estudiantes universitarios. Delectus, 7(2), 59-67.; Quinde-Moncerrate, H. G., Quinde-Zambrano, L. F., & Franco-Arroyo, P. P. (2025). Incidencia de la Inteligencia Artificial en la educación contemporánea: revisión sistemática. Sociedad & Tecnología, 8(2), 358-368.; Tramallino, C. P., & Zeni, A. M. (2024). Avances y discusiones sobre el uso de inteligencia artificial (IA) en educación. Educación, 33(64), 29-54.; https://revistas.umecit.edu.pa/index.php/sc/article/download/1767/2652; https://revistas.umecit.edu.pa/index.php/sc/article/download/1767/2651; Núm. 7 , Año 2025 : Semilla Científica Mayo - Octubre 2025; 281; 267; Revista Semilla Científica; https://doi.org/10.37594/sc.v1i7.1767

Διαθεσιμότητα: https://doi.org/10.37594/sc.v1i7.1767

Ethics of structured programming in IA for educational purposes ; Ética de la programación estructurada en la AI para fines educativos

Συγγραφείς: Rodríguez C., Agustín, Del Cid, Alexis

Πηγή: Revista Semilla Científica ; Núm. 7 (2025): Semilla Científica Mayo - Octubre 2025; 267-281 ; 2710-7582 ; 2710-7574 ; 10.37594/sc.v1i7

Θεματικοί όροι: Ética, Evaluación, Inteligencia artificial, Programación estructurada, Tecnología educativa, Ethics, Evaluation, Artificial intelligence, Structured programming, Educational technology

Περιγραφή αρχείου: application/pdf; application/epub+zip

Relation: https://revistas.umecit.edu.pa/index.php/sc/article/view/1767/2652; https://revistas.umecit.edu.pa/index.php/sc/article/view/1767/2651; Álvarez Bernat, N. (2023). Los riesgos de la inteligencia artificial en la educación: el caso del ChatGPT.; Arencibia, M. G. (2008). Ética aplicada a la informática: un reto para el desarrollo social. Revista Cubana de Ciencias Informáticas, 2(1-2).; Filgueiras, F. (2021). Inteligencia Artificial en la administración pública: ambigüedad y elección de sistemas de IA y desafíos de gobernanza digital. Revista del CLAD Reforma y Democracia, (79).; Galeas, C. E. N., & Calderón, B. A. P. (2017). Identidad e identificación: investigación de campo como herramienta de aprendizaje en el diseño de marcas. INNOVA Research Journal, 2(10.1), 155-164.; González-González, C. S. (2023). El impacto de la inteligencia artificial en la educación: transformación de la forma de enseñar y de aprender.; Jaya, L. G. C. (2024). Efectos de la Inteligencia Artificial en el desarrollo socioemocional de adolescentes. Ciencia Latina Revista Científica Multidisciplinar, 8(3), 3423-3440.; López, N., & Sandoval, I. (2016). Métodos y técnicas de investigación cuantitativa y cualitativa.; Lozada, R. F. L., Aguayo, E. M. L., Suquilanda, M. D. J. E., Pico, N. D. J. A., & Vélez, G. E. Q. (2023). Los Riesgos de la Inteligencia Artificial en la educación. Ciencia Latina: Revista Multidisciplinar, 7(5), 8.; Muñoz, M. A. G. (2021). El impacto de la inteligencia artificial en la sociedad y su aplicación en el sector financiero. Revista Diecisiete: Investigación Interdisciplinar para los Objetivos de Desarrollo Sostenible., (4), 167-174.; Pedraza Caro, J. D. (2023). La Inteligencia Artificial en la sociedad: Explorando su impacto actual y los desafíos futuros.; Puche-Villalobos, D. J. (2024). La inteligencia artificial y el desarrollo del pensamiento crítico en estudiantes universitarios. Delectus, 7(2), 59-67.; Quinde-Moncerrate, H. G., Quinde-Zambrano, L. F., & Franco-Arroyo, P. P. (2025). Incidencia de la Inteligencia Artificial en la educación contemporánea: revisión sistemática. Sociedad & Tecnología, 8(2), 358-368.; Tramallino, C. P., & Zeni, A. M. (2024). Avances y discusiones sobre el uso de inteligencia artificial (IA) en educación. Educación, 33(64), 29-54.; https://revistas.umecit.edu.pa/index.php/sc/article/view/1767

Διαθεσιμότητα: https://revistas.umecit.edu.pa/index.php/sc/article/view/1767

Error-Free 2d Pictogrammic Syntax in a Programming Learning Environment for Preschool Children

Συγγραφείς: Kushnirenko, A. G.^Aff12, Leonov, A. G.^Aff12, Polikarpov, S. A.^Aff13

Συνεισφορές: Kacprzyk, Janusz, Series Editor^Aff1, Gomide, Fernando, Advisory Editor^Aff2, Kaynak, Okyay, Advisory Editor^Aff3, Liu, Derong, Advisory Editor^Aff4, Pedrycz, Witold, Advisory Editor^Aff5, Polycarpou, Marios M., Advisory Editor^Aff6, Rudas, Imre J., Advisory Editor^Aff7, Wang, Jun, Advisory Editor^Aff8, Silhavy, Radek, editor^Aff9, Silhavy, Petr, editor^Aff10, Prokopova, Zdenka, editor^Aff11

Πηγή: Software Engineering Application in Systems Design : Proceedings of 6th Computational Methods in Systems and Software 2022, Volume 1. 596:637-651