01199naa a2200217 a 450000100080000000500110000800800410001910000220006024500580008226000090014030000220014949000080017152004820017965000210066165300220068265300510070465300180075565300210077370000160079477301710081010026892011-03-24       1995    bl uuuu     u00u1 u    #d1 aLIMA, J. M. de B.  aUm método de desenvolvimento de programas para OBJ3.  c1995  ap. 1051-1062. v.2  vv.2  aApresentamos um método de desenvolvimento de programas, baseado em um método já existente para EML, utilizando os recursos de OBJ3 - uma linguagem declarativa utilizada principalmente para especificação e prototipagem. Inicialmente, revisamos alguns conceitos de EML, para então apresentarmos OBJ3 e o método desenvolvido. Com o objetivo de ilustrarmos o método proposto, apresentamos um estudo de caso: a especificação e o desenvolvimento de uma tabela de símbolos.  aComputer science  aComputer programs  aDesenvolvimento de programas para computação  aLinguagem EML  aRecursos de OBJ31 aSAMPAIO, A.  tIn: SEMINÁRIO INTEGRADO DE SOFTWARE E HARDWARE, 22.; CONFERÊNCIA LATINO-AMERICANA, 21., 1995, Canela. Anais... Porto Alegre: UFRGS, Instituto de Informática, 1995.