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

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

Namespace Prefixes

PrefixIRI
n13http://linked.opendata.cz/ontology/domain/vavai/riv/typAkce/
dctermshttp://purl.org/dc/terms/
n22http://localhost/temp/predkladatel/
n4http://purl.org/net/nknouf/ns/bibtex#
n17http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n16http://linked.opendata.cz/resource/domain/vavai/projekt/
n12http://linked.opendata.cz/ontology/domain/vavai/
n19https://schema.org/
n8http://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/
n18http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216224%3A14330%2F03%3A00008253%21RIV08-MSM-14330___/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n7http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n10http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n20http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n15http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n21http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n9http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n6http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216224%3A14330%2F03%3A00008253%21RIV08-MSM-14330___
rdf:type
skos:Concept n12:Vysledek
dcterms:description
The work on a visual formalism for specification of concurrent systems is presented. It is proposed to match requirements of state-of-the-art component-based design methods. Special emphasis is given to specification of heterogeneous systems in which the different models of computation can be mixed together. We briefly summarize recent research related to the topic and give a sketch of the basic ideas for definition of the proposed language. The already achieved results of our work are presented as well. The work on a visual formalism for specification of concurrent systems is presented. It is proposed to match requirements of state-of-the-art component-based design methods. Special emphasis is given to specification of heterogeneous systems in which the different models of computation can be mixed together. We briefly summarize recent research related to the topic and give a sketch of the basic ideas for definition of the proposed language. The already achieved results of our work are presented as well. Článek obsahuje presentaci navrhovaného visuálního formalismu pro popis souběžných systémů. Hlavní aspekty formalismu jsou uvažovány s respektem vlastností komponentově orientovaných systémů. Z hlediska sémantiky je důraz kladen na možnost popisu systémů složených z komponent heterogenního charakteru (různých modelů výpočtu).
dcterms:title
Visual Specification of Concurrent Systems Visual Specification of Concurrent Systems Visual Specification of Concurrent Systems
skos:prefLabel
Visual Specification of Concurrent Systems Visual Specification of Concurrent Systems Visual Specification of Concurrent Systems
skos:notation
RIV/00216224:14330/03:00008253!RIV08-MSM-14330___
n3:strany
369-372
n3:aktivita
n15:Z n15:P
n3:aktivity
P(GA201/03/1161), Z(MSM 143300001)
n3:dodaniDat
n6:2008
n3:domaciTvurceVysledku
n17:8225400
n3:druhVysledku
n21:D
n3:duvernostUdaju
n10:S
n3:entitaPredkladatele
n18:predkladatel
n3:idSjednocenehoVysledku
633079
n3:idVysledku
RIV/00216224:14330/03:00008253
n3:jazykVysledku
n20:eng
n3:klicovaSlova
visual specification; concurrent systems; coordination models
n3:klicoveSlovo
n7:concurrent%20systems n7:coordination%20models n7:visual%20specification
n3:kontrolniKodProRIV
[D2BA595C7742]
n3:mistoKonaniAkce
Montreal, Quebec, Canada
n3:mistoVydani
Montreal, Quebec, Canada
n3:nazevZdroje
18th IEEE International Conference on Automated Software Engineering
n3:obor
n9:IN
n3:pocetDomacichTvurcuVysledku
1
n3:pocetTvurcuVysledku
1
n3:projekt
n16:GA201%2F03%2F1161
n3:rokUplatneniVysledku
n6:2003
n3:tvurceVysledku
Šafránek, David
n3:typAkce
n13:WRD
n3:zahajeniAkce
2003-10-06+02:00
n3:zamer
n8:MSM%20143300001
s:numberOfPages
4
n4:hasPublisher
IEEE Computer Society
n19:isbn
0-7695-2035-9
n22:organizacniJednotka
14330