00733nam a2200193 a 450000100080000000500110000800800410001910000160006024500790007626000350015530000100019052001800020065300270038065300270040765300320043465300300046665300130049665300300050910014702010-12-21       1993    bl uuuu     u00u1 u    #d1 aHIGA, R. H.  aIntrodução a especificação formal de módulos de software por traços.  aCampinas: EMBRAPA-CNPTIAc1993  a16 p.  aApresentação informal da especificação por traços. Apresentação formal da especificação por traços. Executando especificações formais utilizando traços em Prolog.  aEngenharia de software  aEspecificação formal  aEspecificação por traços  aEspecifição de software  aSoftware  aSpecification of software