.HETS Extensión de archivo
Archivo HETS
| Desarrollador | N/D |
| Popularidad |
2.0 | 1 Voto |
¿Qué es un archivo HETS?
Un archivo HETS es un archivo de datos utilizado por Heterogeneous Tool Set (HETS), una herramienta de "métodos formales" que ayuda a ingenieros e investigadores a probar diversos sistemas. Contiene una especificación de proyecto que incluye referencias a módulos lógicos, lenguajes de especificación y configuraciones de traducción.
Más información
HETS se utiliza en ingeniería de software y en investigaciones de informática. Admite varios lenguajes de especificación formal, incluidos CASL, CoCASL y HasCASL. El software, que funciona en sistemas Linux, permite a los usuarios analizar, traducir y verificar especificaciones de lógica formal mediante una combinación de diferentes herramientas y lenguajes.
Los archivos HETS se utilizan principalmente para organizar y administrar especificaciones lógicas complejas en diferentes sistemas lógicos. Normalmente se crean y utilizan dentro del entorno HETS.
Cómo abrir un archivo HETS
Puede abrir un archivo .hets desde un símbolo del sistema en Linux, siempre que HETS esté instalado. Para abrir el archivo, introduzca el siguiente comando:
hets yourfile.hets
NOTA: Como los archivos HETS se guardan en formato de texto sin formato, también puede ver el contenido de un archivo HETS en un editor de texto.