02043nam a2200517 a 450000100080000000500110000800800410001910000160006024500700007626000350014630000100018149000460019152006190023765000210085665000220087765000160089965000150091565000150093065000170094565000270096265300110098965300130100065300270101365300480104065300260108865300270111465300200114165300270116165300390118865300360122765300320126365300260129565300250132165300130134665300140135965300110137365300110138465300130139565300250140865300240143365300100145765300240146765300110149165300110150265300120151312040832006-10-27       1997    bl uuuu     u0uu1 u    #d1 aHIGA, R. H.  aUso de 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 computadores, 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.  acomputer science  acomputer software  aengineering  aComputador  aEngenharia  aInformática  aPrograma de Computador  aBrasil  aComputer  aEngenharia de software  aEngenharia de software formal specification  aEngenharia de sofware  aEngenharia do software  aEspecificação  aEspecificação formal  aEspecificação formal de software  aEspecificacao formal de sofware  aEspecificação por traços  aFormal especification  aFormal specification  aPrograma  aProgramme  aPROLOC  aProlog  aSoftware  asoftware engineering  aSofware engineering  aTrace  atrace specification  aTraces  aTraço  aTraços