| Crocopat Crocopat is een hulpmiddel voor eenvoudige en efficiënte relationele berekening. |
Download nu |
Crocopat Rangschikking & Samenvatting
- Naam uitgever:
- Dirk Beyer
- Uitgever website:
- http://mtc.epfl.ch/~beyer/CrocoPat/
Crocopat Tags
Crocopat Beschrijving
Crocopat is een hulpmiddel voor eenvoudige en efficiënte relationele berekening. Crocopat is een hulpmiddel voor eenvoudige en efficiënte relationele berekening. Relational Computation.crocoPat manipuleert de relaties van een vrijheid, inclusief grafieken (die binaire relaties zijn). De eenvoudige en expressieve query- en manipulatietaal is gebaseerd op eerste-orde predicaat calculus. De implementatie is gebaseerd op de binaire beslissingsdiagram van de gegevensstructuur (BDD), die bekend staat als een compacte weergave van grote relaties in computergestuurde verificatie. Crocopat is gemakkelijk te integreren met andere tools omdat het relaties van en naar bestanden leest en schrijft in een eenvoudige tuple-formaat.bespreheering en beoordeling van grote softwaresystemen. Fany structurele analyses van softwaresystemen kunnen worden geformaliseerd als relationele query's, bijvoorbeeld de detectie van Ontwerppatronen, van patronen van problematisch ontwerp, van codekloon, van dead-code, en van verschillen tussen de as-built en de zo-ontworpen architectuur. Door zijn efficiëntie en de expressieve taal, maakt Crocopat praktisch belangrijke analyses van real-world softwaresystemen die niet mogelijk zijn met andere handelsanalysetools, met name analyses waarbij transitieve sluitingen en de detectie van patronen in grafieken betrokken zijn. HIGH LEVEL BDD-pakket. Wonder Standaard BDD-pakketten bieden operaties voor het manipuleren van relaties over bits, de Crocopat-bibliotheek maakt de manipulatie van relaties over snaren mogelijk. Het verlicht programmeurs van koorden naar binaire coderingen en gebruikersvariabelen naar BDD-variabelen. Wat is er nieuw in deze release: · Alleen onderhoudsactiviteiten (maak het beschikbaar voor MacOS, Bug-fixes).
Crocopat Gerelateerde software