Detail publikace

Prerequisites for Simulation-Based Software Design and Deployment

KOČÍ, R.; JANOUŠEK, V. Prerequisites for Simulation-Based Software Design and Deployment. ICSEA 2023 The Eighteenth International Conference on Software Engineering Advances. Porto: Xpert Publishing Services, 2023. p. 105-109. ISBN: 978-1-68558-098-8.
Název česky
Předpoklady pro simulační návrh a nasazení softwaru
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
URL
Klíčová slova

modeling, simulation-based design, model-driven engineering, model continuity

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
ISBN
978-1-68558-098-8
Vydavatel
Xpert Publishing Services
Místo
Porto
BibTeX
@inproceedings{BUT187003,
  author="Radek {Kočí} and Vladimír {Janoušek}",
  title="Prerequisites for Simulation-Based Software Design and Deployment",
  booktitle="ICSEA 2023 The Eighteenth International Conference on Software Engineering Advances",
  year="2023",
  pages="105--109",
  publisher="Xpert Publishing Services",
  address="Porto",
  isbn="978-1-68558-098-8",
  url="https://www.thinkmind.org/index.php?view=article&articleid=icsea_2023_1_170_10090"
}
Nahoru