This HTML5 document contains 43 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/
n18http://localhost/temp/predkladatel/
n13http://purl.org/net/nknouf/ns/bibtex#
n4http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n19http://linked.opendata.cz/ontology/domain/vavai/
n6http://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/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n14http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F70883521%3A28140%2F06%3A63504367%21RIV07-MSM-28140___/
n8http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n16http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n17http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n10http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n11http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n9http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n15http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F70883521%3A28140%2F06%3A63504367%21RIV07-MSM-28140___
rdf:type
skos:Concept n19:Vysledek
dcterms:description
Programování embedded systému je speciální disciplína. V mnoha případech se využívají pouze nízkoúrovňové programovací techniky a jazyky, z čehož plyne, že takový způsob vývoje aplikací může být neefektivní a časově náročný. Jedna z možných cest vedoucích ke zrychlení vývojového procesu aplikací určených pro embedded systémy je využítí formálních metod vývoje aplikací. Cílem článku je ukázat, že určité typy formálního popisu mohou být využity pro tvorbu efektivního produkčního programového kódu splňujícího všechny požadavky vyplývající z charakteristických vlastností embedded systémů. Programming of embedded systems is a special discipline. In many cases, developers are using only low-level programming technologies and languages so it is obvious that this way of software development can be time-consuming and inefficient. One of the possible ways leading to speed-up of a software development process on embedded systems is application of formal-method-based development processes. The goal of this paper is to point out that some specific formal languages can be effectively used for producing of highly optimized source code that fulfills necessary requirements of embedded systems. Programming of embedded systems is a special discipline. In many cases, developers are using only low-level programming technologies and languages so it is obvious that this way of software development can be time-consuming and inefficient. One of the possible ways leading to speed-up of a software development process on embedded systems is application of formal-method-based development processes. The goal of this paper is to point out that some specific formal languages can be effectively used for producing of highly optimized source code that fulfills necessary requirements of embedded systems.
dcterms:title
FORMAL-METHOD-BASED SOFTWARE DEVELOPMENT APPLIED ON EMBEDDED SYSTEMS: BASIC CONCEPTS Formální metody vývoje SW aplikované na embedded systémy: základní koncepty FORMAL-METHOD-BASED SOFTWARE DEVELOPMENT APPLIED ON EMBEDDED SYSTEMS: BASIC CONCEPTS
skos:prefLabel
FORMAL-METHOD-BASED SOFTWARE DEVELOPMENT APPLIED ON EMBEDDED SYSTEMS: BASIC CONCEPTS FORMAL-METHOD-BASED SOFTWARE DEVELOPMENT APPLIED ON EMBEDDED SYSTEMS: BASIC CONCEPTS Formální metody vývoje SW aplikované na embedded systémy: základní koncepty
skos:notation
RIV/70883521:28140/06:63504367!RIV07-MSM-28140___
n3:strany
45-46
n3:aktivita
n17:Z
n3:aktivity
Z(MSM7088352102)
n3:dodaniDat
n15:2007
n3:domaciTvurceVysledku
n4:8479453
n3:druhVysledku
n11:D
n3:duvernostUdaju
n16:S
n3:entitaPredkladatele
n14:predkladatel
n3:idSjednocenehoVysledku
476165
n3:idVysledku
RIV/70883521:28140/06:63504367
n3:jazykVysledku
n10:eng
n3:klicovaSlova
FSM; finite state machine; code generation; ANSI C; optimization
n3:klicoveSlovo
n8:code%20generation n8:finite%20state%20machine n8:optimization n8:FSM n8:ANSI%20C
n3:kontrolniKodProRIV
[48B5B5D911FF]
n3:mistoVydani
Vienna
n3:nazevZdroje
Annals of DAAAM for 2006 & Proceedings
n3:obor
n9:IN
n3:pocetDomacichTvurcuVysledku
1
n3:pocetTvurcuVysledku
2
n3:rokUplatneniVysledku
n15:2006
n3:tvurceVysledku
Bližňák, Michal Kolář, Dušan
n3:zamer
n6:MSM7088352102
s:issn
1726-9679
s:numberOfPages
2
n13:hasPublisher
DAAAM International Vienna
n18:organizacniJednotka
28140