Crocopat Crocopat es una herramienta para un cálculo relacional simple y eficiente.
Descargar ahora

Crocopat Clasificación y resumen

Crocopat Etiquetas

relacional Estructural cálculo cálculo relacional Análisis estructurales Variables BDD

Crocopat Descripción

Crocopat es una herramienta para un cálculo relacional simple y eficiente. Crocopat es una herramienta para computación relacional simple y eficiente. COMPUTADORACIÓN RELACIONAL.CROCOPAT manipula las relaciones de cualquier aridad, incluidos los gráficos (que son relaciones binarias). Su sencillo y expresivo lenguaje de consulta y manipulación se basa en el cálculo de predicado de primer orden. La implementación se basa en el diagrama de decisión binario de la estructura de datos (BDD), que es conocida como una representación compacta de grandes relaciones en la verificación asistida por computadora. Crocopat es fácil de integrar con otras herramientas porque lee y escribe las relaciones desde y a los archivos en una simple tupla formatemperpreension y evaluación de grandes sistemas de software. Muchos análisis estructurales de sistemas de software pueden formalizarse como consultas relacionales, por ejemplo, la detección de Patrones de diseño, de patrones de diseño problemático, de clones de código, de código muerto y de diferencias entre la arquitectura AS-BURT y diseñada. A través de su eficiencia y su lenguaje expresivo, Crocopat permite análisis prácticamente importantes de los sistemas de software del mundo real que no son posibles con otras herramientas de análisis de gráficos, en particular análisis que involucran cierres transitivos y la detección de patrones en gráficos. Paquete BDD de alto nivel. Mientras que los paquetes estándar de BDD proporcionan operaciones para manipular las relaciones sobre los bits, la biblioteca de Crocopat permite la manipulación de las relaciones sobre las cadenas. Alivia programadores de cadenas de mapeo a codificaciones binarias y variables de usuario a las variables de BDD. Lo que está nuevo en esta versión: · Solo las actividades de mantenimiento (lo hacen disponibles para macos, correcciones de errores).

Crocopat Software relacionado