Artículos con la etiqueta «Ada»
5 artículos con la etiqueta «Ada», del más reciente al más antiguo.
-
Programación genérica en Ada ── escribir contratos con tipos y lograr la reutilización sin costo en tiempo de ejecución
Explica de forma sistemática los genéricos de Ada: subprogramas, paquetes, parámetros formales y categorías de tipo, con pautas de diseño para la reutilizaci...
-
Programación de sistemas de tiempo real con Ada — Control práctico de prioridad, periodo y tiempo de ejecución
Aprenda el Annex D de Ada (sistemas de tiempo real) con 8 ejemplos prácticos de código: prioridad de tareas, Ceiling_Locking, ejecución periódica con delay u...
-
Concurrencia segura en Ada — Guía práctica de tareas y objetos protegidos
Introducción a las tareas y objetos protegidos de Ada: rendezvous, aceptación selectiva, exclusión mutua, llamadas con tiempo de espera y prioridades de tareas.
-
Introducción a la verificación formal con SPARK ── De los contratos de Ada a la demostración matemática
Un artículo introductorio y práctico sobre la verificación formal con SPARK, el subconjunto de Ada. Repasa cómo pasar de los contratos (Pre/Post) a la demost...
-
El atractivo del lenguaje Ada ── Cuando los tipos expresan el diseño, el lenguaje que sostiene software que funciona durante décadas
Presentamos el atractivo del lenguaje Ada: tipado fuerte, restricciones de rango, paquetes que separan especificación e implementación, diseño por contrato, ...