About: Description and developement software systems by using TIL Script and VDM     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

AttributesValues
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/predkladatel
http://linked.open...avai/riv/aktivita
http://linked.open...avai/riv/aktivity
  • S
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
  • 68487
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
  • [0CD644F52465]
http://linked.open...v/mistoKonaniAkce
  • Albena
http://linked.open...i/riv/mistoVydani
  • Sofia
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
  • 1314-2704
number of pages
http://bibframe.org/vocab/doi
  • 10.5593/SGEM2013/BB2.V1/S07.012
http://purl.org/ne...btex#hasPublisher
  • STEF92 Technology Ltd.
https://schema.org/isbn
  • 978-954-91818-9-0
http://localhost/t...ganizacniJednotka
  • 27240
Faceted Search & Find service v1.16.118 as of Jun 21 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 117 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software