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

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

Συγγραφείς: Nocera, Sabato, Fucci, Davide, Scanniello, Giuseppe

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

Θεματικοί όροι: 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

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

Σύνδεσμος πρόσβασης: 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

Συγγραφείς: Helali Moghadam, Mahshid, Author, Saadatmand, Mehrdad, 1980-, Author, Borg, Markus, Author, Bohlin, Markus, 1976-, Author, Lisper, Björn, Author

Συνεισφορές: Helali Moghadam, Mahshid, Author, Saadatmand, Mehrdad, 1980-, Author, Borg, Markus, Author, Bohlin, Markus, 1976-, Author, Lisper, Björn, Author

Πηγή: Software quality journal. :127-159

Θεματικοί όροι: 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

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

Σύνδεσμος πρόσβασης: 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

Συγγραφείς: Klas Segeljakt, Seif Haridi, Paris Carbone

Πηγή: Proceedings of the 18th ACM International Conference on Distributed and Event-based Systems. :42-53

Θεματικοί όροι: 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

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

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

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

Συγγραφείς: Vasileios Koutavas, Yu-Yang Lin, Nikos Tzevelekos

Συνεισφορές: Science Foundation Ireland (SFI), 13/RC/2094_2

Πηγή: Journal of the ACM. 72:1-52

Θεματικοί όροι: 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)

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

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

Teaching programming to kids in situation of social vulnerability

Συγγραφείς: Harari, Viviana, Harari, Ivana

Πηγή: 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

Συγγραφείς: Vasileios Koutavas, Yu-Yang Lin, Nikos Tzevelekos

Συνεισφορές: Madeira, Alexandre and Knapp, Alexander, Other, Science Foundation Ireland (SFI for RF), FY23-1127, 13/RC/2094_2

Πηγή: Lecture Notes in Computer Science ISBN: 9783031773815

Θεματικοί όροι: 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)

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

Σύνδεσμος πρόσβασης: 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

Συγγραφείς: Filipovikj, Predrag, Author, Ung, G., Author, Gurov, Dilian, 1964-, Author, Nyberg, Mattias, Author

Συνεισφορές: Filipovikj, Predrag, Author, Ung, G., Author, Gurov, Dilian, 1964-, Author, Nyberg, Mattias, Author

Πηγή: Electronic Proceedings in Theoretical Computer Science, EPTCS. :38-52

Θεματικοί όροι: 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

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

Σύνδεσμος πρόσβασης: 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

Συγγραφείς: Iftikhar, Umar, Author, Ali, Nauman bin, Dr., Author, Börstler, Jürgen, 1960-, Author, Usman, Muhammad, 1978-, Author

Συνεισφορές: Iftikhar, Umar, Author, Ali, Nauman bin, Dr., Author, Börstler, Jürgen, 1960-, Author, Usman, Muhammad, 1978-, Author

Πηγή: eLLIIT – The Linköping – Lund Initiative on IT and Mobile Communication Information and Software Technology. 165

Θεματικοί όροι: 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

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

Σύνδεσμος πρόσβασης: 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.

Συγγραφείς: 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

Πηγή: Psychological Methods, Vol 28(3), Jun, 2023. pp. 580-599.

NLM Title Abbreviation: Psychol Methods

Εκδότης: American Psychological Association

Τύπος έκδοσης: Journal; Peer Reviewed Journal

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

Συγγραφείς: Bağcı, A., Aucar, G.A.

Θεματικοί όροι: 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

Διαθεσιμότητα: 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

Συγγραφείς: Jiao Jiao 0002, Shuanglong Kan, Shang-Wei Lin 0001, David Sanán, Yang Liu 0003, Jun Sun 0001

Πηγή: 2020 IEEE Symposium on Security and Privacy (SP). :1695-1712

Θεματικοί όροι: 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

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

Σύνδεσμος πρόσβασης: 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)

Συγγραφείς: Koutavas, Vasileios, Lin Hou, Yu

Συνεισφορές: Science Foundation Ireland (SFI), 13/RC/2094_2

Θεματικοί όροι: PCF, Biosimulation, Computer Programming Languages, Formal (i.e. mathematical) Methods In Computer Science, Formal Methods, Formal Semantics, Program Equivalence, Program Verification

Περιγραφή αρχείου: 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

Διαθεσιμότητα: 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

Συγγραφείς: Julio César Alonso Cifuentes, Maria Fernanda Largo

Θεματικοί όροι: 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

Περιγραφή αρχείου: 94 páginas; Digital; pdf; application/pdf

Σύνδεσμος πρόσβασης: 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.

Συγγραφείς: Alonso Cifuentes, Julio César, Ocampo, Maria Paula

Θεματικοί όροι: 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

Θέμα γεωγραφικό: 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

Περιγραφή αρχείου: 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/

Διαθεσιμότητα: 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.

Συγγραφείς: Alonso Cifuentes, Julio César

Θεματικοί όροι: 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

Θέμα γεωγραφικό: 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

Περιγραφή αρχείου: 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/

Διαθεσιμότητα: 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

Συγγραφείς: De Angelis E, Fioravanti F, Palacios A, Pettorossi A, Proietti M

Πηγή: 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)

Θεματικοί όροι: 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)

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

Σύνδεσμος πρόσβασης: 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

Συγγραφείς: Ergashov Asliddin Otabek o'g'li. Xakimov Shoyatbek

Θεματικοί όροι: 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)

Πηγή: 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

Θεματικοί όροι: 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

Σύνδεσμος πρόσβασης: 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)

Πηγή: 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

Θεματικοί όροι: 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

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