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

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

Namespace Prefixes

PrefixIRI
n19http://linked.opendata.cz/ontology/domain/vavai/riv/typAkce/
dctermshttp://purl.org/dc/terms/
n14http://purl.org/net/nknouf/ns/bibtex#
n4http://localhost/temp/predkladatel/
n18http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n11http://linked.opendata.cz/resource/domain/vavai/projekt/
n17http://linked.opendata.cz/ontology/domain/vavai/
n20https://schema.org/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n5http://linked.opendata.cz/ontology/domain/vavai/riv/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n6http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n21http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n10http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216305%3A26230%2F04%3APU49127%21RIV%2F2005%2FGA0%2F262305%2FN/
n13http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n9http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n16http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n7http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n12http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216305%3A26230%2F04%3APU49127%21RIV%2F2005%2FGA0%2F262305%2FN
rdf:type
skos:Concept n17:Vysledek
dcterms:description
Presentovaný návrhový rámec vychází z verifikovatelných formálních specifikací jako počátečního paradigmatu, z ditribuovaných HW/SW komponent se skupinovým adresováním na Internetu jako paradigmatu architektury a z paradigmatu opakované využitelnosti podporující všechny fáze procesu návrhu od specifikací po implementaci a testování. Příspěvek pojednává koncepci zaměřenou na systémy respektující standardy IEEE 1451 a sestávající z komponent připojených k Internetu. Integrovaný rámec je založen na objektoovém síťovém modelu IEEE 1451.1 doplněném o IP multicast. Jádro příspěvku pojednává o nástrojích a technikách podporujících specifikační a návrhovou fázi životního cyklu vyvíjených aplikací. The presented design framework stems from verifiable formal specifications as a launching paradigm, from Internet-based distributed HW/SW components with multicast as an architectural paradigm, and from reusability paradigm supporting all phases of the design process ranging from specification to implementation and testing. This paper presents concepts of a specification-driven design framework aiming at IEEE 1451-based embedded distributed systems that consist of smart components connected to Internet.. It deals with an integrated networking framework stemming from the IEEE 1451.1 object-based networking model, complemented by the Internet Protocol (IP) multicast that mediates efficient and unified access from Internet to distributed components. The kernel of the paper deals with tools and techniques aiming to prop specification and design life cycle phases of applications under development. The presented design framework stems from verifiable formal specifications as a launching paradigm, from Internet-based distributed HW/SW components with multicast as an architectural paradigm, and from reusability paradigm supporting all phases of the design process ranging from specification to implementation and testing. This paper presents concepts of a specification-driven design framework aiming at IEEE 1451-based embedded distributed systems that consist of smart components connected to Internet.. It deals with an integrated networking framework stemming from the IEEE 1451.1 object-based networking model, complemented by the Internet Protocol (IP) multicast that mediates efficient and unified access from Internet to distributed components. The kernel of the paper deals with tools and techniques aiming to prop specification and design life cycle phases of applications under development.
dcterms:title
Rámec pro návrh vestavěných distribuovaných systémů založených na Internetu A Design Framework for Internet-Based Embedded Distributed Systems A Design Framework for Internet-Based Embedded Distributed Systems
skos:prefLabel
Rámec pro návrh vestavěných distribuovaných systémů založených na Internetu A Design Framework for Internet-Based Embedded Distributed Systems A Design Framework for Internet-Based Embedded Distributed Systems
skos:notation
RIV/00216305:26230/04:PU49127!RIV/2005/GA0/262305/N
n5:strany
113-120
n5:aktivita
n9:P
n5:aktivity
P(GA102/02/1032)
n5:dodaniDat
n12:2005
n5:domaciTvurceVysledku
n18:3214044
n5:druhVysledku
n16:D
n5:duvernostUdaju
n21:S
n5:entitaPredkladatele
n10:predkladatel
n5:idSjednocenehoVysledku
552887
n5:idVysledku
RIV/00216305:26230/04:PU49127
n5:jazykVysledku
n13:eng
n5:klicovaSlova
Framework, formal specification, HW/SW components, IP multicast, 1451.1
n5:klicoveSlovo
n6:IP%26nbsp n6:formal%20specification n6:HW%2FSW%20components n6:Framework n6:multicast n6:1451.1
n5:kontrolniKodProRIV
[07E817E8608E]
n5:mistoKonaniAkce
Brno
n5:mistoVydani
Los Alamitos, California
n5:nazevZdroje
Proceedings of the International IEEE Conference and Workshop ECBS'2004
n5:obor
n7:JC
n5:pocetDomacichTvurcuVysledku
1
n5:pocetTvurcuVysledku
1
n5:projekt
n11:GA102%2F02%2F1032
n5:rokUplatneniVysledku
n12:2004
n5:tvurceVysledku
Švéda, Miroslav
n5:typAkce
n19:WRD
n5:zahajeniAkce
2004-05-23+02:00
s:numberOfPages
8
n14:hasPublisher
IEEE Computer Society
n20:isbn
0-7695-2125-8
n4:organizacniJednotka
26230