Vista normal Vista MARC Vista ISBD

Arteaga Held, Rodolfo

ProofNIX/ Rodolfo Arteaga Held - Bogotá: Escuela Colombiana de Ingeniería 2009 - 1 disco compacto 4 3; 4 plg.

Incluye bibliografía

ProofNix es un asistente de demostraciones matemáticas basadas en la lógica de Dijkstra. Su uso es principalmente académico y pretende ser una herramienta de ayuda para estudiantes y profesores que deseen realizar demostraciones matemática de una forma ordenada en un sistema amigable con el usuario.ProofNix también podrá ser una herramienta de uso industrial, proporcionando ayuda a desarrolladores de aplicaciones que requieren código correcto certificado es decir sin errores. Dentro de esta última categorÍa caen las aplicaciones militares, programas espaciales para la NASA, aplicaciones relacionadas con el uso de energÍa nuclear, entre otras

Subjects--Topical Terms:
REINGENIERIA DE SOFTWARE
ESCUELA COLOMBIANA DE INGENIERÍA --TESIS--TESIS
LINUX (SISTEMA OPERACIONAL PARA COMPUTADOR)--SISTEMA OPERACIONAL PARA COMPUTADOR
TESIS Y DISERTACIONES ACADÉMICAS

Dewey Class. No.: 003 / L663p Ts DC