Los errores de redondeo introducidos por las diferentes representaciones finitas de los números reales en los lenguajes de programación y su propagación a través de la operaciones aritméticas constituye el problema central del cálculo numérico. Cada aritmética particular de punto…

En este artículo estudiamos una extensión del lenguaje DynAlloy con un operador de composición paralela de acciones. DynAlloy es una extensión al lenguaje de especificaciones Alloy, con soporte para la definición de acciones (expresables originalmente con funciones el Alloy), acciones…