¡Más rápido que el navegador!
7 relaciones: Especificación formal, ESPRIT, Ingeniería de software, Lenguaje de especificación, Macao, Método formal, País en vías de desarrollo.
Especificación formal
Una especificación formal usa notación matemática para describir de manera precisa las propiedades que un sistema de información debe tener, sin preocuparse por la forma de obtener dichas propiedades.
¡Nuevo!!: RAISE y Especificación formal · Ver más »
ESPRIT
ESPRIT (European Strategic Programme for Research in Information Technology) es un programa de investigación y desarrollo tecnológico en el campo de las tecnologías de información.
¡Nuevo!!: RAISE y ESPRIT · Ver más »
Ingeniería de software
La Ingeniería de Software es una de las ramas de las ciencias de la computación que estudia la creación de software confiable y de calidad, basándose en métodos y técnicas de ingeniería, y brindando soporte operacional y de mantenimiento.
¡Nuevo!!: RAISE e Ingeniería de software · Ver más »
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.
¡Nuevo!!: RAISE y Lenguaje de especificación · Ver más »
Macao
Macao (en portugués, Macau), oficialmente Región Administrativa Especial de Macao de la República Popular China, es una de las dos regiones administrativas especiales que, junto con las veintidós provincias, cinco regiones autónomas y cuatro municipios, conforman a la República Popular China.
¡Nuevo!!: RAISE y Macao · Ver más »
Método formal
En ingeniería de software un método formal es un camino a la construcción y análisis de modelos matemáticos que permitan una automatización del desarrollo de sistemas informáticos.
¡Nuevo!!: RAISE y Método formal · Ver más »
País en vías de desarrollo
Países en vías de desarrollo, países en desarrollo o países de desarrollo intermedio es un concepto para definir aquellos países cuyas economías se encuentran en pleno desarrollo económico partiendo de un estado de subdesarrollo o de una economía de transición que, si bien aún no alcanzarían el estatus de los países desarrollados, habrían avanzado más que otros que aún serían considerados países subdesarrollados.
¡Nuevo!!: RAISE y País en vías de desarrollo · Ver más »
