Detail publikace
Prerequisites for Simulation-Based Software Design and Deployment
modeling, simulation-based design, model-driven engineering, model continuity
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.
@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"
}