All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”

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