Result Details
Systémy založené na počítačích
Tato práce shrnuje současný stav Inženýrství systémů založených na počítačích (ECBS) jako nového a rozvíjejícího se odvětví Informatiky a výpočetní techniky z hlediska výzkumu a výuky. Pozornost je zde soustředěna nejen na holistické chápání a hlavní rysy této discipliny, ale i na vestavěné systémy jako důležitou třídu systémů založených na počítačích včetně počítačových sítí a komunikačních protokolů, které představují jejich důležité komponenty. Navíc, úvodní části zmiňují také významnou roli formálních specifikací v této oblasti. Ostatní kapitoly této práce jsou zaměřeny na detailnější prezentaci vybraných částí discipliny ECBA s využitím autorovy osobní zkušenosti.
Computer-based systems, embedded systems, temporal logics, real-time temporal logics, finite automata, transition systems, fieldbus interconnections, Internet, application framework, components reuse
@book{BUT61335,
author="Miroslav {Švéda}",
title="Systémy založené na počítačích",
year="2001",
publisher="Vysoké učení technické v Brně",
address="Brno",
series="Edice Habilitační a inaugurační spisy",
pages="22",
isbn="80-214-1937-7"
}