@prefix rdf: . @prefix dbpedia: . @prefix ns2: . dbpedia:Vienna_Development_Method rdf:type ns2:FormalSpecificationLanguages , ns2:FormalMethods . @prefix owl: . dbpedia:Vienna_Development_Method owl:sameAs . @prefix foaf: . @prefix ns5: . dbpedia:Vienna_Development_Method foaf:page ns5:Vienna_Development_Method . @prefix dbpprop: . dbpedia:Vienna_Development_Method dbpprop:reference , . @prefix rdfs: . dbpedia:Vienna_Development_Method rdfs:label "Vienna Definition Language"@de , "VDM"@ja , "\u0412\u0456\u0434\u0435\u043D\u0441\u044C\u043A\u0438\u0439 \u043C\u0435\u0442\u043E\u0434 \u0440\u043E\u0437\u0440\u043E\u0431\u043A\u0438"@uk , "Vienna Development Method"@fr , "Vienna Development Method"@en ; dbpprop:abstract "\u0412\u0456\u0301\u0434\u0435\u043D\u0441\u044C\u043A\u0438\u0439 \u043C\u0435\u0301\u0442\u043E\u0434 \u0440\u043E\u0437\u0440\u043E\u0301\u0431\u043A\u0438 (\u0430\u043D\u0433\u043B. Vienna Development Method, VDM) \u2014 \u043E\u0441\u043D\u043E\u0432\u0430\u043D\u0438\u0439 \u043D\u0430 \u0444\u043E\u0440\u043C\u0430\u043B\u044C\u043D\u0438\u0445 \u043C\u0435\u0442\u043E\u0434\u0430\u0445 \u043F\u0456\u0434\u0445\u0456\u0434 \u0434\u043E \u0440\u043E\u0437\u0440\u043E\u0431\u043A\u0438 \u0456\u043D\u0444\u043E\u0440\u043C\u0430\u0446\u0456\u0439\u043D\u0438\u0445 \u0441\u0438\u0441\u0442\u0435\u043C, \u044F\u043A\u0438\u0439 \u0432\u0438\u043A\u043E\u0440\u0438\u0441\u0442\u043E\u0432\u0443\u0454 VDM-SL \u0432 \u044F\u043A\u043E\u0441\u0442\u0456 \u043C\u043E\u0432\u0438 \u0434\u043B\u044F \u043D\u0430\u043F\u0438\u0441\u0430\u043D\u043D\u044F \u0441\u043F\u0435\u0446\u0438\u0444\u0456\u043A\u0430\u0446\u0456\u0439 \u0456\u0437 \u0437\u0430\u0441\u0442\u043E\u0441\u0443\u0432\u0430\u043D\u043D\u044F\u043C \u0434\u043E\u0434\u0430\u0442\u043A\u043E\u0432\u0438\u0445 \u0456\u043D\u0441\u0442\u0440\u0443\u043C\u0435\u043D\u0442\u0456\u0432. \u0406\u0441\u043D\u0443\u0454, \u0442\u0430\u043A\u043E\u0436, \u043E\u0431'\u0454\u043A\u0442\u043D\u043E-\u043E\u0440\u0456\u0454\u043D\u0442\u043E\u0432\u0430\u043D\u0435 \u0440\u043E\u0437\u0448\u0438\u0440\u0435\u043D\u043D\u044F VDM++."@uk , "Die Vienna Definition Language (VDL) ist eine im IBM Labor in Wien entwickelte Programmiersprache, die verwendet werden kann, um formale, algebraische Definitionen von Programmiersprachen f\u00FCr Computersoftware mit einer Operationellen Semantik anzugeben. Sie stellt eine Metasprache dar und wurde unter anderem verwendet, um die Programmiersprache PL/I zu definieren. Aus der Sprache heraus wurde auch eine Methodologie, Vienna Development Method, entwickelt, die es erleichtert, Korrektheitsbeweise \u00FCber Computerprogramme zu formulieren und zu f\u00FChren. Sie verwendet eine mathematische Notation, um Spezifikationen von Funktionen pr\u00E4zise auszudrucken. Die Verwendung von solchen Metasprachen und Beweisen wird sich in der Regel nur f\u00FCr sicherheits-kritische Systeme (z. B. Eisenbahn\u00FCberg\u00E4nge, Kernkraftwerke und andere Echtzeit-Anwendungen) rentieren, da die Beweise sehr aufwendig und damit teuer sind."@de , "La Vienna Development Method, abr\u00E9g\u00E9 par le sigle VDM, est un ensemble d'outils de d\u00E9veloppement informatique faisant appel \u00E0 un grand formalisme. Une variante de la m\u00E9thode VDM se nomme VDM++. Elle a \u00E9t\u00E9 appliqu\u00E9e \u00E0 divers domaines o\u00F9 la fiabilit\u00E9 et la s\u00E9curit\u00E9 des applications informatiques devaient \u00EAtre optimis\u00E9es. Il s'agit principalement de l'a\u00E9ronautique, le domaine spatial, les transports . Peter Gorm Larsen, professeur \u00E0 l'universit\u00E9 de Aarhus a publi\u00E9 plusieurs ouvrages et communications scientifiques relatives \u00E0 ces applications. Plusieurs de ces exp\u00E9riences ont \u00E9t\u00E9 co-financ\u00E9es par la Commission des Communaut\u00E9s Europ\u00E9ennes. L'un des projets (Afrodite) a fait l'objet de publications disponibles en ligne sur des sites h\u00E9berg\u00E9s par la Commission des Communaut\u00E9s Europ\u00E9ennes. Il a consist\u00E9, entre autres, \u00E0 appliquer les fondements de VDM++ \u00E0 des exp\u00E9rimentations au CERN, \u00E0 l'\u00E9vitement des tours par les avions (Centre technique de la navigation a\u00E9rienne de Toulouse), \u00E0 l'optimisation des charges de navires en Gr\u00E8ce."@fr , "The Vienna Development Method (VDM) is one of the longest-established Formal Methods for the development of computer-based systems. Originating in work done at IBM's Vienna Laboratory in the 1970s, it has grown to include a group of techniques and tools based on a formal specification language - the VDM Specification Language (VDM-SL). It has an extended form, VDM++, which supports the modeling of object-oriented and concurrent systems. Support for VDM includes commercial and academic tools for analyzing models, including support for testing and proving properties of models and generating program code from validated VDM models. There is a history of industrial usage of VDM and its tools and a growing body of research in the formalism has led to notable contributions to the engineering of critical systems, compilers, concurrent systems and in logic for computer science."@en , "VDM\uFF08Vienna Development Method\uFF09\u306F\u3001IBM\u306E\u30A6\u30A3\u30FC\u30F3\u7814\u7A76\u6240\u30671960\u5E74\u4EE3\u304B\u308970\u5E74\u4EE3\u306B\u304B\u3051\u3066\u958B\u767A\u3055\u308C\u305F\u5F62\u5F0F\u624B\u6CD5\u3002 \u305D\u306E\u4ED5\u69D8\u8A18\u8FF0\u8A00\u8A9EVDM-SL\u306F1996\u5E74\u306BISO\u6A19\u6E96\uFF08ISO_IEC_13817-1\uFF09\u3068\u306A\u3063\u3066\u3044\u308B\u3002VDM-SL\u3092\u30AA\u30D6\u30B8\u30A7\u30AF\u30C8\u6307\u5411\u62E1\u5F35\u3057\u305FVDM++\u3082\u3001\u6B27\u5DDE\u9023\u5408ESPRIT\u8A08\u753B\u306EAFRODITE\u30D7\u30ED\u30B8\u30A7\u30AF\u30C8\u3067\u958B\u767A\u3055\u308C\u305F\u3002"@ja ; rdfs:comment "\u0412\u0456\u0301\u0434\u0435\u043D\u0441\u044C\u043A\u0438\u0439 \u043C\u0435\u0301\u0442\u043E\u0434 \u0440\u043E\u0437\u0440\u043E\u0301\u0431\u043A\u0438 (\u0430\u043D\u0433\u043B. Vienna Development Method, VDM) \u2014 \u043E\u0441\u043D\u043E\u0432\u0430\u043D\u0438\u0439 \u043D\u0430 \u0444\u043E\u0440\u043C\u0430\u043B\u044C\u043D\u0438\u0445 \u043C\u0435\u0442\u043E\u0434\u0430\u0445 \u043F\u0456\u0434\u0445\u0456\u0434 \u0434\u043E \u0440\u043E\u0437\u0440\u043E\u0431\u043A\u0438 \u0456\u043D\u0444\u043E\u0440\u043C\u0430\u0446\u0456\u0439\u043D\u0438\u0445 \u0441\u0438\u0441\u0442\u0435\u043C, \u044F\u043A\u0438\u0439 \u0432\u0438\u043A\u043E\u0440\u0438\u0441\u0442\u043E\u0432\u0443\u0454 VDM-SL \u0432 \u044F\u043A\u043E\u0441\u0442\u0456 \u043C\u043E\u0432\u0438 \u0434\u043B\u044F \u043D\u0430\u043F\u0438\u0441\u0430\u043D\u043D\u044F \u0441\u043F\u0435\u0446\u0438\u0444\u0456\u043A\u0430\u0446\u0456\u0439 \u0456\u0437 \u0437\u0430\u0441\u0442\u043E\u0441\u0443\u0432\u0430\u043D\u043D\u044F\u043C \u0434\u043E\u0434\u0430\u0442\u043A\u043E\u0432\u0438\u0445 \u0456\u043D\u0441\u0442\u0440\u0443\u043C\u0435\u043D\u0442\u0456\u0432."@uk , "La Vienna Development Method, abr\u00E9g\u00E9 par le sigle VDM, est un ensemble d'outils de d\u00E9veloppement informatique faisant appel \u00E0 un grand formalisme. Une variante de la m\u00E9thode VDM se nomme VDM++. Elle a \u00E9t\u00E9 appliqu\u00E9e \u00E0 divers domaines o\u00F9 la fiabilit\u00E9 et la s\u00E9curit\u00E9 des applications informatiques devaient \u00EAtre optimis\u00E9es. Il s'agit principalement de l'a\u00E9ronautique, le domaine spatial, les transports ."@fr , "The Vienna Development Method (VDM) is one of the longest-established Formal Methods for the development of computer-based systems. Originating in work done at IBM's Vienna Laboratory in the 1970s, it has grown to include a group of techniques and tools based on a formal specification language - the VDM Specification Language (VDM-SL). It has an extended form, VDM++, which supports the modeling of object-oriented and concurrent systems."@en , "VDM\uFF08Vienna Development Method\uFF09\u306F\u3001IBM\u306E\u30A6\u30A3\u30FC\u30F3\u7814\u7A76\u6240\u30671960\u5E74\u4EE3\u304B\u308970\u5E74\u4EE3\u306B\u304B\u3051\u3066\u958B\u767A\u3055\u308C\u305F\u5F62\u5F0F\u624B\u6CD5\u3002 \u305D\u306E\u4ED5\u69D8\u8A18\u8FF0\u8A00\u8A9EVDM-SL\u306F1996\u5E74\u306BISO\u6A19\u6E96\uFF08ISO_IEC_13817-1\uFF09\u3068\u306A\u3063\u3066\u3044\u308B\u3002VDM-SL\u3092\u30AA\u30D6\u30B8\u30A7\u30AF\u30C8\u6307\u5411\u62E1\u5F35\u3057\u305FVDM++\u3082\u3001\u6B27\u5DDE\u9023\u5408ESPRIT\u8A08\u753B\u306EAFRODITE\u30D7\u30ED\u30B8\u30A7\u30AF\u30C8\u3067\u958B\u767A\u3055\u308C\u305F\u3002"@ja , "Die Vienna Definition Language (VDL) ist eine im IBM Labor in Wien entwickelte Programmiersprache, die verwendet werden kann, um formale, algebraische Definitionen von Programmiersprachen f\u00FCr Computersoftware mit einer Operationellen Semantik anzugeben. Sie stellt eine Metasprache dar und wurde unter anderem verwendet, um die Programmiersprache PL/I zu definieren."@de . @prefix skos: . @prefix ns9: . dbpedia:Vienna_Development_Method skos:subject ns9:Formal_specification_languages , ns9:Formal_methods . @prefix ns10: . dbpedia:Vienna_Development_Method dbpprop:hasPhotoCollection ns10:Vienna_Development_Method . dbpedia:VDM-SL dbpprop:redirect dbpedia:Vienna_Development_Method . dbpprop:redirect dbpedia:Vienna_Development_Method . @prefix yago: . yago:Vienna_Development_Method owl:sameAs dbpedia:Vienna_Development_Method . dbpedia:VDM_Specification_Language dbpprop:redirect dbpedia:Vienna_Development_Method . dbpedia:VDM_specification_language dbpprop:redirect dbpedia:Vienna_Development_Method .