Description and developement software systems by using TIL Script and VDM
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27240%2F13%3A86086698" target="_blank" >RIV/61989100:27240/13:86086698 - isvavai.cz</a>
Výsledek na webu
<a href="http://dx.doi.org/10.5593/SGEM2013/BB2.V1/S07.012" target="_blank" >http://dx.doi.org/10.5593/SGEM2013/BB2.V1/S07.012</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.5593/SGEM2013/BB2.V1/S07.012" target="_blank" >10.5593/SGEM2013/BB2.V1/S07.012</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Description and developement software systems by using TIL Script and VDM
Popis výsledku v původním jazyce
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 andmore 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)
Název v anglickém jazyce
Description and developement software systems by using TIL Script and VDM
Popis výsledku anglicky
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 andmore 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)
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
IN - Informatika
OECD FORD obor
—
Návaznosti výsledku
Projekt
—
Návaznosti
S - Specificky vyzkum na vysokych skolach
Ostatní
Rok uplatnění
2013
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název statě ve sborníku
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
ISBN
978-954-91818-9-0
ISSN
1314-2704
e-ISSN
—
Počet stran výsledku
8
Strana od-do
93-100
Název nakladatele
STEF92 Technology Ltd.
Místo vydání
Sofia
Místo konání akce
Albena
Datum konání akce
16. 6. 2013
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—