Buchumschlag

Unified Architecture Metamodel of Information Systems Developed by Generative AI

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Grynets, Oleg, Lyashkevych, Vasyl
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	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
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Fine-tuned LLM-based Code Migration Framework
von: Grynets, Oleg, et al.
Veröffentlicht: (2025)

Proof complexity of universal algebra in a CSP dichotomy proof
von: Gaysin, Azza
Veröffentlicht: (2024)

Token Optimization Strategies for LLM-Based Oracle-to-PostgreSQL Migration
von: Grynets, Oleg, et al.
Veröffentlicht: (2026)

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

A correspondence between the time and space complexity
von: Latkin, Ivan V.
Veröffentlicht: (2023)

Inclusion with repetitions and Boolean constants -- implication problems revisited
von: Häggblom, Matilda
Veröffentlicht: (2025)

Axiomatization of approximate exclusion
von: Häggblom, Matilda
Veröffentlicht: (2024)

Axiomatizing approximate inclusion
von: Häggblom, Matilda
Veröffentlicht: (2025)

Modal Logic with Relations over Paths: a Theoretical Development through Comonadic Semantics
von: Figueira, Santiago, et al.
Veröffentlicht: (2023)

Paraconsistent logic and query answering in inconsistent databases
von: Middelburg, C. A.
Veröffentlicht: (2022)

Belnap-Dunn logic and query answering in inconsistent databases with null values
von: Middelburg, C. A.
Veröffentlicht: (2023)

On Variable-Bounded Non-Linear Expansions of Presburger Arithmetic
von: Bacik, Piotr, et al.
Veröffentlicht: (2026)

Multiset semantics in SPARQL, Relational Algebra and Datalog
von: Angles, Renzo, et al.
Veröffentlicht: (2026)

An Expressive Trace Logic for Recursive Programs
von: Gurov, Dilian, et al.
Veröffentlicht: (2024)

Planning with Dynamically Changing Domains
von: Soutchanski, Mikhail, et al.
Veröffentlicht: (2025)

A foundational characterization of Hoare Logic
von: Leivant, Daniel
Veröffentlicht: (2026)

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

A Bisimulation-Invariance-Based Approach to the Separation of Polynomial Complexity Classes
von: Bruse, Florian, et al.
Veröffentlicht: (2026)

Agent Interpolation for Knowledge
von: Bílková, Marta, et al.
Veröffentlicht: (2025)

Light Cone Consistency: Toward a Unified Theory of Consistency in Message-Passing Systems
von: Landers, Rob, et al.
Veröffentlicht: (2026)

CANAL -- Cyber Activity News Alerting Language Model: Empirical Approach vs. Expensive LLM
von: Patel, Urjitkumar, et al.
Veröffentlicht: (2024)

Computability of the Hahn-Banach Theorem Revisited
von: Brattka, Vasco, et al.
Veröffentlicht: (2026)

Determination of the fifth Busy Beaver value
von: The bbchallenge Collaboration, et al.
Veröffentlicht: (2025)

A Lopez-Escobar Theorem for Continuous Domains
von: Bazhenov, Nikolay, et al.
Veröffentlicht: (2023)

Forcing as a Local Method of Accessing Small Extensions
von: Lau, Desmond
Veröffentlicht: (2024)

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

FANAL -- Financial Activity News Alerting Language Modeling Framework
von: Patel, Urjitkumar, et al.
Veröffentlicht: (2024)

Greedy Poisson Rejection Sampling
von: Flamich, Gergely
Veröffentlicht: (2023)

Security Science (SecSci), Basic Concepts and Mathematical Foundations
von: Pavlovic, Dusko, et al.
Veröffentlicht: (2025)

The Orientation Boundary for Step-Duplicating Recursors: Mechanized Impossibility, Escape, and Certification
von: Rahnama, Moses
Veröffentlicht: (2025)

Unravelling Abstract Cyclic Proofs into Proofs by Induction
von: Grotenhuis, Lide, et al.
Veröffentlicht: (2026)

The Equivalence Theorem: First-Class Relationships for Structurally Complete Database Systems
von: Alford, Matthew
Veröffentlicht: (2026)

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

Compositional Separation of Control Flow and Data Flow
von: Arellanes, Damian
Veröffentlicht: (2023)

A Formalization of the Generalized Quantum Stein's Lemma in Lean
von: Meiburg, Alex, et al.
Veröffentlicht: (2025)

The Aurellion Function: A Recursive Fast-Growing Hierarchy Beyond Knuth Notation
von: Vodrazka, Daniel
Veröffentlicht: (2025)

Continuations and Completeness in Proof-theoretic Semantics
von: Gu, Tao, et al.
Veröffentlicht: (2026)

Learning Program Behavioral Models from Synthesized Input-Output Pairs
von: Mammadov, Tural, et al.
Veröffentlicht: (2024)

Data accounting and error counting
von: Gajda, Michał J.
Veröffentlicht: (2023)

Simulation of Non-Ordinary Consciousness
von: Saqr, Khalid M.
Veröffentlicht: (2025)