Description and developement software systems by using TIL Script and VDM
The result's identifiers
Result code in 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>
Result on the web
<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>
Alternative languages
Result language
angličtina
Original language name
Description and developement software systems by using TIL Script and VDM
Original language 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 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)
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
—
Continuities
S - Specificky vyzkum na vysokych skolach
Others
Publication year
2013
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
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
—
Number of pages
8
Pages from-to
93-100
Publisher name
STEF92 Technology Ltd.
Place of publication
Sofia
Event location
Albena
Event date
Jun 16, 2013
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—