01205nam a2200205 a 450000100080000000500110000800800410001902200140006010000160007424500700009026000350016030000100019549000460020552006170025165300270086865300390089565300410093465300110097565300130098610050112011-02-21       1997    bl uuuu  t   00u1 u    #d  a1414-47271 aHIGA, R. H.  aUso do Prolog para executar especificações formais por traços.  aCampinas: EMBRAPA-CNPTIAc1997  a19 p.  a(EMBRAPA-CNPTIA. Relatório Técnico, 1).  aA 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.  aEngenharia de software  aEspecificação formal de software  aEspecificações formais por traços  aProlog  aSoftware