.HETS Bestandsextensie
HETS-bestand
| Ontwikkelaar | N.v.t. |
| Populariteit |
2,0 | 1 stem |
Wat is een HETS-bestand?
Een HETS-bestand is een gegevensbestand dat wordt gebruikt door de Heterogeneous Tool Set (HETS), een hulpprogramma voor "formele methoden" waarmee ingenieurs en onderzoekers verschillende systemen kunnen testen. Het bevat een projectspecificatie met verwijzingen naar logische modules, specificatietalen en vertaalconfiguraties.
Meer informatie
HETS wordt gebruikt in software-engineering en onderzoek in de informatica. Het ondersteunt meerdere formele specificatietalen, waaronder CASL, CoCASL en HasCASL. Met de software, die op Linux-systemen draait, kunnen gebruikers formele logicaspecificaties analyseren, vertalen en verifiëren met behulp van een combinatie van verschillende tools en talen.
HETS-bestanden worden voornamelijk gebruikt voor het ordenen en beheren van complexe logicaspecificaties binnen verschillende logische systemen. Ze worden doorgaans gemaakt en gebruikt binnen de HETS-omgeving.
Een HETS-bestand openen
Je kunt een .hets-bestand openen vanaf een opdrachtprompt in Linux, zolang HETS is geïnstalleerd. Voer de volgende opdracht in om het bestand te openen:
hets yourfile.hets
OPMERKING: Omdat HETS-bestanden in een indeling met platte tekst worden opgeslagen, kun je de inhoud van een HETS-bestand ook bekijken in een teksteditor.