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

Authors: Ahmed, M. A., Author, Anwar, Muhammad Waseem, Author, Butt, W. H., Author, Azam, F., Author

Contributors: Ahmed, M. A., Author, Anwar, Muhammad Waseem, Author, Butt, W. H., Author, Azam, F., Author

Source: IEEE Access. 14:63962-63990

Subject Terms: 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

File Description: electronic

Access URL: 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

Authors: Xia, Ying, Liu, Shaoying

Source: Proceedings of the 2025 7th World Symposium on Software Engineering. :88-93

Availability: http://dl.acm.org/doi/10.1145/3779657.3779671

Frex: Dependently Typed Algebraic Simplification

Authors: Allais, Guillaume, Brady, Edwin, Corbyn, Nathan, Kammar, Ohad, Yallop, Jeremy

Source: Proceedings of the ACM on Programming Languages. 9(ICFP):30-65

Availability: http://dl.acm.org/doi/10.1145/3747506

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

Authors: Finnegan, Olivia L.^{Aff1, IDs1288902627417x_cor1}, Weaver, R. Glenn^Aff1, Burkart, Sarah^Aff1, Armstrong, Bridget^Aff1, Adams, Elizabeth L.^Aff1, Pfledderer, Christopher D.^Aff2, McLain, Alexander C.^Aff3, Brazendale, Keith^Aff4, Zhu, Xuanxuan^Aff3, White, James W.^Aff1, Nelakuditi, Srihari^Aff5, Beets, Michael W.^Aff1

Source: BMC Public Health. 26(1)

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

Authors: Nilsen, Per, 1960-, Author

Contributors: Nilsen, Per, 1960-, Author

Source: Handbook of Health Services Evaluation: Theories, Methods and Innovative Practices. :161-172

Subject Terms: 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

File Description: print

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-225165

High-level quantum structured programs as quantum registers compositions

Authors: Chamizo, David, Garcia-Alonso, Jose, Murillo, Juan M.

Subject Terms: Quantum structured programming, Quantum programming, Modularity, Abstraction, Quantum software engineering

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

Authors: Xie, Wuping, Wan, Songsong, Jiang, Dongming

Source: 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

Authors: Alcover Garau, Pedro María

Contributors: Repositorio Digital UPCT

Source: Repositorio Digital UPCT
instname

Subject Terms: 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

File Description: application/pdf

Access URL: http://hdl.handle.net/10317/18704
https://hdl.handle.net/10317/18704

Transfinite Structured Programming

Authors: Bhaskar, Siddharth^Aff10

Contributors: 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

Source: 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

Authors: Dunbar, Norah E, Burgoon, Judee K, Chen, Xunyu, Wang, Xinran, Ge, Saiying, Huang, Qing, Nunamaker, Jay

Source: Frontiers in Psychology. 14

Subject Terms: 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)

File Description: application/pdf

Access URL: https://escholarship.org/uc/item/9ts5t8g8
https://escholarship.org/content/qt9ts5t8g8/qt9ts5t8g8.pdf

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

Authors: Fariza Zahari, Ahmad Zamzuri Mohamad Ali

Source: Journal of Research, Innovation, and Strategies for Education, Vol 2, Iss 6 (2025)

Subject Terms: Computational Thinking Skills, Text-Based Programming, Structured Programming, Education

File Description: 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

Access URL: https://doaj.org/article/733d7db666d845ccb4531f2f09c8027a

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

Authors: D’Angelo, Verónica Sofía

Source: 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

Subject Terms: 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

File Description: application/pdf

Access URL: https://doaj.org/article/9341c209d3b145589d54e9fafa4f0c2b

PureMEM : a structured programming model for transiently powered computers

Authors: Durmaz, Caglar, Yildirim, Kasim Sinan, Kardas, Geylani

Source: Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing. :1544-1551

Availability: http://dl.acm.org/doi/10.1145/3297280.3299739

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

Authors: Wright, Gordon P., Worobetz, N. Dan, Kang, Myong, Mookerjee, Radha V., Chandrasekharan, Radha

Source: INFORMS Journal on Computing. Spring97, Vol. 9 Issue 2, p134. 20p. 2 Diagrams, 7 Charts.

Subject Terms: Structured programming, Computer simulation

Difficulties in Learning Structured Programming: A Case Study in UTP

Authors: Hashim, Ahmad Sobri, Ahmad, Rohiza, Shahrul Amar, Muhammad Shafiq

Source: 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)

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

Authors: Bubb, Alex

Source: Kipling Journal. May2025, Vol. 99 Issue 401, p57-64. 8p.

Subject Terms: 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

Authors: Rodríguez C., Agustín, Del Cid, Alexis

Source: https://revistas.umecit.edu.pa/index.php/sc/article/view/1767.

Subject Terms: Ética, Evaluación, Inteligencia artificial, Programación estructurada, Tecnología educativa, Ethics, Evaluation, Artificial intelligence, Structured programming, Educational technology

File Description: 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

Availability: 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

Authors: Rodríguez C., Agustín, Del Cid, Alexis

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

Subject Terms: Ética, Evaluación, Inteligencia artificial, Programación estructurada, Tecnología educativa, Ethics, Evaluation, Artificial intelligence, Structured programming, Educational technology

File Description: 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

Availability: https://revistas.umecit.edu.pa/index.php/sc/article/view/1767

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

Authors: Kushnirenko, A. G.^Aff12, Leonov, A. G.^Aff12, Polikarpov, S. A.^Aff13

Contributors: 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

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

Supporting structured programming courses through a set of learning objects

Authors: Luna-Ramirez, Wulfrano A., Jaimez-Gonzalez, Carlos R.

Source: International Conference on Information Society (i-Society 2014) Information Society (i-Society), 2014 International Conference on. :122-126 Nov, 2014

Relation: 2014 International Conference on Information Society (i-Society)