This HTML5 document contains 49 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
n17http://purl.org/net/nknouf/ns/bibtex#
n10http://localhost/temp/predkladatel/
n8http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n11http://linked.opendata.cz/ontology/domain/vavai/
n18https://schema.org/
n12http://linked.opendata.cz/resource/domain/vavai/zamer/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n9http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216305%3A26220%2F01%3APU28692%21RIV%2F2002%2FMSM%2F262202%2FN/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n5http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n14http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n15http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n7http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n20http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n19http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n16http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216305%3A26220%2F01%3APU28692%21RIV%2F2002%2FMSM%2F262202%2FN
rdf:type
skos:Concept n11:Vysledek
dcterms:description
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. 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
dcterms:title
Systémy založené na počítačích Computer-Based Systems Systémy založené na počítačích
skos:prefLabel
Computer-Based Systems Systémy založené na počítačích Systémy založené na počítačích
skos:notation
RIV/00216305:26220/01:PU28692!RIV/2002/MSM/262202/N
n3:aktivita
n15:Z
n3:aktivity
Z(MSM 262200012)
n3:dodaniDat
n16:2002
n3:domaciTvurceVysledku
n8:3214044
n3:druhVysledku
n19:B
n3:duvernostUdaju
n14:S
n3:entitaPredkladatele
n9:predkladatel
n3:idSjednocenehoVysledku
698241
n3:idVysledku
RIV/00216305:26220/01:PU28692
n3:jazykVysledku
n7:cze
n3:klicovaSlova
Computer-based systems, embedded systems, temporal logics, real-time temporal logics, finite automata, transition systems, fieldbus interconnections, Internet, application framework, components reuse
n3:klicoveSlovo
n5:application%20framework n5:finite%20automata n5:embedded%20systems n5:components%20reuse n5:real-time%20temporal%20logics n5:Internet n5:temporal%20logics n5:fieldbus%20interconnections n5:Computer-based%20systems n5:transition%20systems
n3:kontrolniKodProRIV
[3846D52CBECD]
n3:mistoVydani
Brno
n3:nazevEdiceCisloSvazku
Edice Habilitační a inaugurační spisy
n3:nazevZdroje
Systémy založené na počítačích
n3:obor
n20:JC
n3:pocetDomacichTvurcuVysledku
1
n3:pocetStranKnihy
22
n3:pocetTvurcuVysledku
1
n3:pocetUcastnikuAkce
0
n3:pocetZahranicnichUcastnikuAkce
0
n3:rokUplatneniVysledku
n16:2001
n3:tvurceVysledku
Švéda, Miroslav
n3:zamer
n12:MSM%20262200012
s:numberOfPages
22
n17:hasPublisher
Vysoké učení technické v Brně
n18:isbn
80-214-1937-7
n10:organizacniJednotka
26220