| Attributes | Values |
|---|
| rdf:type
| |
| 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. (en)
|
| Title
| - Description and developement software systems by using TIL Script and VDM
- Description and developement software systems by using TIL Script and VDM (en)
|
| skos:prefLabel
| - Description and developement software systems by using TIL Script and VDM
- Description and developement software systems by using TIL Script and VDM (en)
|
| skos:notation
| - RIV/61989100:27240/13:86086698!RIV14-MSM-27240___
|
| http://linked.open...avai/riv/aktivita
| |
| http://linked.open...avai/riv/aktivity
| |
| http://linked.open...vai/riv/dodaniDat
| |
| http://linked.open...aciTvurceVysledku
| |
| http://linked.open.../riv/druhVysledku
| |
| http://linked.open...iv/duvernostUdaju
| |
| http://linked.open...titaPredkladatele
| |
| http://linked.open...dnocenehoVysledku
| |
| http://linked.open...ai/riv/idVysledku
| - RIV/61989100:27240/13:86086698
|
| http://linked.open...riv/jazykVysledku
| |
| http://linked.open.../riv/klicovaSlova
| - refinement; requirements; Hyperintesional Logic; TIL; VDM-SL (en)
|
| http://linked.open.../riv/klicoveSlovo
| |
| http://linked.open...ontrolniKodProRIV
| |
| http://linked.open...v/mistoKonaniAkce
| |
| http://linked.open...i/riv/mistoVydani
| |
| http://linked.open...i/riv/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
|
| http://linked.open...in/vavai/riv/obor
| |
| http://linked.open...ichTvurcuVysledku
| |
| http://linked.open...cetTvurcuVysledku
| |
| http://linked.open...UplatneniVysledku
| |
| http://linked.open...iv/tvurceVysledku
| - Menšík, Marek
- Mudroň, Ivan
- Chupáč, Ľuboš
|
| http://linked.open...vavai/riv/typAkce
| |
| http://linked.open.../riv/zahajeniAkce
| |
| issn
| |
| number of pages
| |
| http://bibframe.org/vocab/doi
| - 10.5593/SGEM2013/BB2.V1/S07.012
|
| http://purl.org/ne...btex#hasPublisher
| |
| https://schema.org/isbn
| |
| http://localhost/t...ganizacniJednotka
| |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)