00550naa a2200169 a 450000100080000000500110000800800410001910000210006024500620008126000090014365300340015265300300018665300290021665300210024570000200026677300940028610480892006-09-01       2004    bl uuuu     u00u1 u    #d1 aBONIFACIO, A. L.  aModelos orientados a estado na especificacao de software.  c2004  aDesesenvolvimento de software  aEspecificacao de sistemas  aMaquina de estado finita  aModelagem formal1 aGOMES, F. A. L.  tSemina: Ciencias Exatas e Tecnologicas, Londrinagv. 25, n. 2 p. 163-170, jul./dez. 2004.