.HETS Extension de fichier
Fichier HETS
| Développeur | N/D |
| Popularité |
2,0 | 1 Vote |
Qu'est-ce qu'un fichier HETS ?
Un fichier HETS est un fichier de données utilisé par Heterogeneous Tool Set (HETS), un outil de « méthodes formelles » qui aide les ingénieurs et les chercheurs à tester différents systèmes. Il contient une spécification de projet qui comprend des références à des modules logiques, à des langages de spécification et à des configurations de traduction.
Plus d'informations
HETS est utilisé dans le génie logiciel et la recherche en informatique. Il prend en charge plusieurs langages de spécification formelle, notamment CASL, CoCASL et HasCASL. Le logiciel, qui fonctionne sur les systèmes Linux, permet aux utilisateurs d’analyser, de traduire et de vérifier des spécifications logiques formelles en combinant différents outils et langages.
Les fichiers HETS servent principalement à organiser et à gérer des spécifications logiques complexes dans différents systèmes logiques. Ils sont généralement créés et utilisés dans l’environnement HETS.
Comment ouvrir un fichier HETS
Vous pouvez ouvrir un fichier .hets depuis une invite de commandes sous Linux, à condition que HETS soit installé. Pour ouvrir le fichier, saisissez la commande suivante :
hets yourfile.hets
REMARQUE : Comme les fichiers HETS sont enregistrés au format texte brut, vous pouvez également afficher le contenu d’un fichier HETS dans un éditeur de texte.