About: Computer-Based Systems

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Computer-Based Systems Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
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	Z
http://linked.open...avai/riv/aktivity	Z(MSM 262200012)
http://linked.open...vai/riv/dodaniDat	2002
http://linked.open...aciTvurceVysledku	Švéda, Miroslav
http://linked.open.../riv/druhVysledku	B - Odborná kniha
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Vysoké učení technické v Brně / Fakulta elektrotechniky a komunikačních technologií
http://linked.open...dnocenehoVysledku	698241
http://linked.open...ai/riv/idVysledku	RIV/00216305:26220/01:PU28692
http://linked.open...riv/jazykVysledku	cze - čeština
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	Internet finite automata Computer-based systems application framework components reuse fieldbus interconnections real-time temporal logics embedded systems transition systems temporal logics
http://linked.open...ontrolniKodProRIV	[3846D52CBECD]
http://linked.open...i/riv/mistoVydani	Brno
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	JC
http://linked.open...ichTvurcuVysledku	1 (xsd:int)
http://linked.open...v/pocetStranKnihy	22 (xsd:int)
http://linked.open...cetTvurcuVysledku	1 (xsd:int)
http://linked.open...ocetUcastnikuAkce	0 (xsd:int)
http://linked.open...nichUcastnikuAkce	0 (xsd:int)
http://linked.open...UplatneniVysledku	2001
http://linked.open...iv/tvurceVysledku	Švéda, Miroslav
http://linked.open...n/vavai/riv/zamer	http://linked.opendata.cz/resource/domain/vavai/zamer/MSM%20262200012
number of pages	22 (xsd:int)
http://purl.org/ne...btex#hasPublisher	Vysoké učení technické v Brně
https://schema.org/isbn	80-214-1937-7
http://localhost/t...ganizacniJednotka	26220

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 77 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software