Tabla de contenidos
15 relaciones: Austria, Central nuclear, Especificación, IBM, Lecture Notes in Computer Science, Lenguaje de programación, Lenguaje formal, Metalenguaje, PL/1, Semántica operacional, Software, Springer Science+Business Media, Subrutina, Viena, Vienna Development Method.
Austria
Austria, oficialmente República de Austria (Republik Österreich), es uno de los veintisiete Estados soberanos que forman la Unión Europea.
Ver Vienna Definition Language y Austria
Central nuclear
Una central térmica nuclear o planta nuclear es una instalación industrial empleada para la generación de energía eléctrica a partir de energía nuclear.
Ver Vienna Definition Language y Central nuclear
Especificación
Instrucciones detalladas proporcionadas en conjunción con los planos y las copias del Plano de construcción.
Ver Vienna Definition Language y Especificación
IBM
International Business Machines Corporation (IBM) es una empresa tecnológica multinacional estadounidense con sede en Armonk, Nueva York.
Ver Vienna Definition Language e IBM
Lecture Notes in Computer Science
Lecture Notes in Computer Science (LNCS) es una serie de libros de ciencias de la computación que han sido publicados por Springer Science+Business Media (formalmente Springer-Verlag) desde 1973.
Ver Vienna Definition Language y Lecture Notes in Computer Science
Lenguaje de programación
Un lenguaje de programación es un lenguaje formal (o artificial, es decir, un lenguaje con reglas gramaticales bien definidas) que proporciona a una persona, en este caso el programador, la capacidad y habilidad de escribir (o programar) una serie de instrucciones o secuencias de órdenes en forma de algoritmos con el fin de controlar el comportamiento físico o lógico de un sistema informático, para que de esa manera se puedan obtener diversas clases de datos o ejecutar determinadas tareas.
Ver Vienna Definition Language y Lenguaje de programación
Lenguaje formal
En matemáticas, lógica y ciencias de la computación, un lenguaje formal es un lenguaje cuyos símbolos son primitivos y las reglas para unir esos símbolos están formalmente especificadas.
Ver Vienna Definition Language y Lenguaje formal
Metalenguaje
En lógica y filosofía del lenguaje, un metalenguaje es un lenguaje que se usa para hablar acerca de otro lenguaje.
Ver Vienna Definition Language y Metalenguaje
PL/1
PL/1, acrónimo de Programming Language 1 (Lenguaje de Programación 1), fue propuesto por IBM hacia 1970 para responder simultáneamente a las necesidades de las aplicaciones científicas y comerciales, disponible en las novedosas plataformas de utilidad general IBM 360 y más adelante IBM 370.
Ver Vienna Definition Language y PL/1
Semántica operacional
La semántica operacional es uno de los enfoques de la semántica formal, en el que el significado de una construcción de lenguaje es especificado por la computación que la induce cuando es ejecutada en una máquina hipotética.
Ver Vienna Definition Language y Semántica operacional
Software
Se conoce como software, logicial o soporte lógico al sistema formal de un sistema informático, que comprende el conjunto de los componentes lógicos necesarios que hace posible la realización de tareas específicas, en contraposición a los componentes físicos que son llamados hardware.
Ver Vienna Definition Language y Software
Springer Science+Business Media
Springer Science+Business Media o Springer es una editorial global que publica libros, libros electrónicos y publicaciones científicas de revisión por pares relacionados con ciencia, tecnología y medicina (STM: science, technical & medical).
Ver Vienna Definition Language y Springer Science+Business Media
Subrutina
En informática, una subrutina o subprograma (también llamada procedimiento, función, rutina o método), como idea general, se presenta como un subalgoritmo que forma parte del algoritmo principal, el cual permite resolver una tarea específica.
Ver Vienna Definition Language y Subrutina
Viena
Viena es una ciudad austriaca situada a orillas del Danubio, en el valle de los Bosques de Viena, al pie de las primeras estribaciones de los Alpes.
Ver Vienna Definition Language y Viena
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 Language.
Ver Vienna Definition Language y Vienna Development Method
También se conoce como Lenguaje de Definición de Viena, VDL.