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

Dealing with SonarQube Cloud: Initial Results from a Mining Software Repository Study

Authors: Nocera, Sabato, Fucci, Davide, Scanniello, Giuseppe

Source: 2025 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM). :372-378

Subject Terms: FOS: Computer and information sciences, Automation Policies, Programvaruteknik, SonarQube, Quality control, Software Engineering, Codes (symbols), Sonar, Static Code Analysis tools, Open source software, Continuous integrations, Coding Issues, Computer programming languages, Software Engineering (cs.SE), Automation, Continuous Integration and Delivery, SonarLint, Quality gates, SonarCloud, Coding issue, Open systems, Data mining, Condition, Automation policy

File Description: application/pdf

Access URL: http://arxiv.org/abs/2508.18816
http://urn.kb.se/resolve?urn=urn:nbn:se:bth-29285

An autonomous performance testing framework using self-adaptive fuzzy reinforcement learning

Authors: Helali Moghadam, Mahshid, Author, Saadatmand, Mehrdad, 1980-, Author, Borg, Markus, Author, Bohlin, Markus, 1976-, Author, Lisper, Björn, Author

Contributors: Helali Moghadam, Mahshid, Author, Saadatmand, Mehrdad, 1980-, Author, Borg, Markus, Author, Bohlin, Markus, 1976-, Author, Lisper, Björn, Author

Source: Software quality journal. :127-159

Subject Terms: Autonomous testing, Performance testing, Reinforcement learning, Stress testing, Test case generation, Automation, Computer programming languages, Testing, Transfer learning, Automated generation, Optimal performance, Performance Model, Performance testing framework, Performance tests, Simulated performance, Software systems, Software testing

File Description: print

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-52628
https://doi.org/10.1007/s11219-020-09532-z

AquaLang: A Dataflow Programming Language

Authors: Klas Segeljakt, Seif Haridi, Paris Carbone

Source: Proceedings of the 18th ACM International Conference on Distributed and Event-based Systems. :42-53

Subject Terms: Computer and Information Sciences, Computer programming languages, Data flow analysis, Continuous data, Data flow modeling, Data stream, Data-intensive application, Dataflow, Dataflow programming, Dataflow system, Performance, Programmability, Semantic gap, Semantics, Data- och informationsvetenskap

File Description: application/pdf

Access URL: http://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-74846

Fully Abstract Normal Form Bisimulation for Call-by-Value PCF

Authors: Vasileios Koutavas, Yu-Yang Lin, Nikos Tzevelekos

Contributors: Science Foundation Ireland (SFI), 13/RC/2094_2

Source: Journal of the ACM. 72:1-52

Subject Terms: Program Verification, FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, Computer Programming Languages, Program Equivalence, 0102 computer and information sciences, 02 engineering and technology, Formal Methods, 01 natural sciences, Logic in Computer Science (cs.LO), PCF, Biosimulation, Formal (i.e. mathematical) Methods In Computer Science, 0202 electrical engineering, electronic engineering, information engineering, Formal Semantics, Programming Languages (cs.PL)

File Description: application/pdf

Access URL: http://arxiv.org/abs/2310.01069

Teaching programming to kids in situation of social vulnerability

Authors: Harari, Viviana, Harari, Ivana

Source: 2017 Twelfth Latin American Conference on Learning Technologies (LACLO) Learning Technologies (LACLO), 2017 Twelfth Latin American Conference on. :1-8 Oct, 2017

Relation: 2017 Twelfth Latin American Conference on Learning Technologies (LACLO)

An Operational Semantics for Yul

Authors: Vasileios Koutavas, Yu-Yang Lin, Nikos Tzevelekos

Contributors: Madeira, Alexandre and Knapp, Alexander, Other, Science Foundation Ireland (SFI for RF), FY23-1127, 13/RC/2094_2

Source: Lecture Notes in Computer Science ISBN: 9783031773815

Subject Terms: FOS: Computer and information sciences, Blockchain, Computer Science - Programming Languages, Computer Programming Languages, Computer Science, Software Engineering, Yul, Ethereum, Operational semantics, Programming lan- guages, Formal methods, Programming Languages (cs.PL)

File Description: application/pdf

Access URL: http://arxiv.org/abs/2407.01365
https://hdl.handle.net/2262/111298
https://doi.org/10.1007/978-3-031-77382-2_19
http://people.tcd.ie/linhouy
http://people.tcd.ie/vkoutav

