Empreu aquest identificador per citar o enllaçar aquest ítem: http://elartu.tntu.edu.ua/handle/lib/52378

Registre complet de metadades
Camp DCValorLengua/Idioma
dc.contributor.advisorБревус, Віталій Миколайович
dc.contributor.advisorBrevus, V. M.
dc.contributor.authorБармак, Р.
dc.contributor.authorДегодюк, І.
dc.contributor.authorBarmak, R.
dc.contributor.authorDehodiuk, I.
dc.coverage.temporal24-25 квітня 2026 р.
dc.coverage.temporal24-25 April 2026
dc.date.accessioned2026-06-10T14:28:18Z-
dc.date.available2026-06-10T14:28:18Z-
dc.date.created2026-04-24
dc.date.issued2026-04-24
dc.identifier.citationБармак Р. Методологія специфікаційно-орієнтованої розробки програмного забезпечення за допомогою інструментів штучного інтелекту / Бармак Р., Дегодюк І. // Матеріали IX Міжнар. студ. наук.-техн. конф. „Природничі та гуманітарні науки. Актуальні питання“, 24-25 квітня 2026 р. — Т. : ТНТУ, 2026. — С. 154–155. — (Інформаційні технології).
dc.identifier.urihttp://elartu.tntu.edu.ua/handle/lib/52378-
dc.format.extent154-155
dc.language.isouk
dc.publisherТНТУ
dc.publisherTNTU
dc.relation.ispartofМатеріали Ⅸ Міжнародної студентської науково-технічної конференції „Природничі та гуманітарні науки. Актуальні питання“, 2026
dc.relation.ispartofProceedings of the IX International Student Scientific and Technical Conference “Natural Sciences and Humanities. Current Issues”, 2026
dc.relation.urihttps://dora.dev/dora-report-2025
dc.relation.urihttps://arxiv.org/abs/2602.00180
dc.relation.urihttps://arxiv.org/abs/2602.02584
dc.subjectспецифікаційно-орієнтована розробка
dc.subjectпрограмування з використанням штучного інтелекту
dc.subjectавтоматизація розробки програмного забезпечення
dc.subjectSpec-Driven Development
dc.subjectAI-assisted Programming
dc.subjectSoftware Development Automation
dc.titleМетодологія специфікаційно-орієнтованої розробки програмного забезпечення за допомогою інструментів штучного інтелекту
dc.title.alternativeMethodology of specification-oriented software development using artificial intelligence tools
dc.typeConference Abstract
dc.rights.holder© Тернопільський національний технічний університет імені Івана Пулюя, 2026
dc.coverage.placenameТернопіль
dc.coverage.placenameTernopil
dc.format.pages2
dc.subject.udc004.41
dc.subject.udc004.8
dc.relation.references1. D. DeBellis, K. Storer, N. Harvey, M. Beane, R. Edwards, E. Fraser et al, "DORA 2025 State of AI-Assisted Software Development Report," DORA, Google, 2025. [Online]. Available: https://dora.dev/dora-report-2025 [Accessed: Mar. 30, 2026].
dc.relation.references2. B. P. Deepak, "Spec-Driven Development: From Code to Contract in the Age of AI Coding Assistants," 2026. [Online]. Available: https://arxiv.org/abs/2602.00180 (accessed Mar. 30, 2026).
dc.relation.references3. R. M. Srinivas, "Constitutional Spec-Driven Development: Enforcing Security by Construction in AI-Assisted Code Generation," 2026. [Online]. Available: https://arxiv.org/abs/2602.02584 (accessed Mar. 30, 2026).
dc.relation.referencesen1. D. DeBellis, K. Storer, N. Harvey, M. Beane, R. Edwards, E. Fraser et al, "DORA 2025 State of AI-Assisted Software Development Report," DORA, Google, 2025. [Online]. Available: https://dora.dev/dora-report-2025 [Accessed: Mar. 30, 2026].
dc.relation.referencesen2. B. P. Deepak, "Spec-Driven Development: From Code to Contract in the Age of AI Coding Assistants," 2026. [Online]. Available: https://arxiv.org/abs/2602.00180 (accessed Mar. 30, 2026).
dc.relation.referencesen3. R. M. Srinivas, "Constitutional Spec-Driven Development: Enforcing Security by Construction in AI-Assisted Code Generation," 2026. [Online]. Available: https://arxiv.org/abs/2602.02584 (accessed Mar. 30, 2026).
dc.contributor.affiliationТернопільський національний технічний університет імені Івана Пулюя
dc.contributor.affiliationTernopil Ivan Puluj National Technical University
dc.citation.journalTitleМатеріали Ⅸ Міжнародної студентської науково-технічної конференції „Природничі та гуманітарні науки. Актуальні питання“
dc.citation.spage154
dc.citation.epage155
dc.citation.conferenceⅨ Міжнародна студентська науково-технічна конференція „Природничі та гуманітарні науки. Актуальні питання“
dc.identifier.citation2015Бармак Р., Дегодюк І. Методологія специфікаційно-орієнтованої розробки програмного забезпечення за допомогою інструментів штучного інтелекту // Матеріали IX Міжнар. студ. наук.-техн. конф. „Природничі та гуманітарні науки. Актуальні питання“, Тернопіль, 24-25 квітня 2026 р. 2026. С. 154–155.
dc.identifier.citationenAPABarmak, R., & Dehodiuk, I. (2026). Metodolohiia spetsyfikatsiino-oriientovanoi rozrobky prohramnoho zabezpechennia za dopomohoiu instrumentiv shtuchnoho intelektu [Methodology of specification-oriented software development using artificial intelligence tools]. Proceedings of the IX International Student Scientific and Technical Conference “Natural Sciences and Humanities. Current Issues”, 24-25 April 2026, Ternopil, 154-155. TNTU. [in Ukrainian].
dc.identifier.citationenCHICAGOBarmak R., Dehodiuk I. (2026) Metodolohiia spetsyfikatsiino-oriientovanoi rozrobky prohramnoho zabezpechennia za dopomohoiu instrumentiv shtuchnoho intelektu [Methodology of specification-oriented software development using artificial intelligence tools]. Proceedings of the IX International Student Scientific and Technical Conference “Natural Sciences and Humanities. Current Issues” (Tern., 24-25 April 2026), pp. 154-155 [in Ukrainian].
Apareix a les col·leccions:Ⅸ Міжнародна студентська науково-технічна конференція „Природничі та гуманітарні науки. Актуальні питання“ (2026)



Els ítems de DSpace es troben protegits per copyright, amb tots els drets reservats, sempre i quan no s’indiqui el contrari.