EVOLUTION-AWARE SPECIFICATION-DRIVEN SYNTHESIS OF INTELLIGENT MONITORING SYSTEMS BY LARGE LANGUAGE MODELS. - Lyashkevych, V. Y. (Informatics & Mathematical Methods in Simulation / Informatika ta Matematičnì Metodi v Modelûvannì, 2026)