Zobrazeno 1 - 10
of 33
pro vyhledávání: '"requirements formalization"'
Autor:
Dmytro Nikitin
Publikováno v:
Вісник Національного технічного університету "ХПÌ": Системний аналіз, управління та інформаційні технології, Iss 1 (9), Pp 104-109 (2023)
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://doaj.org/article/86760bf07541441cab1462d09a614f92
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
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
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Simon Bliudze, Emmanouela Stachtiari, Panagiotis Katsaros, Joseph Sifakis, Anastasia Mavridou
Publikováno v:
Journal of Systems and Software
Journal of Systems and Software, 2018, 145, pp.52-78. ⟨10.1016/j.jss.2018.07.053⟩
Journal of Systems and Software, Elsevier, 2018, 145, pp.52-78. ⟨10.1016/j.jss.2018.07.053⟩
Journal of Systems and Software, 2018, 145, pp.52-78. ⟨10.1016/j.jss.2018.07.053⟩
Journal of Systems and Software, Elsevier, 2018, 145, pp.52-78. ⟨10.1016/j.jss.2018.07.053⟩
International audience; Early validation of requirements aims to reduce the need for the high-cost validation testing and corrective measures at late development stages. This work introduces a systematic process for the unambiguous specification of s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::690cb2b4ae17cb2b44966cd94aeaa6b5
https://hal.science/hal-01873999/file/CSSPjournalPaper.pdf
https://hal.science/hal-01873999/file/CSSPjournalPaper.pdf
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.