Spock

Descargar ahora

Spock Clasificación y resumen

Anuncio publicitario

  • Rating:
  • Licencia:
  • Apache
  • Precio:
  • FREE
  • Nombre del editor:
  • Peter Niederwieser
  • Sitio web del editor:
  • http://pniederw.wordpress.com/
  • Sistemas operativos:
  • Mac OS X
  • Tamaño del archivo:
  • 367 KB

Spock Etiquetas


Spock Descripción

Utilidad de código abierto que lo ayudará a depurar programas de lógica Spock es una herramienta prototipo para la depuración de programas lógicos bajo la semántica de la respuesta. Spock proporciona métodos de depuración para programas proposicionales en Smodels o Sintaxis DLV. Las técnicas implementadas se basan en la programación ASP-META. Requisitos: · Java


Spock Software relacionado

Bogrporter

BUGRPORTER: una herramienta de desarrollador para capturar registros de accidentes ...

144 1 MB

Descargar

Eco

Una plataforma para construir aplicaciones basadas en la web que se acercan a las capacidades de los clientes ricos ...

631 4.1 MB

Descargar

Sobre nosotros