Copertina

Unified Architecture Metamodel of Information Systems Developed by Generative AI

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Grynets, Oleg, Lyashkevych, Vasyl
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Software Engineering Artificial Intelligence Logic in Computer Science 68T07 (Primary), 03G99 (Secondary) C.5; D.2; E.4; F.2; F.3; F.4; H.1; H.4; H.5; J.1
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Fine-tuned LLM-based Code Migration Framework
di: Grynets, Oleg, et al.
Pubblicazione: (2025)

Proof complexity of universal algebra in a CSP dichotomy proof
di: Gaysin, Azza
Pubblicazione: (2024)

Token Optimization Strategies for LLM-Based Oracle-to-PostgreSQL Migration
di: Grynets, Oleg, et al.
Pubblicazione: (2026)

Multimodal AI-based visualization of strategic leaders' emotional dynamics: a deep behavioral analysis of Trump's trade war discourse
di: Meng, Wei
Pubblicazione: (2025)

A correspondence between the time and space complexity
di: Latkin, Ivan V.
Pubblicazione: (2023)

Inclusion with repetitions and Boolean constants -- implication problems revisited
di: Häggblom, Matilda
Pubblicazione: (2025)

Axiomatization of approximate exclusion
di: Häggblom, Matilda
Pubblicazione: (2024)

Axiomatizing approximate inclusion
di: Häggblom, Matilda
Pubblicazione: (2025)

Modal Logic with Relations over Paths: a Theoretical Development through Comonadic Semantics
di: Figueira, Santiago, et al.
Pubblicazione: (2023)

Paraconsistent logic and query answering in inconsistent databases
di: Middelburg, C. A.
Pubblicazione: (2022)

Belnap-Dunn logic and query answering in inconsistent databases with null values
di: Middelburg, C. A.
Pubblicazione: (2023)

On Variable-Bounded Non-Linear Expansions of Presburger Arithmetic
di: Bacik, Piotr, et al.
Pubblicazione: (2026)

Multiset semantics in SPARQL, Relational Algebra and Datalog
di: Angles, Renzo, et al.
Pubblicazione: (2026)

An Expressive Trace Logic for Recursive Programs
di: Gurov, Dilian, et al.
Pubblicazione: (2024)

Planning with Dynamically Changing Domains
di: Soutchanski, Mikhail, et al.
Pubblicazione: (2025)

A foundational characterization of Hoare Logic
di: Leivant, Daniel
Pubblicazione: (2026)

From Code to Compliance: Assessing ChatGPT's Utility in Designing an Accessible Webpage -- A Case Study
di: Ahmed, Ammar, et al.
Pubblicazione: (2025)

A Bisimulation-Invariance-Based Approach to the Separation of Polynomial Complexity Classes
di: Bruse, Florian, et al.
Pubblicazione: (2026)

Agent Interpolation for Knowledge
di: Bílková, Marta, et al.
Pubblicazione: (2025)

Light Cone Consistency: Toward a Unified Theory of Consistency in Message-Passing Systems
di: Landers, Rob, et al.
Pubblicazione: (2026)

CANAL -- Cyber Activity News Alerting Language Model: Empirical Approach vs. Expensive LLM
di: Patel, Urjitkumar, et al.
Pubblicazione: (2024)

Computability of the Hahn-Banach Theorem Revisited
di: Brattka, Vasco, et al.
Pubblicazione: (2026)

Determination of the fifth Busy Beaver value
di: The bbchallenge Collaboration, et al.
Pubblicazione: (2025)

A Lopez-Escobar Theorem for Continuous Domains
di: Bazhenov, Nikolay, et al.
Pubblicazione: (2023)

Forcing as a Local Method of Accessing Small Extensions
di: Lau, Desmond
Pubblicazione: (2024)

XML Prompting as Grammar-Constrained Interaction: Fixed-Point Semantics, Convergence Guarantees, and Human-AI Protocols
di: Alpay, Faruk, et al.
Pubblicazione: (2025)

FANAL -- Financial Activity News Alerting Language Modeling Framework
di: Patel, Urjitkumar, et al.
Pubblicazione: (2024)

Greedy Poisson Rejection Sampling
di: Flamich, Gergely
Pubblicazione: (2023)

Security Science (SecSci), Basic Concepts and Mathematical Foundations
di: Pavlovic, Dusko, et al.
Pubblicazione: (2025)

The Orientation Boundary for Step-Duplicating Recursors: Mechanized Impossibility, Escape, and Certification
di: Rahnama, Moses
Pubblicazione: (2025)

Unravelling Abstract Cyclic Proofs into Proofs by Induction
di: Grotenhuis, Lide, et al.
Pubblicazione: (2026)

The Equivalence Theorem: First-Class Relationships for Structurally Complete Database Systems
di: Alford, Matthew
Pubblicazione: (2026)

Coinductive proof search for polarized logic with applications to full intuitionistic propositional logic
di: Santo, José Espírito, et al.
Pubblicazione: (2020)

Compositional Separation of Control Flow and Data Flow
di: Arellanes, Damian
Pubblicazione: (2023)

A Formalization of the Generalized Quantum Stein's Lemma in Lean
di: Meiburg, Alex, et al.
Pubblicazione: (2025)

The Aurellion Function: A Recursive Fast-Growing Hierarchy Beyond Knuth Notation
di: Vodrazka, Daniel
Pubblicazione: (2025)

Continuations and Completeness in Proof-theoretic Semantics
di: Gu, Tao, et al.
Pubblicazione: (2026)

Learning Program Behavioral Models from Synthesized Input-Output Pairs
di: Mammadov, Tural, et al.
Pubblicazione: (2024)

Data accounting and error counting
di: Gajda, Michał J.
Pubblicazione: (2023)

Simulation of Non-Ordinary Consciousness
di: Saqr, Khalid M.
Pubblicazione: (2025)