Bounded Invariant Checking for Stateflow

Authors: Filipovikj, Predrag, Author, Ung, G., Author, Gurov, Dilian, 1964-, Author, Nyberg, Mattias, Author

Contributors: Filipovikj, Predrag, Author, Ung, G., Author, Gurov, Dilian, 1964-, Author, Nyberg, Mattias, Author

Source: Electronic Proceedings in Theoretical Computer Science, EPTCS. :38-52

Subject Terms: Computer programming languages, Formal verification, Model checking, Semantics, Simulink, Bounded model checking, Complex software, Invariant checking, Invariant properties, Safety critical software, Software modeling, STATEFLOW, Stateflow models, Structural operational semantics, Symbolic Transition Systems, Accident prevention

File Description: print

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-328152
https://doi.org/10.4204/EPTCS.371.3

A tertiary study on links between source code metrics and external quality attributes

Authors: Iftikhar, Umar, Author, Ali, Nauman bin, Dr., Author, Börstler, Jürgen, 1960-, Author, Usman, Muhammad, 1978-, Author

Contributors: Iftikhar, Umar, Author, Ali, Nauman bin, Dr., Author, Börstler, Jürgen, 1960-, Author, Usman, Muhammad, 1978-, Author

Source: eLLIIT – The Linköping – Lund Initiative on IT and Mobile Communication Information and Software Technology. 165

Subject Terms: Code quality, Evidence, Product quality, Quality models, Tertiary review, Tertiary study, Codes (symbols), Computer programming languages, Data handling, Forecasting, Object oriented programming, Reliability, External quality, Internal quality, Products quality, Quality attributes, Quality modeling, Source code metrics, Maintainability

File Description: electronic

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:bth-25555
https://doi.org/10.1016/j.infsof.2023.107348

An introductory guide for conducting psychological research with big data.

Authors: Vezzoli, Michela. ORCID 0000-0003-2122-2764. Department of Psychology, University of Milano-Bicocca, Milan, Italy, Zogmaister, Cristina. ORCID 0000-0002-1540-7503. Department of Psychology, University of Milano-Bicocca, Milan, Italy

Source: Psychological Methods, Vol 28(3), Jun, 2023. pp. 580-599.

NLM Title Abbreviation: Psychol Methods

Publisher: American Psychological Association

Publication Type: Journal; Peer Reviewed Journal

A Bi−directional method for evaluating integrals involving higher transcendental functions. HyperRAF: A Julia package for new hyper−radial functions

Authors: Bağcı, A., Aucar, G.A.

Subject Terms: Coulomb potential, Bi−directional method, Hyper−radial functions, Laplace expansion, Non−integer Slater−type orbitals, Algebra, Computer programming languages, Electric fields, Electrons, Function evaluation, Laplace transforms, Quantum theory, Bi-directional, Geometric functions, Higher transcendental functions, Hyper−radial function, Laplace expansions, Non−integer slater−type orbital, Radial functions, Slater-type orbitals, Quantum chemistry

Relation: Computer Physics Communications; Makale - Uluslararası Hakemli Dergi - Kurum Öğretim Elemanı; https://hdl.handle.net/11499/56069; http://dx.doi.org/10.1016/j.cpc.2023.108990; 295; WOS:001111374000001

Availability: https://hdl.handle.net/11499/56069
https://doi.org/10.1016/j.cpc.2023.108990

Semantic Understanding of Smart Contracts: Executable Operational Semantics of Solidity

Authors: Jiao Jiao 0002, Shuanglong Kan, Shang-Wei Lin 0001, David Sanán, Yang Liu 0003, Jun Sun 0001

Source: 2020 IEEE Symposium on Security and Privacy (SP). :1695-1712

Subject Terms: Computer programming languages, Ethereum, Finance and Financial Management, 0202 electrical engineering, electronic engineering, information engineering, 1. No poverty, Software Engineering, 02 engineering and technology, Bitcoin

File Description: application/pdf

Access URL: https://ieeexplore.ieee.org/ielx7/9144328/9152199/09152785.pdf

Fully Abstract Normal Form Bisimulation for Call-by-Value PCF ; 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

Authors: Koutavas, Vasileios, Lin Hou, Yu

