Resumen de Derivación y verificación de algoritmos en control numérico a partir de una interfaz gráfica
Armando De Giusti, Laura Lanzarini, Marcelo Naiouf 
, Pedro R. D'Argenio
Se presenta el desarrollo de un sistema gráfico interactivo que permite derivar y verificar un programa en control numérico para máquinas herramienta a partir de una interfaz gráfica, basada en el diseño mismo de la superficie a trabajar realizado con un sistema de CAD.
Se exponen algunos resultados obtenidos en la primera etapa de experimentación en el Departamento de Ingeniería de una empresa dedicada al desarrollo de matricería para inyección de plástico, analizándose la generalización del sistema a otra gama de equipos industriales.
