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 compositional proof framework for FRETish requirements

Συγγραφείς: Conrad, Esther, Titolo, Laura, Giannakopoulou, Dimitra, Pressburger, Thomas, Dutle, Aaron

Πηγή: Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs. :68-81

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

Structured natural language requirements in nuclear energy domain towards improving regulatory guidelines

Συγγραφείς: Uusitalo, Eero, Raatikainen, Mikko, Mannisto, Tomi, Tommila, Teemu

Πηγή: 2011 Fourth International Workshop on Requirements Engineering and Law Requirements Engineering and Law (RELAW), 2011 Fourth International Workshop on. :67-73 Aug, 2011

Relation: 2011 Fourth International Workshop on Requirements Engineering and Law (RELAW)

Automated formalization of structured natural language requirements

Συγγραφείς: Giannakopoulou, Dimitra ^{a, ⁎}, Pressburger, Thomas ^a, Mavridou, Anastasia ^b, Schumann, Johann ^b

Πηγή: In Information and Software Technology September 2021 137

Verbalizing Decision Model and Notation

Συγγραφείς: Cremers, Tomas^Aff15, Nijssen, Maurice^Aff15, Bulles, John^Aff15

Συνεισφορές: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Woeginger, Gerhard, Editorial Board Member^Aff6, Yung, Moti, Editorial Board Member^Aff7, Debruyne, Christophe, editor^Aff8, Panetto, Hervé, editor^Aff9, Guédria, Wided, editor^Aff10, Bollen, Peter, editor^Aff11, Ciuciu, Ioana, editor^Aff12, Karabatis, George, editor^Aff13, Meersman, Robert, editor^Aff14

Πηγή: On the Move to Meaningful Internet Systems: OTM 2019 Workshops : Confederated International Workshops: EI2N, FBM, ICSP, Meta4eS and SIAnA 2019, Rhodes, Greece, October 21–25, 2019, Revised Selected Papers. 11878:86-94

BioSemantic System: Applications of Structured Natural Language to Biological and Biochemical Research

Συγγραφείς: Hecht, David, Hu, Rouh-Mei, Chen, Rong-Ming, Ou, Jong-Waye, Hsu, Chao-Yen, Gong, Haitao, Ng, Ka-Lok, Hsiao, Han C. W., Tsai, Jeffrey J. P., Sheu, Phillip C.-Y.

Πηγή: 2008 IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing (sutc 2008) Sensor Networks, Ubiquitous and Trustworthy Computing, 2008. SUTC '08. IEEE International Conference on. :386-393 Jun, 2008

Relation: 2008 IEEE International Conference on Sensor Networks, Ubiquitous and Trustworthy Computing (SUTC)

On the Road to Regulatory Ontologies : Interpreting Regulations with SBVR

Συγγραφείς: Abi-Lahoud, Elie^Aff23, O’Brien, Leona^Aff23, Butler, Tom^Aff23

Συνεισφορές: Hutchison, David, Series editor^Aff1, Kanade, Takeo, Series editor^Aff2, Kittler, Josef, Series editor^Aff3, Kleinberg, Jon M., Series editor^Aff4, Kobsa, Alfred, Series editor^Aff5, Mattern, Friedemann, Series editor^Aff6, Mitchell, John C., Series editor^Aff7, Naor, Moni, Series editor^Aff8, Nierstrasz, Oscar, Series editor^Aff9, Pandu Rangan, C., Series editor^Aff10, Steffen, Bernhard, Series editor^Aff11, Terzopoulos, Demetri, Series editor^Aff12, Tygar, Doug, Series editor^Aff13, Weikum, Gerhard, Series editor^Aff14, Goebel, Randy, Series editor^Aff15, Tanaka, Yuzuru, Series editor^Aff16, Wahlster, Wolfgang, Series editor^Aff17, Siekmann, Jörg, Series editor^Aff18, Casanovas, Pompeu, editor^Aff19, Pagallo, Ugo, editor^Aff20, Palmirani, Monica, editor^Aff21, Sartor, Giovanni, editor^Aff22

Πηγή: AI Approaches to the Complexity of Legal Systems : AICOL 2013 International Workshops, AICOL-IV@IVR, Belo Horizonte, Brazil, July 21-27, 2013 and AICOL-V@SINTELNET-JURIX, Bologna, Italy, December 11, 2013, Revised Selected Papers. 8929:188-201

Automated Problem Domain Cognition Process in Information Systems Design

Συγγραφείς: Loginov, Maxim, Mikov, Alexander

Θεματικοί όροι: 0602 languages and literature, 05 social sciences, Intellectual Modeling Technologies, 0501 psychology and cognitive sciences, 06 humanities and the arts, Structural Analysis of Loosely Structured Natural Language Documents, Information System Development

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

Quick reference for requirements documentation

Συγγραφείς: Uusitalo, Eero, Raatikainen, Mikko

Συνεισφορές: Perustieteiden korkeakoulu, School of Science, Tietotekniikan laitos, Department of Computer Science and Engineering, Product Requirements and Architecture Research Group, PREAGO, Aalto-yliopisto, Aalto University

Θεματικοί όροι: Computer science, Technology, requirements engineering, structured natural language, systems engineering, software engineering

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

