Attributes | Values |
---|
rdf:type
| |
Description
| - This lecture reviews the contemporary state of Engineering of Computer-Based Systems (ECBS) as a new and emerging branch of Computer Science and Engineering from the viewpoints of research and education. Attention is focused not only on a holistic view and main features of this discipline, but also on embedded systems as an important class of computer-based systems (CBS) including computer networks and communication protocols, which constitute their important components. Moreover, introductory sections mention also the significant role of formal specifications in this domain. The other sections of the lecture focus on more detailed presentation of selected parts of this discipline employing author's personal experience. Following the introductory and general sections, main part of the lecture discusses research, professional, and educational activities in the ECBS domain. Research contributions cover industrial research and development of embedded systems, formal specifications in ECBS, and communic (en)
- 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.
|
Title
| - Computer-Based Systems (en)
- Systémy založené na počítačích
- Systémy založené na počítačích (cs)
|
skos:prefLabel
| - Computer-Based Systems (en)
- Systémy založené na počítačích
- Systémy založené na počítačích (cs)
|
skos:notation
| - RIV/00216305:26220/01:PU28692!RIV/2002/MSM/262202/N
|
http://linked.open...avai/riv/aktivita
| |
http://linked.open...avai/riv/aktivity
| |
http://linked.open...vai/riv/dodaniDat
| |
http://linked.open...aciTvurceVysledku
| |
http://linked.open.../riv/druhVysledku
| |
http://linked.open...iv/duvernostUdaju
| |
http://linked.open...titaPredkladatele
| |
http://linked.open...dnocenehoVysledku
| |
http://linked.open...ai/riv/idVysledku
| - RIV/00216305:26220/01:PU28692
|
http://linked.open...riv/jazykVysledku
| |
http://linked.open.../riv/klicovaSlova
| - Computer-based systems, embedded systems, temporal logics, real-time temporal logics, finite automata, transition systems, fieldbus interconnections, Internet, application framework, components reuse (en)
|
http://linked.open.../riv/klicoveSlovo
| |
http://linked.open...ontrolniKodProRIV
| |
http://linked.open...i/riv/mistoVydani
| |
http://linked.open...vEdiceCisloSvazku
| - Edice Habilitační a inaugurační spisy
|
http://linked.open...i/riv/nazevZdroje
| - Systémy založené na počítačích
|
http://linked.open...in/vavai/riv/obor
| |
http://linked.open...ichTvurcuVysledku
| |
http://linked.open...v/pocetStranKnihy
| |
http://linked.open...cetTvurcuVysledku
| |
http://linked.open...ocetUcastnikuAkce
| |
http://linked.open...nichUcastnikuAkce
| |
http://linked.open...UplatneniVysledku
| |
http://linked.open...iv/tvurceVysledku
| |
http://linked.open...n/vavai/riv/zamer
| |
number of pages
| |
http://purl.org/ne...btex#hasPublisher
| - Vysoké učení technické v Brně
|
https://schema.org/isbn
| |
http://localhost/t...ganizacniJednotka
| |