Bu öğeden alıntı yapmak, öğeye bağlanmak için bu tanımlayıcıyı kullanınız: http://elartu.tntu.edu.ua/handle/lib/52378

Başlık: Методологія специфікаційно-орієнтованої розробки програмного забезпечення за допомогою інструментів штучного інтелекту
Diğer Başlıklar: Methodology of specification-oriented software development using artificial intelligence tools
Yazarlar: Бармак, Р.
Дегодюк, І.
Barmak, R.
Dehodiuk, I.
Affiliation: Тернопільський національний технічний університет імені Івана Пулюя
Ternopil Ivan Puluj National Technical University
Bibliographic description (Ukraine): Бармак Р. Методологія специфікаційно-орієнтованої розробки програмного забезпечення за допомогою інструментів штучного інтелекту / Бармак Р., Дегодюк І. // Матеріали IX Міжнар. студ. наук.-техн. конф. „Природничі та гуманітарні науки. Актуальні питання“, 24-25 квітня 2026 р. — Т. : ТНТУ, 2026. — С. 154–155. — (Інформаційні технології).
Bibliographic reference (2015): Бармак Р., Дегодюк І. Методологія специфікаційно-орієнтованої розробки програмного забезпечення за допомогою інструментів штучного інтелекту // Матеріали IX Міжнар. студ. наук.-техн. конф. „Природничі та гуманітарні науки. Актуальні питання“, Тернопіль, 24-25 квітня 2026 р. 2026. С. 154–155.
Bibliographic citation (APA): Barmak, 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].
Bibliographic citation (CHICAGO): Barmak 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].
Is part of: Матеріали Ⅸ Міжнародної студентської науково-технічної конференції „Природничі та гуманітарні науки. Актуальні питання“, 2026
Proceedings of the IX International Student Scientific and Technical Conference “Natural Sciences and Humanities. Current Issues”, 2026
Conference/Event: Ⅸ Міжнародна студентська науково-технічна конференція „Природничі та гуманітарні науки. Актуальні питання“
Journal/Collection: Матеріали Ⅸ Міжнародної студентської науково-технічної конференції „Природничі та гуманітарні науки. Актуальні питання“
Yayın Tarihi: 24-Nis-2026
Date of entry: 10-Haz-2026
Yayıncı: ТНТУ
TNTU
Place of the edition/event: Тернопіль
Ternopil
Temporal Coverage: 24-25 квітня 2026 р.
24-25 April 2026
Supervisor: Бревус, Віталій Миколайович
Brevus, V. M.
UDC: 004.41
004.8
Anahtar kelimeler: специфікаційно-орієнтована розробка
програмування з використанням штучного інтелекту
автоматизація розробки програмного забезпечення
Spec-Driven Development
AI-assisted Programming
Software Development Automation
Number of pages: 2
Page range: 154-155
Start page: 154
End page: 155
URI: http://elartu.tntu.edu.ua/handle/lib/52378
Copyright owner: © Тернопільський національний технічний університет імені Івана Пулюя, 2026
URL for reference material: https://dora.dev/dora-report-2025
https://arxiv.org/abs/2602.00180
https://arxiv.org/abs/2602.02584
References (Ukraine): 1. 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].
2. 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).
3. 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).
References (International): 1. 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].
2. 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).
3. 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).
Content type: Conference Abstract
Koleksiyonlarda Görünür:Ⅸ Міжнародна студентська науково-технічна конференція „Природничі та гуманітарні науки. Актуальні питання“ (2026)



DSpace'deki bütün öğeler, aksi belirtilmedikçe, tüm hakları saklı tutulmak şartıyla telif hakkı ile korunmaktadır.