Detail publikace

Prerequisites for Simulation-Based Software Design and Deployment

KOČÍ Radek a JANOUŠEK Vladimír. Prerequisites for Simulation-Based Software Design and Deployment. In: ICSEA 2023 The Eighteenth International Conference on Software Engineering Advances. Porto: Xpert Publishing Services, 2023, s. 105-109. ISBN 978-1-68558-098-8. Dostupné z: https://www.thinkmind.org/index.php?view=article&articleid=icsea_2023_1_170_10090
Název česky
Předpoklady pro simulační návrh a nasazení softwaru
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Kočí Radek, Ing., Ph.D. (UITS FIT VUT)
Janoušek Vladimír, doc. Ing., Ph.D. (UITS FIT VUT)
URL
Abstrakt

Základním problémem spojeným s vývojem softwaru je správná identifikace, specifikace a realizace požadavků na softwarový systém. Mnoho metodik není formálně definováno a spoléhá se na intuitivní použití. Naproti tomu techniky formálního popisu jasně popisují uživatelské požadavky a jejich konkrétní řešení. Náš tým se zabývá modelováním požadavků a chování softwarových systémů pomocí formálních modelů používaných specifickým způsobem. Tento přístup kombinuje intuitivní modelování s přesným vyjádřením specifikovaných požadavků a podrobným popisem implementace. Modely slouží k analýze, návrhu systému, validaci a simulaci. Modely lze také přímo nasadit v reálném prostředí vyvíjených systémů. Tento článek shrnuje současný stav přístupu k vývoji systémů, který vyvíjí náš tým.

Rok
2023
Strany
105-109
Sborník
ICSEA 2023 The Eighteenth International Conference on Software Engineering Advances
Konference
The Eighteenth International Conference on Software Engineering Advances, Valencia, ES
ISBN
978-1-68558-098-8
Vydavatel
Xpert Publishing Services
Místo
Porto, PT
BibTeX 
@INPROCEEDINGS{FITPUB13070,
   author = "Radek Ko\v{c}\'{i} and Vladim\'{i}r Janou\v{s}ek",
   title = "Prerequisites for Simulation-Based Software Design and Deployment",
   pages = "105--109",
   booktitle = "ICSEA 2023 The Eighteenth International Conference on Software Engineering Advances",
   year = 2023,
   location = "Porto, PT",
   publisher = "Xpert Publishing Services",
   ISBN = "978-1-68558-098-8",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/13070"
}
Nahoru