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
dctermshttp://purl.org/dc/terms/
n14http://localhost/temp/predkladatel/
n12http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n18http://linked.opendata.cz/ontology/domain/vavai/
n17http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F70883521%3A28140%2F06%3A63504368%21RIV07-MSM-28140___/
n13http://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#
n4http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n10http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n16http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n11http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n15http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n8http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n9http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F70883521%3A28140%2F06%3A63504368%21RIV07-MSM-28140___
rdf:type
skos:Concept n18:Vysledek
dcterms:description
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 (more exactly usage of Finite State Machines) can be effectively used for producing of optimized source code that fulfils necessary requirements of embedded systems. Moreover, description of application logic by FSMs leads to ability of production of target platform and programming language-independent source code. 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ů. Navíc, popis aplikační logiky pomocí KSA umožňuje za použití vhodných nástrojů generování platformně nezávislého programového kódu. 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ů. Navíc, popis aplikační logiky pomocí KSA umožňuje za použití vhodných nástrojů generování platformně nezávislého programového kódu.
dcterms:title
Formální metody vývoje SW aplikované na embedded systémy: platformně nezávislý programový kód (první díl) FORMAL-METHOD-BASED SOFTWARE DEVELOPMENT APPLIED ON EMBEDDED SYSTEMS: PLATFORM-INDEPENDENT SOURCE CODE (Part I) Formální metody vývoje SW aplikované na embedded systémy: platformně nezávislý programový kód (první díl)
skos:prefLabel
Formální metody vývoje SW aplikované na embedded systémy: platformně nezávislý programový kód (první díl) FORMAL-METHOD-BASED SOFTWARE DEVELOPMENT APPLIED ON EMBEDDED SYSTEMS: PLATFORM-INDEPENDENT SOURCE CODE (Part I) Formální metody vývoje SW aplikované na embedded systémy: platformně nezávislý programový kód (první díl)
skos:notation
RIV/70883521:28140/06:63504368!RIV07-MSM-28140___
n3:strany
69-70
n3:aktivita
n11:Z
n3:aktivity
Z(MSM7088352102)
n3:cisloPeriodika
12/06
n3:dodaniDat
n9:2007
n3:domaciTvurceVysledku
n12:8479453
n3:druhVysledku
n8:J
n3:duvernostUdaju
n10:S
n3:entitaPredkladatele
n17:predkladatel
n3:idSjednocenehoVysledku
476169
n3:idVysledku
RIV/70883521:28140/06:63504368
n3:jazykVysledku
n16:cze
n3:klicovaSlova
FSM; finite state machine; code generation; ANSI C; optimization; platform-independent
n3:klicoveSlovo
n4:finite%20state%20machine n4:ANSI%20C n4:FSM n4:optimization n4:platform-independent n4:code%20generation
n3:kodStatuVydavatele
SK - Slovenská republika
n3:kontrolniKodProRIV
[D427260176E5]
n3:nazevZdroje
AT&P Journal
n3:obor
n15:IN
n3:pocetDomacichTvurcuVysledku
1
n3:pocetTvurcuVysledku
2
n3:rokUplatneniVysledku
n9:2006
n3:svazekPeriodika
XIII
n3:tvurceVysledku
Kolář, Dušan Bližňák, Michal
n3:zamer
n13:MSM7088352102
s:issn
1335-2237
s:numberOfPages
2
n14:organizacniJednotka
28140