Detail publikace

An Approach to Computer-Based System Synthesis

ŠVÉDA, M., VRBA, R. An Approach to Computer-Based System Synthesis. In Proceedings of the ICSE & INCOSE 2004 Conference. Las Vegas, NV: CRC Press LLC, 2004. p. 414 ( p.)ISBN: 0-8576-9197-0.
Název česky
Jeden přístup k syntéze systémů založených na počítačích
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Švéda Miroslav, prof. Ing., CSc. (UTKO)
Vrba Radimír, prof. Ing., CSc. (CEITEC VUT)
Klíčová slova

Formal specification, architectural specification, behavioral specification, structured and object-oriented design

Abstrakt

Článek presentuje jeden přístup k návrhu systémů založených na počítačích. Je zaměřený na úvodní část návrhu průmyslových aplikací. Orientuje se na síťové aplikace pokrývající škálu od rozsáhlých informačních systémů až po malé komponenty vestavované např. do mobilních zařízení. Hlavní pozornost je soustředěna na specifikace architektury a chování jak reaktivních systémů, tak i systémů pracujících v reálném čase při využití strukturovaného i objektově orientovaného přístupu dle aplikačních požadavků. Příspěvek diskutuje podrobněji proveditelné specifikace a rychlé prototypování strukturálního návrhu a verifikaci objektově orientovaného návrhu. Případová studie respektující reálná omezení demonstruje využití vyvinutých nástrojů.

Rok
2004
Strany
8
Sborník
Proceedings of the ICSE & INCOSE 2004 Conference
ISBN
0-8576-9197-0
Vydavatel
CRC Press LLC
Místo
Las Vegas, NV
BibTeX 
@inproceedings{BUT17362,
  author="Miroslav {Švéda} and Radimír {Vrba}",
  title="An Approach to Computer-Based System Synthesis",
  booktitle="Proceedings of the ICSE & INCOSE 2004 Conference",
  year="2004",
  pages="8",
  publisher="CRC Press LLC",
  address="Las Vegas, NV",
  isbn="0-8576-9197-0"
}
Nahoru