Tabla de contenidos
23 relaciones: Anotación Java, Aserción (informática), Código fuente, Compilador, Coq, Cuantificador universal, Diseño por contrato, Eclipse (software), Eiffel (lenguaje de programación), Entorno de desarrollo integrado, Invariante, Java (lenguaje de programación), Javadoc, JUnit, Lógica de Hoare, Lenguaje de especificación, Manejo de excepciones, Método (informática), Postcondición, Precondición, Semántica, Semántica formal, Tiempo de ejecución.
Anotación Java
En programación, una Anotación Java es una forma de añadir metadatos al código fuente Java que están disponibles para la aplicación en tiempo de ejecución o de compilación.
Ver Java Modeling Language y Anotación Java
Aserción (informática)
En programación, una aserción es un predicado (i.e., una sentencia verdadero-falso) incluido en un programa como indicación de que el programador piensa que dicho predicado siempre se cumple en ese punto del flujo de programa.
Ver Java Modeling Language y Aserción (informática)
Código fuente
El código fuente de un programa informático (o software) es un conjunto de líneas de texto con los pasos que debe seguir la computadora para ejecutar un cargador.
Ver Java Modeling Language y Código fuente
Compilador
En informática, un compilador es un programa que traduce código escrito en un lenguaje de programación (llamado fuente) a otro lenguaje (conocido como objeto).
Ver Java Modeling Language y Compilador
Coq
Coq (gallo en francés) es un sistema de ayuda para la demostración de teoremas que maneja aserciones matemáticas, verifica mecánicamente las pruebas de aserciones, ayuda a encontrar pruebas para esas aserciones y extrae programas certificados (correctos) a partir de las pruebas constructivas de aserciones que representan su especificación formal.
Ver Java Modeling Language y Coq
Cuantificador universal
En lógica, se usa el símbolo \forall, denominado cuantificador universal, antepuesto a una variable para decir que "para todo" elemento de un cierto conjunto se cumple la proposición dada a continuación.
Ver Java Modeling Language y Cuantificador universal
Diseño por contrato
El diseño por contrato es una metodología para el diseño e implementación de aplicaciones y componentes popularizada por el lenguaje de programación Eiffel.
Ver Java Modeling Language y Diseño por contrato
Eclipse (software)
Eclipse es una plataforma de software compuesto por un conjunto de herramientas de programación de código abierto multiplataforma para desarrollar lo que el proyecto llama "Aplicaciones de Cliente Enriquecido", opuesto a las aplicaciones "Cliente-liviano" basadas en navegadores. Java Modeling Language y Eclipse (software) son plataforma Java.
Ver Java Modeling Language y Eclipse (software)
Eiffel (lenguaje de programación)
Eiffel es un lenguaje de programación orientado a objetos que sigue el estándar ISO diseñado por Bertrand Meyer (defensor de los lenguajes orientados a objetos y autor de la construcción de Software Orientado a Objetos) y Software Eiffel.
Ver Java Modeling Language y Eiffel (lenguaje de programación)
Entorno de desarrollo integrado
Un entorno de desarrollo integrado o entorno de desarrollo interactivo, en inglés integrated development environment (IDE), es una aplicación informática que proporciona servicios integrales para facilitar al desarrollador o programador el desarrollo de software.
Ver Java Modeling Language y Entorno de desarrollo integrado
Invariante
Invariante es algo que no cambia al aplicarle un conjunto de transformaciones.
Ver Java Modeling Language e Invariante
Java (lenguaje de programación)
Java es un lenguaje de programación y una plataforma informática que fue comercializada por primera vez en 1995 por Sun Microsystems. Java Modeling Language y Java (lenguaje de programación) son plataforma Java.
Ver Java Modeling Language y Java (lenguaje de programación)
Javadoc
Javadoc es una utilidad de Oracle para la generación de documentación de APIs en formato HTML a partir de código fuente Java.
Ver Java Modeling Language y Javadoc
JUnit
JUnit es un conjunto de bibliotecas creadas por Erich Gamma y Kent Beck que son utilizadas en programación para hacer pruebas unitarias de aplicaciones Java. Java Modeling Language y JUnit son plataforma Java.
Ver Java Modeling Language y JUnit
Lógica de Hoare
La lógica de Hoare es un sistema formal desarrollado por C.A.R. Hoare — y posteriormente refinado por otros investigadores — que proporciona a una serie de reglas de inferencia para razonar sobre la corrección de programas imperativos con el rigor de la lógica matemática.
Ver Java Modeling Language y Lógica de Hoare
Lenguaje de especificación
En el contexto de la ingeniería eléctrica, la computación y ramas afines, un lenguaje de especificación o lenguaje de descripción es un lenguaje formal o semi-formal cuya función es construir modelos de los sistemas que se desea elaborar.
Ver Java Modeling Language y Lenguaje de especificación
Manejo de excepciones
El manejo de excepciones es una técnica de programación que permite al programador controlar los errores ocasionados durante la ejecución de un programa informático.
Ver Java Modeling Language y Manejo de excepciones
Método (informática)
En la programación, un método es una subrutina cuyo código es definido en una clase y puede pertenecer tanto a una clase, como es el caso de los métodos de clase o estáticos, como a un objeto, como es el caso de los métodos de instancia.
Ver Java Modeling Language y Método (informática)
Postcondición
En programación, una postcondición es una condición o predicado lógico que siempre debe cumplirse justamente después de la ejecución de una sección de código o de una operación (especificación formal).
Ver Java Modeling Language y Postcondición
Precondición
Una precondición es una condición que ha de satisfacerse justo antes del comienzo de la ejecución de una porción de código (normalmente un subprograma o método).
Ver Java Modeling Language y Precondición
Semántica
El término semántica se refiere al estudio de diversos aspectos del significado, sentido o interpretación de signos lingüísticos como símbolos, palabras, expresiones o representaciones formales.
Ver Java Modeling Language y Semántica
Semántica formal
La semántica formal es el estudio de las interpretaciones de los lenguajes formales.
Ver Java Modeling Language y Semántica formal
Tiempo de ejecución
Se denomina tiempo de ejecución (runtime en inglés) al intervalo de tiempo en el que un programa de computadora se ejecuta en un sistema operativo.
Ver Java Modeling Language y Tiempo de ejecución