5 papers
Specification Portability Across LLM Development Agents: Cross-Agent Compatibility in Specification-Driven Software Migration
Oleg Grynets, Oleksii Ilchuk, Dariia Zatulna +1
This paper investigates cross-agent specification portability using Oracle-to-PostgreSQL migration as a controlled software transformation task. The study combines two experimental…
Measuring What a Specification Determines: A Formal Semantic-Block Model and an Execution-Judged Benchmark
Oleg Grynets, Dmytro Kostetskyi, Vasyl Lyashkevych
This work introduces a formal semantic-block model for specifications and an execution-judged benchmark for evaluating specification quality independently of model capability. A sp…
Specification-Driven DevOps for Multi-Service Environments
Oleg Grynets, Kyrylo Fursov, Vasyl Lyashkevych +1
Large Language Models (LLMs) are increasingly used to generate executable software environments from repository artifacts. However, functional executability does not necessarily im…
Unified Architecture Metamodel of Information Systems Developed by Generative AI
Oleg Grynets, Vasyl Lyashkevych
The rapid development of AI and LLMs has driven new methods of SDLC, in which a large portion of code, technical, and business documentation is generated automatically. However, si…
Fine-tuned LLM-based Code Migration Framework
Oleg Grynets, Vasyl Lyashkevych, Dmytro Baran +3
The study presents the outcomes of research and experimental validation in the domain of automated codebase migration, with a focus on addressing challenges in transitioning SQL-ba…