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
n20http://linked.opendata.cz/ontology/domain/vavai/riv/typAkce/
dctermshttp://purl.org/dc/terms/
n22http://purl.org/net/nknouf/ns/bibtex#
n3http://localhost/temp/predkladatel/
n19http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n8http://linked.opendata.cz/resource/domain/vavai/subjekt/
n7http://linked.opendata.cz/ontology/domain/vavai/
n15https://schema.org/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n4http://linked.opendata.cz/ontology/domain/vavai/riv/
n18http://bibframe.org/vocab/
n9http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F61989100%3A27240%2F13%3A86086698%21RIV14-MSM-27240___/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n12http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n17http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n21http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n13http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n16http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n5http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n10http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F61989100%3A27240%2F13%3A86086698%21RIV14-MSM-27240___
rdf:type
skos:Concept n7:Vysledek
dcterms:description
In the contribution we deal with description of Vienna Development Method (VDM), which is a formal method for description and development software systems. It is a collection of techniques and methods for modelling, specification and design of software systems. Specification of VDM is established on mathematics and can be written very abstractly and formally. Transparent Intesional Logic was used for specification of problem description. Advantage of this tool is general description and easy transformation to other specification languages. The method of process development implementation consists from series of steps, in which VDM specification is transformed to software implementation. Every step generates new specification, which is less abstract and more implementable like previous steps. Process between steps of development is known as refinent. The most important element of VDM is his specification language Vienna Development Specification Method – Specification Language VDM - SL). VDM – SL supports modelling and analyzing of software systems with various levels of abstraction. This method was used to develop software for control and coordination of traffic lights. This software uses real data. In the contribution we deal with description of Vienna Development Method (VDM), which is a formal method for description and development software systems. It is a collection of techniques and methods for modelling, specification and design of software systems. Specification of VDM is established on mathematics and can be written very abstractly and formally. Transparent Intesional Logic was used for specification of problem description. Advantage of this tool is general description and easy transformation to other specification languages. The method of process development implementation consists from series of steps, in which VDM specification is transformed to software implementation. Every step generates new specification, which is less abstract and more implementable like previous steps. Process between steps of development is known as refinent. The most important element of VDM is his specification language Vienna Development Specification Method – Specification Language VDM - SL). VDM – SL supports modelling and analyzing of software systems with various levels of abstraction. This method was used to develop software for control and coordination of traffic lights. This software uses real data.
dcterms:title
Description and developement software systems by using TIL Script and VDM Description and developement software systems by using TIL Script and VDM
skos:prefLabel
Description and developement software systems by using TIL Script and VDM Description and developement software systems by using TIL Script and VDM
skos:notation
RIV/61989100:27240/13:86086698!RIV14-MSM-27240___
n7:predkladatel
n8:orjk%3A27240
n4:aktivita
n13:S
n4:aktivity
S
n4:dodaniDat
n10:2014
n4:domaciTvurceVysledku
n19:1485806 Chupáč, Ľuboš
n4:druhVysledku
n5:D
n4:duvernostUdaju
n17:S
n4:entitaPredkladatele
n9:predkladatel
n4:idSjednocenehoVysledku
68487
n4:idVysledku
RIV/61989100:27240/13:86086698
n4:jazykVysledku
n21:eng
n4:klicovaSlova
refinement; requirements; Hyperintesional Logic; TIL; VDM-SL
n4:klicoveSlovo
n12:VDM-SL n12:requirements n12:refinement n12:Hyperintesional%20Logic n12:TIL
n4:kontrolniKodProRIV
[0CD644F52465]
n4:mistoKonaniAkce
Albena
n4:mistoVydani
Sofia
n4:nazevZdroje
SGEM 2013 : 13th international multidisciplinary scientific geoconference : GeoConference on Informatics, Geoinformatics and Remote Sensing : 16-22, June, 2013, Albena, Bulgaria : conference proceedings. [Book 2]. Volume I
n4:obor
n16:IN
n4:pocetDomacichTvurcuVysledku
2
n4:pocetTvurcuVysledku
3
n4:rokUplatneniVysledku
n10:2013
n4:tvurceVysledku
Menšík, Marek Mudroň, Ivan Chupáč, Ľuboš
n4:typAkce
n20:WRD
n4:zahajeniAkce
2013-06-16+02:00
s:issn
1314-2704
s:numberOfPages
8
n18:doi
10.5593/SGEM2013/BB2.V1/S07.012
n22:hasPublisher
STEF92 Technology Ltd.
n15:isbn
978-954-91818-9-0
n3:organizacniJednotka
27240