Contributors: Science Foundation Ireland (SFI), 13/RC/2094_2

Subject Terms: PCF, Biosimulation, Computer Programming Languages, Formal (i.e. mathematical) Methods In Computer Science, Formal Methods, Formal Semantics, Program Equivalence, Program Verification

File Description: application/pdf

Relation: Y; http://hdl.handle.net/2262/103829; http://people.tcd.ie/vkoutav; http://people.tcd.ie/linhouy; 258371; http://dx.doi.org/10.1109/LICS56636.2023.10175778

Availability: http://hdl.handle.net/2262/103829
http://people.tcd.ie/vkoutav
http://people.tcd.ie/linhouy
https://doi.org/10.1109/LICS56636.2023.10175778

Empezando a visualizar datos con R y ggplot2

Authors: Julio César Alonso Cifuentes, Maria Fernanda Largo

Subject Terms: Statistics - Data processing, Estadística, Big data analytics, Lenguajes de programación, Big data, Databases, Computer Programming languages, Lenguaje de programación, Lenguaje estadístico, Y20 Introductory material, Estadística - Procesamiento de datos, L86 Computer software, R (Lenguaje de programación de computadores), Statistics, Introducción, Programming languages, Data bases, Base de datos, Bases de datos, Statistical data, R (Computer program language), Datos estadísticos, Computer languages

File Description: 94 páginas; Digital; pdf; application/pdf

Access URL: http://hdl.handle.net/10906/95028
https://doi.org/10.18046/EUI/bda.h.3

Empezando a usaR. Una guía paso a paso. ; Starting to use R. A step-by-step guide.

Authors: Alonso Cifuentes, Julio César, Ocampo, Maria Paula

Subject Terms: Introducción, Lenguaje estadístico, Big data analytics, R (Computer program language), Statistics - Data processing, Big data, Databases, R (Lenguaje de programación de computadores), Estadística - Procesamiento de datos, Bases de datos, http://id.loc.gov/authorities/subjects/sh2002004407, http://id.loc.gov/authorities/subjects/sh85127583, http://id.loc.gov/authorities/subjects/sh2012003227, http://id.loc.gov/authorities/subjects/sh86007767, Lenguaje de programación, Computer languages, Estadística, Statistics, Base de datos, http://vocabularies.unesco.org/thesaurus/concept6007, http://vocabularies.unesco.org/thesaurus/concept119, http://vocabularies.unesco.org/thesaurus/concept501, Lenguajes de programación, Programming languages, Datos estadísticos, Statistical data, Computer Programming languages, Data bases, Y20 Introductory material

Subject Geographic: Cali de Lat: 03 24 00 N degrees minutes Lat: 3.4000 decimal degrees Long: 076 30 00 W degrees minutes Long: -76.5000 decimal degrees

File Description: 110 páginas; Digital; pdf; application/pdf

Relation: http://repository.icesi.edu.co/biblioteca_digital/handle/10906/94248; https://doi.org/10.18046/EUI/bda.h.1; instname: Universidad Icesi; reponame: Biblioteca Digital; repourl: https://repository.icesi.edu.co/

Availability: http://repository.icesi.edu.co/biblioteca_digital/handle/10906/94248
https://doi.org/10.18046/EUI/bda.h.1

Empezando a transformar bases de datos con R y dplyr. ; Starting to transform databases with R and dplyr.

Authors: Alonso Cifuentes, Julio César

Subject Terms: Introducción, Lenguaje estadístico, Big data analytics, R (Computer program language), Statistics - Data processing, Big data, Databases, R (Lenguaje de programación de computadores), Estadística - Procesamiento de datos, Bases de datos, http://id.loc.gov/authorities/subjects/sh2002004407, http://id.loc.gov/authorities/subjects/sh85127583, http://id.loc.gov/authorities/subjects/sh2012003227, http://id.loc.gov/authorities/subjects/sh86007767, Lenguaje de programación, Computer languages, Estadística, Statistics, Base de datos, http://vocabularies.unesco.org/thesaurus/concept6007, http://vocabularies.unesco.org/thesaurus/concept119, http://vocabularies.unesco.org/thesaurus/concept501, Lenguajes de programación, Programming languages, Datos estadísticos, Statistical data, Computer Programming languages, Data bases, Y20 Introductory material

