Verificación de Programas Distribuidos

dc.contributor.author	Rosenfeld, Ricardo Fabian
dc.date.accessioned	2024-06-07T21:47:59Z
dc.date.available	2024-06-07T21:47:59Z
dc.date.issued	2023-12
dc.description.abstract	Este artículo completa nuestra serie de cuatro artículos sobre la verificación axiomática de programas, que planteamos en el marco del proyecto del CAETI para construir un ambiente de soporte al desarrollo de software. En particular, concluimos el análisis de los programas concurrentes iniciado en la publicación anterior, considerando ahora la familia de los programas distribuidos, caracterizados por contar con procesos con variables disjuntas y que se comunican mediante mensajes. Como siempre, destacamos el principio de utilizar las axiomáticas como guías para la obtención de programas correctos por construcción, y la observación de que las nociones fundamentales de predicado invariante y función variante constituyen la base metodológica en todos los paradigmas de programación.
dc.identifier.citation	Rosenfeld, R. (2024). Verificación de Programas Distribuidos. En: Revista Abierta De Informática Aplicada, 7(2), 51–70.
dc.identifier.other	https://doi.org/10.59471/raia202387
dc.identifier.uri	https://repositorio.uai.edu.ar/handle/123456789/2740
dc.language.iso	es
dc.publisher	Universidad Abierta Interamericana. Facultad de Tecnología Informática
dc.subject	programa distribuido
dc.subject	verificación
dc.subject	axiomática
dc.title	Verificación de Programas Distribuidos
dc.type	ARTICULO

Now showing 1 - 1 of 1

Name:: Ricardo Rosenfeld (2023). “Verificación de Programas Distribuidos”. Revista Abierta de Informática Aplicada. V. 7 Nro. 2, diciembre 2023, pp. 51-70. ISSN 2591-5320. Universidad Abierta Interamericana. Portal de Revistas Científicas.
Size:: 330.12 KB
Format:: Adobe Portable Document Format
Description:

Now showing 1 - 1 of 1