Esta es la aplicación de Linux llamada The GraPE Graphical Proof Editor para ejecutarse en Linux en línea, cuya última versión se puede descargar como grape-0.9.4.tar.gz. Se puede ejecutar en línea en el proveedor de alojamiento gratuito OnWorks para estaciones de trabajo.
Descargue y ejecute en línea esta aplicación llamada The GraPE Graphical Proof Editor para ejecutar en Linux en línea con OnWorks de forma gratuita.
Siga estas instrucciones para ejecutar esta aplicación:
- 1. Descargue esta aplicación en su PC.
- 2. Ingrese en nuestro administrador de archivos https://www.onworks.net/myfiles.php?username=XXXXX con el nombre de usuario que desee.
- 3. Cargue esta aplicación en dicho administrador de archivos.
- 4. Inicie el emulador en línea OnWorks Linux o Windows en línea o el emulador en línea MACOS desde este sitio web.
- 5. Desde el SO OnWorks Linux que acaba de iniciar, vaya a nuestro administrador de archivos https://www.onworks.net/myfiles.php?username=XXXXX con el nombre de usuario que desee.
- 6. Descarga la aplicación, instálala y ejecútala.
SCREENSHOTS
Ad
El editor de pruebas gráficas de GraPE para ejecutar en Linux en línea
DESCRIPCIÓN
Una herramienta para que los teóricos de la prueba estudien los sistemas de deducción y desarrollen estrategias de búsqueda de pruebas para ellos. GraPE debería eventualmente soportar la construcción de pruebas paso a paso, la búsqueda automática de pruebas con varias estrategias, transformaciones y análisis de pruebas.Audiencia
Usuarios finales avanzados, educación, ciencia / investigación
Interfaz de usuario
Swing de Java
Lenguaje de programación
Java
Esta es una aplicación que también se puede obtener de https://sourceforge.net/projects/grape/. Se ha alojado en OnWorks para poder ejecutarlo online de la forma más sencilla desde uno de nuestros Sistemas Operativos gratuitos.
