Um editor orientado a sintaxe de " LOTOS" /
Apresenta o desenvolvimento de uma ferramenta de apoio às FTDs (Técnicas de Descrição Formal), ligada à edição de especificações formais de sistema de automação de manufatura. Estas ferramentas de apoio têm importância fundamental na expansão do escopo de utilização das FTDs. Apresentamos um Editor...
Na minha lista:
| Principais autores: | , , |
|---|---|
| Formato: | Dissertação |
| Publicado em: |
|
| Assuntos: | |
| Endereço do item: | https://app.bczm.ufrn.br/home/#/item/32758 |
| Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
| Resumo: | Apresenta o desenvolvimento de uma ferramenta de apoio às FTDs (Técnicas de Descrição Formal), ligada à edição de especificações formais de sistema de automação de manufatura. Estas ferramentas de apoio têm importância fundamental na expansão do escopo de utilização das FTDs. Apresentamos um Editor Orientado a Sintaxe de LOTOS (uma das FTDs padronizadas pela ISO e CCITT) com recursos gráficos, o qual objetiva auxiliar os projetistas na fase de especificação do sistema. Este editor pretende ser amigável, de fácil uso, e principalmente ser capaz de produzir especificações sem erro de sintaxe. No desenvolvimento deste editor utilizamos os conceitos da técnica baseada em objetos e as facilidades do ambiente GUI (Interface Gráfica de Usuário). |
|---|