También puede hacer clic en el siguiente enlace de descarga externa para iniciar la descarga:
http://cs6725-prover.cvs.sourceforge.net/cs6725-prover
Teorema Automático Prover implementado en Java y utilizando árboles de cláusulas. Este software será capaz de leer teoremas matemáticos de TPTP y probarlos o refutarlos.
FastAOP es un marco AOP (Aspect Oriented Programming) de muy alto rendimiento para java. El marco fue inicialmente desarrollado para admitir la generación de perfiles de rendimiento y la supervisión de grandes aplicaciones
Butterfly es un simple generador de código que utiliza XMI como entrada y plantillas XSLT para generar cualquier tipo de código. Se proporcionan varias plantillas, incluyendo EJB, JDO y Struts. Los usuarios pueden utilizar l
Este proyecto consiste en una aplicación de diseñador basada en Windows y una biblioteca (que se puede ejecutar en varias plataformas, incluido Android) junto con varias aplicaciones de demostración (incluyendo un cliente de
DL-Learner es una herramienta para aprender conceptos en Lógicas de descripción (DL) a partir de ejemplos proporcionados por el usuario. De forma equivalente, se puede utilizar para aprender clases en ontologías OWL de objeto
Makerootfs facilita la creación de un sistema de archivos raíz para dispositivos incrustados (por ejemplo, basados en ARM) mediante la automatización del proceso de compilación cruzada a través de scripts de shell, parches y
El objetivo de este proyecto es proporcionar plugins ("agents") para veritas Cluster Server en forma de código abierto.
Extensiones para el proyecto CDT que configuran compiladores adicionales y otros plugins para integrar varios plattform (en realidad, microprocesadores de Texas Instrument & PIC)
Steini 's Mini Compiler es un compilador rápido de 16 bits DOS. Por favor, ayuda a mejorar el lenguaje de programación escribiendo nuevos comandos. El compilador utiliza un conjunto de archivos de ensamblado para el proceso d
El objetivo del proyecto JCustomizer es la personalización genérica y persistente de cada GUI Java Swing/AWT en tiempo de ejecución: fuentes, colores, textos, aceleradores, ... Un buen acompañamiento es un acceso WYSIWYG a la
El código fuente de un artículo (http://ajstruts.sf.net) publicado en 11/2003 en la revista alemana "Java Magazin", muestra cómo adaptar las bibliotecas de terceros de 3a (por ejemplo, puntales) a las necesidades de
