Detail publikace

Formal Models in Software Development and Deployment: A Case Study

KOČÍ Radek a JANOUŠEK Vladimír. Formal Models in Software Development and Deployment: A Case Study. International Journal on Advances in Software, roč. 7, č. 1, 2014, s. 266-276. ISSN 1942-2628. Dostupné z: http://www.iariajournals.org/software/tocv7n12.html
Název česky
Formální modely ve vývoji a nasazení softwaru: Případová studie
Typ
článek v časopise
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

Modelování v kontextu softwarového inženýrství obvykle slouží pro definování architektury a k popisu chování systému. Modely jsou pak automatizovaně nebo manuálně transformovány do kódu v programovacím jazyku, přičemž testování je možné pouze s kódem nebo specifickými spustitelnými modely. Následný vývoj a ladění s použitím modelů se tímto stává nemožným. Přístup dikutovaný v článku umožňuje modelovat, testovat a ladit systém s využitím vysokoúrovňových jazyků jako jsou Objektově orientované Petriho sítě kombinované s formalismem DEVS. Tyto modely mohou být nasazeny do cílového prostředí a stát se tak integrální součástí vyvinutého systému. Tato časopisecká publikace je rozšířenou verzí článku, který byl publikován na konferenci ICSEA 2013.

Rok
2014
Strany
266-276
Časopis
International Journal on Advances in Software, roč. 7, č. 1, ISSN 1942-2628
Vydavatel
Mezinárodní asociace univerzit, výzkumu a průmyslu
BibTeX 
@ARTICLE{FITPUB10637,
   author = "Radek Ko\v{c}\'{i} and Vladim\'{i}r Janou\v{s}ek",
   title = "Formal Models in Software Development and Deployment: A Case Study",
   pages = "266--276",
   journal = "International Journal on Advances in Software",
   volume = 7,
   number = 1,
   year = 2014,
   ISSN = "1942-2628",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/10637"
}
Nahoru