.HETS Extensão de arquivo
Arquivo HETS
| Desenvolvedor | N/D |
| Popularidade |
2,0 | 1 Voto |
O que é um arquivo HETS?
Um arquivo HETS é um arquivo de dados usado pelo Heterogeneous Tool Set (HETS), uma ferramenta de "métodos formais" que ajuda engenheiros e pesquisadores a testar vários sistemas. Ele contém uma especificação de projeto que inclui referências a módulos lógicos, linguagens de especificação e configurações de tradução.
Mais informações
O HETS é usado na engenharia de software e em pesquisas de ciência da computação. Ele é compatível com várias linguagens de especificação formal, incluindo CASL, CoCASL e HasCASL. O software, que é executado em sistemas Linux, permite que os usuários analisem, traduzam e verifiquem especificações de lógica formal usando uma combinação de diferentes ferramentas e linguagens.
Os arquivos HETS são usados principalmente para organizar e gerenciar especificações lógicas complexas em diferentes sistemas lógicos. Eles normalmente são criados e usados no ambiente HETS.
Como abrir um arquivo HETS
Você pode abrir um arquivo .hets em um prompt de comando no Linux, desde que o HETS esteja instalado. Para abrir o arquivo, digite o seguinte comando:
hets yourfile.hets
NOTA: Como os arquivos HETS são salvos em um formato de texto simples, você também pode visualizar o conteúdo de um arquivo HETS em um editor de texto.