Relation: Uusitalo, Eero & Raatikainen, Mikko. 2012. Quick reference for requirements documentation.; https://aaltodoc.aalto.fi/handle/123456789/12861

Διαθεσιμότητα: https://aaltodoc.aalto.fi/handle/123456789/12861

SBVR struktūrizuotos natūralios kalbos klausimų redagavimo įrankis

Tool for Editing Questions in SBVR Structured Natural Language

Συγγραφείς: Pocius, Arvydas

Thesis Advisors: Nemuraitė, Lina, Šukys, Algirdas, Pilkauskas, Vytautas, Kaunas University of Technology

Θεματικοί όροι: Informatics Engineering, SBVR, Struktūrizuota natūrali kalba, Ontologijos, Užklausos, Structured natural language, Ontology, Query

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

Διαθεσιμότητα: http://vddb.laba.lt/fedora/get/LT-eLABa-0001:E.02~2013~D_20130826_150609-84648/DS.005.0.01.ETD

SBVR struktūrizuotos natūralios kalbos klausimų redagavimo įrankis / ; Tool for Editing Questions in SBVR Structured Natural Language.

Συγγραφείς: Pocius, Arvydas

Συνεισφορές: Nemuraitė, Lina

Θεματικοί όροι: SBVR, structured natural language, ontology, query

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

Relation: https://epubl.ktu.edu/object/elaba:2110956/2110956.pdf; https://vb.ktu.edu/KTU:ELABAETD2110956&prefLang=en_US

Διαθεσιμότητα: https://vb.ktu.edu/KTU:ELABAETD2110956&prefLang=en_US

Εκτίμηση του κόστους ανάπτυξης λογισμικού από διαγράμματα περίπτωσης - χρήσης και μοντέλο ανάλυσης φυσικής γλώσσας

Συγγραφείς: Ζίγκα, Ελένη

Συνεισφορές: Ανδρέου, Ανδρέας Σ.

Θεματικοί όροι: Software Development, Structured Natural Language, Cost Evaluation, Ανάπτυξη Λογισμικού, Διάγραμμα Χρήσης, Μοντέλο Δομημένης Φυσικής Γλώσσας

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

Relation: https://hdl.handle.net/20.500.14279/792

Διαθεσιμότητα: https://hdl.handle.net/20.500.14279/792

Nuo dalykinės srities nepriklausomas SPARQL užklausų sudarymas / ; Domain independent development of SPARL queries.

Συγγραφείς: Kriščiūnė, Giedrė

Συνεισφορές: Butkienė, Rita

Θεματικοί όροι: SPARQL, OWL, limited natural language Lithuanian, structured natural language

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

Relation: https://epubl.ktu.edu/object/elaba:1787400/1787400.pdf; https://vb.ktu.edu/KTU:ELABAETD1787400&prefLang=en_US

Διαθεσιμότητα: https://vb.ktu.edu/KTU:ELABAETD1787400&prefLang=en_US

AUTOMATED PROBLEM DOMAIN COGNITION PROCESS IN INFORMATION SYSTEMS DESIGN

Συγγραφείς: Maxim Loginov, Er Mikov

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://www.foibg.com/ijita/vol14/ijita14-3-p09.pdf.

Θεματικοί όροι: intellectual modeling technologies, information system development, structural analysis of loosely structured natural language documents. ACM Classification Keywords, I.2 Artificial Intelligence, I.2.7 Natural Language Processing

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.87.7592

Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.87.7592
http://www.foibg.com/ijita/vol14/ijita14-3-p09.pdf

Nuo dalykinės srities nepriklausomas SPARQL užklausų sudarymas

Συγγραφείς: Kriščiūnė, Giedrė

Συνεισφορές: Butkienė, Rita

Θεματικοί όροι: struktūrizuota natūrali kalba, ribota natūrali lietuvių kalba, limited natural language Lithuanian, structured natural language, SPARQL, OWL

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

Σύνδεσμος πρόσβασης: https://vb.ktu.edu/KTU:ELABAETD1787400&prefLang=en_US

語意生物醫學智能暨系統生物學模型比較

Συγγραφείς: Wang, Chao-Neng

Συνεισφορές: 生物與醫學資訊學系

Θεματικοί όροι: Semantic Computing, Systems Biology, Structured Natural Language, Biological and medical intelligence

Περιγραφή αρχείου: 121 bytes; text/html

Relation: http://asiair.asia.edu.tw/ir/handle/310904400/89824; http://asiair.asia.edu.tw/ir/bitstream/310904400/89824/2/index.html

Διαθεσιμότητα: http://asiair.asia.edu.tw/ir/handle/310904400/89824
http://asiair.asia.edu.tw/ir/bitstream/310904400/89824/2/index.html

Nuo dalykinės srities nepriklausomas SPARQL užklausų sudarymas

Additional Titles: Domain independent development of SPARL queries

Συγγραφείς: Butkienė, Rita, Lenkevičius, Antanas, Kaunas University of Technology, Kriščiūnė, Giedrė

Όροι ευρετηρίου: Informatics, SPARQL, OWL, Ribota natūrali lietuvių kalba, Struktūrizuota natūrali kalba, Limited natural language Lithuanian, Structured natural language, Master thesis

Σύνδεσμος: http://vddb.laba.lt/fedora/get/LT-eLABa-0001:E.02~2012~D_20120813_151502-11909/DS.005.0.02.ETD