Hispanopedia WikiLa técnica de reducción de modelos, asociada a métodos formales, se introdujo para abordar algunas de las limitaciones percibidas del refinamiento formal basado en modelos, en situaciones en las que el refinamiento, si bien podría considerarse deseable en principio, resultó ser inviable o casi inviable en la práctica. Se desarrolló principalmente en la Facultad de Informática de la Universidad de Manchester . La perspectiva más actualizada se encuentra en el artículo de ACM TOSEM que se cita a continuación.
Enlaces externos
- Página principal de Recortes
- R. Banach, Refinamiento gradual, reducción y simulación, ACM Trans. Soft. Eng. Meth., 32, 1-69 (2023)
Categorías :
- Métodos formales
- Filosofías de desarrollo de software
- Departamento de Informática, Universidad de Manchester
- esbozos de informática