Data/hora: 05/06/2024 00:55:50

Biblioteca(s): | Embrapa Agricultura Digital.
Data corrente: | 20/10/1997
Data da última atualização: | 21/02/2011
Autoria: | HIGA, R. H.
Afiliação: | ROBERTO HIROSHI HIGA, CNPTIA.
Título: | Uso do Prolog para executar especificações formais por traços.
Ano de publicação: | 1997
Fonte/Imprenta: | Campinas: EMBRAPA-CNPTIA, 1997.
Páginas: | 19 p.
Série: | (EMBRAPA-CNPTIA. Relatório Técnico, 1).
ISSN: | 1414-4727
Idioma: | Português
Conteúdo: | A especificação formal de um módulo de software facilita a detecção e eliminação de ambigüidades, incompletudes e inconsistências, tornando sua descrição clara e precisa. O objetivo deste trabalho é apresentar a técnica de especificação formal de módulos de software por traços (Bartussek & Parnas, 1986) e mostrar como esta pode tornar-se executável em computador, utilizando a linguagem de programação Prolog. Exemplos e um protótipo de ferramenta, em que tal processo poderia ser utilizado são apresentados e discutidos, bem como os passos a serem seguidos na seqüência deste trabalho.
Palavras-Chave: | Engenharia de software; Especificação formal de software; Especificações formais por traços; Prolog; Software.
Categoria do assunto: | X Pesquisa, Tecnologia e Engenharia
Registro original: | Embrapa Agricultura Digital (CNPTIA)
Exemplares: | CNPTIA - (5708-1) - UPC - RT - PP -  -  - 1997.00002 - DIS