Subject Geographic: Cali de Lat: 03 24 00 N degrees minutes Lat: 3.4000 decimal degrees Long: 076 30 00 W degrees minutes Long: -76.5000 decimal degrees

File Description: 60 páginas; Digital; pdf; application/pdf

Relation: http://repository.icesi.edu.co/biblioteca_digital/handle/10906/94249; https://doi.org/10.18046/EUI/bda.h.2; instname: Universidad Icesi; reponame: Biblioteca Digital; repourl: https://repository.icesi.edu.co/

Availability: http://repository.icesi.edu.co/biblioteca_digital/handle/10906/94249
https://doi.org/10.18046/EUI/bda.h.2

Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs

Authors: De Angelis E, Fioravanti F, Palacios A, Pettorossi A, Proietti M

Source: 5th Workshop on Horn Clauses for Verification and Synthesis, pp. 19–26, Oxford, 13/07/2018
info:cnr-pdr/source/autori:De Angelis, E.; Fioravanti, F.; Palacios, A.; Pettorossi, A.; Proietti, M./congresso_nome:5th Workshop on Horn Clauses for Verification and Synthesis/congresso_luogo:Oxford/congresso_data:13%2F07%2F2018/anno:2018/pagina_da:19/pagina_a:26/intervallo_pagine:19–26
Electronic Proceedings in Theoretical Computer Science, Vol 278, Iss Proc. HCVS 2018, Pp 19-26 (2018)

Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, D.2.5, D.2.4, QA75.5-76.95, Erlang, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Logic in Computer Science (cs.LO), Electronic computers. Computer science, QA1-939, 0202 electrical engineering, electronic engineering, information engineering, Computer programming languages, Errors, Logic programming, Model checking, Bounded Verification, F.3.1, Mathematics, Programming Languages (cs.PL)

File Description: application/pdf

Access URL: https://arxiv.org/pdf/1809.04770
http://arxiv.org/abs/1809.04770
http://www.cnr.it/prodotto/i/395911
https://publications.cnr.it/doc/395911
https://doaj.org/article/a8ab9ef371784e27a7bbad553f0ff509
https://hdl.handle.net/20.500.14243/350290

COMPUTERIZATION OF PHARMACY SYSTEM IN C# PROGRAMMING LANGUAGE

Authors: Ergashov Asliddin Otabek o'g'li. Xakimov Shoyatbek

Subject Terms: C#, computer, programming languages, MO, operator, Pascal, Java, Microsoft, pharmacy, Login, Label, panel, module, reports, customization

MONDO: Scalable Modelling and Model Management on the Cloud

Thesis Advisors: UAM. Departamento de Ingeniería Informática, Modelado e Ingeniería del Software (ING EPS-013)

Source: PS-STAF 2015 Projects Showcase @ STAF 2015: Proceedings of the Projects Showcase, part of the Software Technologies: Applications and Foundations 2015 federation of conferences (STAF 2015). Ed. Marco Autili, Tom Ritter, Andrey Sadovykh, Massimo Tivoli. CEUR Workshop Proceedings. Volume 1400, 2015. 44-53
44
53
1400

Subject Terms: Application programs, Computer programming languages, Problem oriented languages, Scalability Domain specific languages, Indexing and retrieval, Large models, Model elements, Model management, Scalable Modelling, State of the art, Modeling languages, Informática

Access URL: http://hdl.handle.net/10486/675263

MONDO: Scalable Modelling and Model Management on the Cloud

Thesis Advisors: UAM. Departamento de Ingeniería Informática, Modelado e Ingeniería del Software (ING EPS-013)

Source: STAF16-DS-PS 2016 STAF 2016 Doctoral Symposium and Projects Showcase: Joint Proceedings of the Doctoral Symposium and Projects Showcase Held as Part of STAF 2016 co-located with Software Technologies: Applications and Foundations (STAF 2016). Ed. Catherine Dubois, Francesco Parisi-Presicce, Dimitris Kolovos, Nicholas Matragkas. CEUR Workshop Proceedings. Volume 1675, 2016. 55-64
55
64
1675

Subject Terms: Application programs, Computer programming languages, Problem oriented languages, Scalability Domain specific languages, Indexing and retrieval, Large models, Model elements, Model management, Scalable Modelling, State of the art, Modeling languages, Informática

Access URL: http://hdl.handle.net/10486/675248