Vienna Definition Language
- Vienna Definition Language
-
El Vienna Definition Language (VDL), en español, «Lenguaje de Definición de Viena» es un lenguaje de programación desarrollado en un centro de IBM en Viena (Austria), que puede utilizarse para declarar definiciones algebraicas de lenguajes de programación para software con una semántica operacional. Representa une metalenguaje (lenguaje formal) y se ha utilizado, entre otros, para la definición del lenguaje de programación PL/I.
A partir de este lenguaje se ha creado una metodología, el Vienna Development Method, lo que facilita formular demostraciones de corrección sobre programas informáticos. Se sirve de una notación matemática, para expresar de forma precisa especificaciones de subrutinas.
La utilización de estos metalenguajes y demostraciones sólo suele rentabilizarse para sistemas donde la seguridad es crítica (ej. pasos de tren, centrales nucleares), cuya demostración es muy trabajosa y por lo tanto cara.
Bibliografía
- "The Vienna Definition Language", P. Wegner, ACM Comp Surveys 4(1):5-63 (Mar 1972).
- D. Bjørner and C. B. Jones (eds.), The Vienna Development Method: The Meta-Language, Lecture Notes in Computer Science, Vol. 61, Springer-Verlag 1978. ISBN 0-387-08766-4
- D. Bjørner and C. B. Jones, Formal Specification and Software Development Prentice Hall International, 1982. ISBN 0-13-880733-7
- P. Lucas, "Formal Semantics of Programming Languages: VDL," IBM J. Res. Develop. 25,549-561 (1981)
Wikimedia foundation.
2010.
Mira otros diccionarios:
Vienna Definition Language — 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ür Computersoftware mit einer Operationellen Semantik… … Deutsch Wikipedia
Vienna Development Method — (VDM) ist eine Methode zur Entwicklung von Computer Programmen, die auf formalen Spezifikationen mit Hilfe der VDM eigenen Spezifikationssprache Vienna Definition Language basiert. Es gibt eine objektorientierte Erweiterung, VDM++. Literatur John … Deutsch Wikipedia
Vienna Development Method — 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 [Some idea of that work, including a technical report TR… … Wikipedia
Vienna Development Method — El Vienna Development Method (VDM), en español, «Método de Desarrollo de Viena» es un método para el desarrollo de programas informáticos, que se base en especificaciones formales con ayuda del idioma de especificación propio Vienna Definition… … Wikipedia Español
Language, Truth, and Logic — is a work of philosophy by Alfred Jules Ayer, published in 1936 when Ayer was only 26 (though it was in fact completed by age 24). It was crucial in bringing some of the ideas of the Vienna Circle and the logical empiricists to the attention of… … Wikipedia
language, philosophy of — Philosophical study of the nature and use of natural languages and the relations between language, language users, and the world. It encompasses the philosophical study of linguistic meaning (see semantics), the philosophical study of language… … Universalium
Meaning (philosophy of language) — The nature of meaning, its definition, elements, and types, was discussed by philosophers Aristotle, Augustine, and Aquinas. According to them meaning is a relationship between two sorts of things: signs and the kinds of things they mean (intend … Wikipedia
Meta-IV (specification language) — The Meta IV (pronounced like metaphor ) was an early version of the specification language of the Vienna Development Method formal method for the development of computer based systems. Contents 1 History 2 The Schools of VDM 2.1 The Danish School … Wikipedia
Cornish language — For the Anglo Cornish accent and dialect, see Anglo Cornish. Cornish Kernowek, Kernewek Pronunciation [kərˈnuːək] Spoken in … Wikipedia
Hungarian language — Hungarian magyar Pronunciation [ˈmɒɟɒr] Spoken in … Wikipedia
