International Journal of Wireless and Microwave Technologies (IJWMT)
IJWMT Vol. 16, No. 3, 8 Jun. 2026
Cover page and Table of Contents: PDF (size: 1706KB)
An Example of Developing a High-level Requirements Specification for AI-based Software using ChatGPT
PDF (1706KB), PP.111-127
Views: 0 Downloads: 0
Author(s)
Index Terms
System requirements specification, systems requirements engineering, formal verification, chatGPT
Abstract
Over the past seven years, significant changes have occurred in both the development paradigms and the practical use of software systems of varying complexity. These changes are largely driven by the rapid adoption of online artificial intelligence technologies based on large-scale language models. Such models are currently actively used in software development tasks, including source code generation and test plan creation, thereby integrating across various stages of the software development lifecycle. This article examines a classic research object—namely, the process of developing a system requirements specification—and proposes an approach to its formal verification using the ChatGPT online service. First, a detailed mathematical formalization of the research object is presented, followed by a structured model for preparing system requirements in projects using ChatGPT at various stages of development. Next, the proposed approach is illustrated using a real IT project example, demonstrating the sequential stages of requirements preparation in a modern development environment. The article defines the main categories of system requirements and discusses their representation in project documentation. To support the analysis, relevant tabular data and UML diagrams are provided. Furthermore, the study describes a methodology for formal requirements verification through prompt-based interaction with the ChatGPT system. The scientific novelty of this work lies in the application of requirements verification by modeling the expected behavior of the future software system using ChatGPT. Future research directions include incorporating a fifth category of requirements – business rules – using ChatGPT, which will enable modeling the behavior of the software system in real business processes.
Cite This Paper
Sergey Orekhov, Pavel Taran, Nikuta Bahatskyi, Yong Fan, "An Example of Developing a High-level Requirements Specification for AI-based Software using ChatGPT", International Journal of Wireless and Microwave Technologies(IJWMT), Vol.16, No.3, pp. 111-127, 2026. DOI:10.5815/ijwmt.2026.03.08
Reference
[1]Tian J. (2005). Software Quality Engineering. Testing, Quality Assurance, and Quantifiable Improvement. USA: John Wiley & Sons Inc. ISBN: 978-0-471-71345-6.
[2]Wiegers K., Beatty J. (2013). Software requirements. Third edition. USA: Microsoft Press. ISBN: 978-0-7356-7966-5.
[3]Combemale B., Gray J., Rumpe B. (2023). ChatGPT in software modeling. Software and Systems Modeling, 22, 777-779. DOI: 10.1007/s10270-023-01106-4.
[4]Marques N., Silva R.R., Bernardino J. (2024). Using ChatGPT in Software Requirements Engineering: A Comprehensive Review, Future Internet, 16(180), 1-21; DOI: 10.3390/fi16060180.
[5]Cheng H., Husen J.H., Lu Y., Racharak T., Yoshioka N., Ubayashi N., Washizaki H. (2025). Generative AI for Requirements Engineering: A Systematic Literature Review. Software: Practice and Experience, 56(2), 141-170. DOI: 10.1002/spe.70029.
[6]Pooley R., Wilcox P. (2003). Applying UML. USA: Advance. ISBN: 978-0750656832.
[7]Weiss B. (2011). Deductive verification of object-oriented software: dynamic frames, dynamic logic and predicate abstraction. Germany: KIT Scientific Publishing. ISBN: 978-3866446236.
[8]Drechsler R. (2017). Formal system verification : state-of the-art and future trends. Switzerland: Springer Nature Switzerland AG. ISBN: 978-3319576855.
[9]Kopp A., Orekhov S., Orlovskyi D. (2022). Towards Understandability Evaluation of Business Process Models using Activity Textual Analysis. CEUR Workshop Proceedings, Vol. 3312. 200-211. https://ceur-ws.org/Vol-3312/paper17.pdf.
[10]Baker P. (2025). ChatGPT For Dummies, For Dummies. USA: John Wiley & Sons. ISBN: 978-1394314454.
[11]Ekin S. (2023). ChatGPT. Prompt Engineering For ChatGPT: A Quick Guide To Techniques, Tips, And Best Practices. USA: OpenAI. DOI: 10.36227/techrxiv.22683919.
[12]Schaper N. (2024). Using ChatGPT to create constructively aligned assessment tasks and criteria in the context of higher education teaching. Artificial Intelligence for Quality Education. USA: IntechOpen. DOI: 10.5772/intechopen.1005129.
[13]Orekhov S., Taran P. (2024). Example of synthesizing a semantic kernel by CHATGPT. Proceedings of the XVII International Scientific and Practical Conference. Odessa, October 31 – November 1. Odessa, ONUT Publishing House. 576-578. https://otfk.od.ua/conference/files/17_01_2025_4.pdf.