Zobrazeno 1 - 1
of 1
pro vyhledávání: '"верифікація та валідація"'
Publikováno v:
Вісник Національного технічного університету «ХПІ». Серія: Системний аналiз, управління та iнформацiйнi технологiї; № 1 (9) (2023); 104-109
Вестник Национального технического университета "ХПИ". Серия: Системный анализ, управление и информационные технологии; № 1 (9) (2023); 104-109
Bulletin of National Technical University "KhPI". Series: System Analysis, Control and Information Technologies; No. 1 (9) (2023); 104-109
Вестник Национального технического университета "ХПИ". Серия: Системный анализ, управление и информационные технологии; № 1 (9) (2023); 104-109
Bulletin of National Technical University "KhPI". Series: System Analysis, Control and Information Technologies; No. 1 (9) (2023); 104-109
This article presents a formalization approach for the requirements of object-oriented programs with state machines, using a spacecraft control system as a case study. It proposes a state pattern implementation, where each state is represented as a c
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=scientific_p::7d30532107be22729aa99620aa2a8c76
http://samit.khpi.edu.ua/article/view/284730
http://samit.khpi.edu.ua/article/view/284730
