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

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

Namespace Prefixes

PrefixIRI
n20http://linked.opendata.cz/ontology/domain/vavai/riv/typAkce/
dctermshttp://purl.org/dc/terms/
n13http://localhost/temp/predkladatel/
n5http://purl.org/net/nknouf/ns/bibtex#
n7http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n4http://linked.opendata.cz/resource/domain/vavai/projekt/
n21http://linked.opendata.cz/ontology/domain/vavai/
n6https://schema.org/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n16http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216305%3A26220%2F02%3APU36179%21RIV%2F2004%2FGA0%2F262204%2FN/
n3http://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#
n9http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n18http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n17http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n11http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n14http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n12http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n8http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216305%3A26220%2F02%3APU36179%21RIV%2F2004%2FGA0%2F262204%2FN
rdf:type
skos:Concept n21:Vysledek
dcterms:description
In the paper, an introduction to the developed asynchronous specification language is followed by a review to the related prototyping techniques. The main part of the paper deals with an application of the language for two-level specification of an Internet-based appliance for pressure measurement. While the upper level of this specification focuses on process automation aspects, the lower level provides behavioral definitions of microelectronic system's implementation facets. In the paper, an introduction to the developed asynchronous specification language is followed by a review to the related prototyping techniques. The main part of the paper deals with an application of the language for two-level specification of an Internet-based appliance for pressure measurement. While the upper level of this specification focuses on process automation aspects, the lower level provides behavioral definitions of microelectronic system's implementation facets.
dcterms:title
Executable specifications for Process Automation and Microelectronics Executable specifications for Process Automation and Microelectronics
skos:prefLabel
Executable specifications for Process Automation and Microelectronics Executable specifications for Process Automation and Microelectronics
skos:notation
RIV/00216305:26220/02:PU36179!RIV/2004/GA0/262204/N
n3:strany
91-98
n3:aktivita
n17:P
n3:aktivity
P(GA102/02/1032)
n3:dodaniDat
n8:2004
n3:domaciTvurceVysledku
n7:3214044 n7:5971551 n7:4160126 n7:4135660
n3:druhVysledku
n12:D
n3:duvernostUdaju
n18:S
n3:entitaPredkladatele
n16:predkladatel
n3:idSjednocenehoVysledku
645627
n3:idVysledku
RIV/00216305:26220/02:PU36179
n3:jazykVysledku
n11:eng
n3:klicovaSlova
executable specifications, attribute grammars, macroprocessor, Prolog, trial architecture
n3:klicoveSlovo
n9:executable%20specifications n9:trial%20architecture n9:Prolog n9:attribute%20grammars n9:macroprocessor
n3:kontrolniKodProRIV
[F0F1CDF9EFFE]
n3:mistoKonaniAkce
Lund
n3:mistoVydani
Lund
n3:nazevZdroje
IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems
n3:obor
n14:JC
n3:pocetDomacichTvurcuVysledku
4
n3:pocetTvurcuVysledku
4
n3:pocetUcastnikuAkce
0
n3:pocetZahranicnichUcastnikuAkce
0
n3:projekt
n4:GA102%2F02%2F1032
n3:rokUplatneniVysledku
n8:2002
n3:tvurceVysledku
Kučera, Pavel Zezulka, František Vrba, Radimír Švéda, Miroslav
n3:typAkce
n20:WRD
n3:zahajeniAkce
2002-04-10+02:00
s:numberOfPages
8
n5:hasPublisher
University of Stirling
n6:isbn
1-85769-169-5
n13:organizacniJednotka
26220