8 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…
Specification-Driven Development Benchmark: Security Knowledge Transition
Oleg Grynets, Andrii Salyk, Vasyl Lyashkevych +2
AI-assisted software development is shifting from isolated code completion toward specification-driven generation, where business requirements, technical specifications, and accept…
Token Optimization Strategies for LLM-Based Oracle-to-PostgreSQL Migration
Oleg Grynets, Dmytro Babarytskyi, Vasyl Lyashkevych
LLMs are increasingly used for software modernization, code translation, and database migration. However, LLM-based Oracle2PostgreSQL migration remains constrained by high token co…
Specification-Based Code-Text-Code Reengineering for LLM-Mediated Software Evolution
Oleg Grynets, Vasyl Lyashkevych, Arsen Dolichnyi +3
Direct Code2Code transformation remains challenging to control because it can preserve surface-level syntax while introducing semantic drift, hidden behavioral changes, loss of tra…