| Entorno BDD interactivo El proyecto de Medio Ambiente BDD interactivo es una shell como utilidad para trabajar con RobDDS. |
Descargar ahora |
Entorno BDD interactivo Clasificación y resumen
- Nombre del editor:
- Gerd Behrmann
Entorno BDD interactivo Etiquetas
Entorno BDD interactivo Descripción
El Proyecto Interactivo de Medio Ambiente BDD es una shell como utilidad para trabajar con RobDDS. El Proyecto Interactivo de Medio Ambiente BDD es una shell como utilidad para trabajar con RobDDS.Ben es una herramienta utilizada para la enseñanza de diagramas de decisión binaria reducida. Permite al estudiante trabajar con Robdds sin aprender una interfaz C o C ++ compleja a un paquete RobDD. Uno puede ingresar a las expresiones de forma interactiva, y ver el resultado como un gráfico o hacer preguntas sobre el RobDD, como el número de nodos en el RobDD.Requeamiento: · AFPL GHOSTSIPT (Rama predeterminada) (recomendado) · Graphviz (Rama predeterminada) (Rama predeterminada) Recomendado) ¿Qué hay de nuevo en este lanzamiento: · Actualizado a Buddy versión 2.2 · Añadida página de hombre
Entorno BDD interactivo Software relacionado