Detail výsledku

Towards Simulation-Based Design of the Software Systems

KOČÍ, R.; JANOUŠEK, V. Towards Simulation-Based Design of the Software Systems. The Fourth International Conference on Software Engineering Advances. Los Alamitos: IEEE Computer Society, 2009. p. 452-457. ISBN: 978-1-4244-4779-4.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Abstrakt

The current trend in research of methodology of system's design highlights the quality of resulted systems, however the research mainly aims at efficiencyand safety of the development process itself. The most used development methodology used models as a basic means for description of systems. Although they can allow for model transformation, the designer has to adaptthe resulted code manually. It can results in inconsistency among design models and their realization and the further development or debugging by means of prime models is impossible. The paper presents an approach to the system development, which is based on the concept of simulation based design allowing to see the system as a set of models in every development stage including its deployment.

Klíčová slova

simulation based design, modeling, Object Oriented Petri Nets

Rok
2009
Strany
452–457
Sborník
The Fourth International Conference on Software Engineering Advances
Konference
The Fourth International Conference on Software Engineering Advances ICSEA 2009
ISBN
978-1-4244-4779-4
Vydavatel
IEEE Computer Society
Místo
Los Alamitos
BibTeX
@inproceedings{BUT30234,
  author="Radek {Kočí} and Vladimír {Janoušek}",
  title="Towards Simulation-Based Design of the Software Systems",
  booktitle="The Fourth International Conference on Software Engineering Advances",
  year="2009",
  pages="452--457",
  publisher="IEEE Computer Society",
  address="Los Alamitos",
  isbn="978-1-4244-4779-4"
}
Projekty
Pokročilé formální přístupy v návrhu a automatické verifikaci počítačových systémů, GAČR, Standardní projekty, GA102/07/0322, zahájení: 2007-01-01, ukončení: 2009-12-31, ukončen
Vývoj systémů založený na modelech, GAČR, Postdoktorandské granty, GP102/07/P306, zahájení: 2007-01-01, ukončení: 2009-12-31, ukončen
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, zahájení: 2007-01-01, ukončení: 2013-12-31, řešení
Výzkumné skupiny
Pracoviště
Nahoru