Daltro José Nunes

Prof. Daltro Nunes é professor titular convidado da Universidade Federal do Rio Grande do Sul (UFRGS). Formação Acadêmica: Engenheiro Eletricista opção Eletrônica-UFRGS. Mestre em Ciências em Informática-PUC/RJ. Doutor em Naturwissenschaft-Informatik-Univ. Stuttgart-Alemanha. Pós-Doutorado-Univ. Stuttgart-Alemanha. Gestão Acadêmica: Criação do curso de Pós-graduação em Ciência da Computação-UFRGS. Coordenador do Curso de Pós-graduação em Ciência da Computação-UFRGS. Criação do Curso de Extensão em Engenharia de Sistemas de Computação-UFRGS. Chefe da Divisão de Computação do Centro de Processamento de Dados-UFRGS. Comitê Gestor do curso de Tecnólogo em Processamento de Dados-UFRGS. Conversão do curso de Tecnólogo em Processamento de Dados em curso de Ciência da Computação-UFRGS. Coordenador do Curso de graduação em Ciência da Computação-UFRGS. Câmara de Ciências Exatas e Tecnologia-UFRGS. Conselho de Ensino, Pesquisa e Extensão(CEPE)-UFRGS. Criação do Curso de Engenharia de Computação-UFRGS. Comissão Coordenadora do Programa de Pós-graduação em Computação da UFRGS. Coordenador da Comissão de elaboração das Diretrizes Curriculares da área de Computação da SESu/MEC. Coordenador da Comissão de revisão das Diretrizes Curriculares da área de Computação do CNE. Avaliador e Comissões Especiais do INEP. Comitê Assessor de Ciência da Computação da CAPES. Comitê Assessor de Matemática, Estatística e Computação da FAPERGS. Presidente do Comitê Assessor de Cooperação Internacional da FAPERGS. Coordenador do Comitê Especial de Assessoramento Científico do Programa de Auxilio à Pesquisa em Empresas?PAPPE/FAPERGS. Chefe do Departamento de Informática da UFRGS. Transformação do Departamento de Informática em Instituto de Informática-UFRGS. Diretor de Educação da Sociedade Brasileira de Computação-SBC. Coordenador da Cooperação Internacional Brasil(CNPq)/Alemanha(DLR). Conselho do Instituto Latino-Americano de Estudos Avançados-ILEA-UFRGS. Coordenador da Comissão para elaboração das Diretrizes Curriculares da área de Computação do CNE. Conselho Universitário da UFRGS. Reitor em exercício da UFRGS, no afastamento de seus titulares. Secretario de Avaliação Institucional da UFRGS. Sócio Fundador da Sociedade Brasileira de Computação-SBC. Comissão de Educação da Sociedade Brasileira de Computação. Prêmios e distinções: Prêmio Newton Faller - SBC. Reconhecimento, UFRGS. Contribuição Relevante para Criação e Consolidação da Engenharia de Software no Brasil - Comissão Especial de Engenharia de Software da SBC. Homenagem pelos 75 anos da UFRGS. Prêmio SUCESU-RS 40 anos. Profesor Honorario, Universidad Privada Antenor Orrego - Trujillo/Peru. Professor Homenageado, Curso de Qualidade da SBC. Certificado de Honra ao Mérito, Centro Acadêmico da Escola de Engenharia da UFRGS - CEUE. Tem a outorga de Professor Emérito da Universidade Federal do Ro Grande do Sul. Professor titular convidado da Universidade Federal do Rio Grande do Sul. Tem experiência na área de Ciência da Computação, com ênfase em Semântica de Programas, especificação e verificação de programas, e métodos formais,(Texto informado pelo autor)

Informações coletadas do Lattes em 02/12/2025

Acadêmico

Formação acadêmica

Doutorado em Informatik

1981 - 1985

Universitat Stuttgart
Título: Ein Verfahren zur rechnerunterstützten Programmkonstruktion
Orientador: Rul Guntzenhauser
, Ano de obtenção: 1985. Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: Arquitetura de Software.Grande área: Ciências Exatas e da TerraSetores de atividade: Informática.

Mestrado em Ciências Em Informática

1971 - 1972

Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio
Título: Gerador de macro dirigido por sintaxe, Ano de Obtenção: 1972
Orientador: Sergio Roberto Pinto Teixeira
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Grande área: Ciências Exatas e da Terra

Graduação em Engenharia Elétrica

1965 - 1969

Universidade Federal do Rio Grande do Sul

Pós-doutorado

1992 - 1993

Pós-Doutorado. , Universitat Stuttgart, STUTTGART, Alemanha. , Bolsista do(a): Alexander Von Humboldt Stiftung, AVHS, Alemanha. , Grande área: Ciências Exatas e da Terra

Formação complementar

2009 - 2009

Capacitação no Instrumento de Avaliação de Autoriz. , Instituto Nacional de Estudos e Pesquisas Educacionais Anísio Teixeira, INEP/MEC, Brasil.

Idiomas

Inglês

Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Bem.

Espanhol

Compreende Razoavelmente, Fala Razoavelmente, Lê Bem, Escreve Pouco.

Francês

Compreende Pouco, Fala Pouco, Lê Pouco, Escreve Pouco.

Alemão

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Engenharia de Software.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Especificação Formal de software.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Verificação formal de sofware.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Metodos Formais.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Abordagens semânticas.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Lógicas e Semântica de Programas.

Organização de eventos

NUNES, I. ; MEDEIROS NETO, F. D. ; NUNES, D. J. . Membro da Organização da Segunda Escola Latino Americana de Engenharia de Software (ELA-ES 2015). 2015. (Congresso).

Jorge Guerra Guerra ; NUNES, D. J. . Membro do Comité de Programa da VII Jornadas Peruanas de Computação. 2008. (Congresso).

NUNES, D. J. . Membro do Comitê de Programa do Simpóstio Brasileiro de Sistemas de Informação. 2008. (Congresso).

NUNES, D. J. . Membro do Comitê de Programa do Simpósio Brasileiro de Métodos Formais. 2008. (Congresso).

NUNES, D. J. . Membro do Comitê de Programa do Simpósio Brasileiro de Métodos Formais. 2007. (Congresso).

NUNES, D. J. . Painel sobre "Educacao em Metodos Formais". 2006. (Outro).

NUNES, D. J. . Membro do Comitê de Programa do Simpósio Brasileiro de Métodos Formais. 2006. (Congresso).

NUNES, D. J. ; CAMARGO, M. S. . XIII Simpósio Brasileiro de Engenharia de Software. 1999. (Congresso).

NUNES, D. J. . III Curso de Qualidade. 1999. (Congresso).

NUNES, D. J. . I Workshop Brasileiro de Metodos Formais. 1998. (Congresso).

NUNES, D. J. . II Curso de Qualidade. 1998. (Congresso).

NUNES, D. J. ; JAHNICHEN, S. . IV GERMAN-BRAZILIAN WORKSHOP ON INFORMATION TECHNOLOG. 1997. (Congresso).

NUNES, D. J. . I Curso de Qualidade. 1997. (Congresso).

NUNES, D. J. . III Workshop sobre Educação em Informática. 1995. (Congresso).

NUNES, D. J. . IV Congresso Ibero-Americano sobre Educação Superior em Computação. 1995. (Congresso).

NUNES, D. J. . I Workshop sobre Educação em Informática. 1993. (Congresso).

NUNES, D. J. . VI Simpósio Brasileiro de Engenharia de Software. 1992. (Congresso).

NUNES, D. J. . II Simpósio Brasileiro de Engenharia de Software. 1988. (Congresso).

NUNES, D. J. . IX Seminário sobre Computação na Universidade SECOMU. 1979. (Congresso).

NUNES, D. J. . V Seminário Integrado de Software e Hardware. 1978. (Congresso).

NUNES, D. J. . Seminário de Computação na Universidade. 1977. (Congresso).

NUNES, D. J. . iV Seminário sobre Desenvolvimento Integrado de Software e Hardware. 1977. (Congresso).

NUNES, D. J. . II Seminário sobre Desenvolvimento Integrado de Software e Hardware. 1976. (Congresso).

NUNES, D. J. . II Seminário sobre Desenvolvimento Integrado de Software e Hardware. 1975. (Congresso).

NUNES, D. J. . Encontro dos Usuário de B6700 em São Paulo. 1975. (Congresso).

NUNES, D. J. . I Seminário sobre Desenvolvimento Integrado de Software e Hardware. 1974. (Congresso).

Participação em eventos

FORINT - I Fórum de Integração de Ensino, Pesquisa e Extensão.Painel: A Importância da Integração Ensino, Pesquisa e Extensão na Avaliação Institucional. 2016. (Seminário).

Painel Computação na Educação Básica.Computação na Educação Básica. 2016. (Outra).

Congresso Brasileiro de Software (CBSoft). Qualidade na Avaliação de Cursos de Graduação. 2014. (Congresso).

Congresso Brasileiro de Software (CBSoft). Oficina sobre Diretrizes para Cursos de Graduação em Engenharia de Software. 2013. (Congresso).

Simpósio Brasileiro de Engenharia de Software.Theoretical Foundations of Software Engineering: A Brazilian Perspective. 2011. (Simpósio).

62 Reunião Anula da SBPC. A QUESTÃO DAS COTAS NAS UNIVERSIDADES. 2010. (Congresso).

Congresso Brasileiro de Software (CBSoft). 2010. (Congresso).

Congresso da Sociedade Brasileira de Computação -CSBC. II Workshop on Women in Information Technology -WIT08. 2008. (Congresso).

II Fórum Gaúcho de Coordenadores de Curso de Informática II Workshop de Educação em Informática do RS.Painel sobre Requisitos de Diretrizes Curriculares. 2008. (Seminário).

II Congresso de Computação do Sul de Mato Grosso. O Núcleo de Ciência da Computação na Formação dos Currículos. 2006. (Congresso).

VII FÓRUM DE INFORMÁTICA E TECNOLOGIA DE MARINGÁ.Diretrizes Curriculares. 2006. (Simpósio).

VJornadas peruanas de Computacion , I Congresso Internacional de Iniciacion Científica em Computacion. VJornadas peruanas de Computacion , I Congresso Internacional de Iniciacion Científica em Computacion. 2006. (Congresso).

Conferência Latinoamericana de Informatica CLEI. XXXI Conferencia Latinoamericana de Informática. 2005. (Congresso).

I Congresso de Computação do Sul do Mato Grosso - COMPSULMT. I Congresso de Computação do Sul do Mato Grosso. 2005. (Congresso).

III Workshop Peruano de Educación Superior en Computación e Informatica - WECI.III Workshop Peruano de Educación Superior en Computación e Informatica - WECI. 2005. (Outra).

XIII Congresso Iberoamericano de Educación Superior em Computacion - CIESC. XIII Congresso Iberoamericano de Educación Superior em Computacion - CIESC. 2005. (Congresso).

I Seminário de Informatica da ULBRA-RS SEMINFO2002.I Fórum de Professores dos Cursos da Área de Informática da ULBRA-RS. 2002. (Seminário).

O Engenheiro da Computação no Século XXI.Palestra O Engenheiro da Computação no Século XXI. 1999. (Outra).

Século XXI: compromissos e ações.Século XXI: compromissos e ações. 1998. (Seminário).

Simpósio Brasileiro de Engenharia de Software - SBES.Simpósio Brasileiro de Engenharia de Software. 1996. (Simpósio).

Seminário sobre Computação na Universidade.VIII Seminário sobre Computação na Universidade. 1978. (Seminário).

Seminário sobre Computação na Universidade.VI Seminário sobre Computação na Universidade. 1976. (Seminário).

Seminário sobre Computação na Universidade.V Seminário sobre Computação na Universidade. 1975. (Seminário).

.IV Seminario sobre computação na Universidade. 1974. (Seminário).

. IV Congresso Nacional de Processamento de Dados. 1973. (Congresso).

. III Congresso Nacional de Processamento de Dados. 1970. (Congresso).

.Montador Assembler do IBM 1130. 1970. (Seminário).

.Tópicos de Cálculo Avançado. 1966. (Seminário).

Participação em bancas

Aluno: Ícaro Andrade de Souza

NUNES, D. J.; MATOS, ECIVALDO DE SOUZA; DURAN, A. A.. Procedimentos didáticos em Computação e sua relação com as características psicológicas dos estudantes: uma investigação no ensino de Teoria da Computação. 2017. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Bahia.

Aluno: Leonardo Michelon

NUNES, D. J.; FERNANDES, Paulo Henrique Lemelle;MOREIRA, Alvaro FreitasRIBEIRO, Leila. Gramatica de grafos baseada em objetos com tempo. 2006. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Gleison Samuel do Nascimento

NUNES, D. J.MOREIRA, Alvaro Freitas; LAMB, Luis da Cunha;RIBEIRO, Leila; MARTINI, Alfio Ricardo de Brito. Identificação de Nomes ativos em agentes-II baseada em tipos. 2005. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Rodrigo Machado

NUNES, D. J.MOREIRA, Alvaro FreitasRIBEIRO, Leila; RIBEIRO, Helena Granzziotin; GALANTE, Renata de Matos. Semantica formal para TVQL. 2005. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Luciana Foss

NUNES, D. J.. Uma tradução de gramaticas de hipergrafos baseada em objetos para calculo-pi. 2003. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Edson Eustáchio Oliveira de Azevedo

NUNES, D. J.; PRICE, Ana Maria de Alencar; HERBERT, Juliana Silva;PIMENTA, Marcelo Soares. OZJ- Uma ferramenta para geração de oráculos para teste de software a partir de especificações formais. 2002. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Eduardo Pretz

NUNES, D. J.RIBEIRO, Leila; MORA, Michael da Costa; HEUSER, Carlos Alberto. Uma metodologia de modelagem de sistemas computacionais baseada em gramática de grafos. 2000. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Cirney Ricardo Jose Borges Carneiro

NUNES, D. J.; MENEZES, Paulo Fernando Blauth de; HAEUSLER, Edward Hermann;RIBEIRO, Leila. Autômato não seqüêncial identificado como suporte para classes em Náutilus. 1999. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: JULIO CESAR GODOY BERTOLIN

NUNES, D. J.; FAGUNDES, Lea da Cruz; ZIRBES, Sergio Felipe; AZEREDO, Paulo Alberto de. Uma analise da aplicação de tecnicas da psicologia para a elicitação de requisitos de software. 1999. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Jorge Juan Zavaleta Gavidia

NUNES, D. J.; AZEREDO, Paulo Alberto de; BECKER, Karin; LISBOA, Maria Lucia Blanck. Programação Funcional usando Java. 1997. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: JULIANA BONZANINI DA SILVA

NUNES, D. J.; PRICE, Ana Maria de Alencar; MALDONADO, Jose Carlos. Proteste+: ambiente de validação automática de qualidade de software através de tecnicas de teste e métricas de complexidade. 1995. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Luis da Cunha Lamb

NUNES, D. J.; CLAUDIO, Dalcidio Moraes; COSTA, Antonio Carlos da Rocha; SZWARCFITER, Jayme Luiz. Uma abordagem categorica a teoria de maquinas sequenciais. 1993. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Liliana Maria Passerino

NUNES, D. J.. Um sistema de tipos para uma linguagem de representação estruturada de conhecimentos. 1992. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Alvaro Freitas Moreira

NUNES, D. J.; WEBER, Raul Fernando; WEBER, Taisy Silva; CORTES, Mario Lucio. Uma axiomatização para DSL: Uma linguagem para descrição de sistemas digitais. 1992. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Carlos Antonio Perreira Campani

NUNES, D. J.; PÁDUA, Clarindo Isaias Pereira da Silva e; WEBER, Raul Fernando. Um estudo sobre o comportamento de sistemas digitais. 1991. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Felipe Schaan de Quadros

NUNES, D. J.; PRICE, Ana Maria de Alencar; AZEREDO, Paulo Alberto de; LIMA, Vera Lucia Strube de; BERCHT, Magda. Um gerador automático de código objeto usando gramáticas transformacionais. 1991. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: João Carlos Gluz

NUNES, D. J.; CASTILHO, Jose Mauro Volkmer de; FONSECA, Décio. Formalização de um modelo de representação de conhecimentos orientado a objetos. 1991. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Vanderlei Moraes Rodrigues

NUNES, D. J.. Interpretador Standart ML. 1991. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Carlos Augusto Prolo

NUNES, D. J.. Análise das Linguagens ESTELLE e LOTTOS na especificação de protocolos. 1990. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Dalva de Oliveira Alves de Souza

NUNES, D. J.; PRICE, Ana Maria de Alencar; SANTOS, Clesio Saraiva dos. Análise automática da complexidade de programas. 1990. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Eloi Luiz Favero

NUNES, D. J.; PRICE, Roberto Tom; HEUSER, Carlos Alberto. Um editor orientado por estrutura para linguagens diagramáticas. 1990. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Martin Hertzel Escardó

NUNES, D. J.. Numeros Natuais parciais. 1990. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Marco Antonio Carou Leandro

NUNES, D. J.. Ferramenta para especificação de sistemas baseada no metodo SADT. 1988. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Loreta Scheur de Oliveira Ramos

NUNES, D. J.. Ferramenta para especificação de sistemas de programas baseada na tecnica de nassi-shneiderman. 1987. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Claudia Sabani

NUNES, D. J.; D`AVILLA, Domingos Otávio; TAZZA, Maurizio. Um Sitema de Computação para Controle de Uma Unidade de Hemodiálise. 1979. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Neron Arruda Leonel

NUNES, D. J.. SOPTA - Sistema de Otimização de Problemas de Transporte e de adjudicação. 1977. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Tiaraju Vasconcellos Wagner

NUNES, D. J.. Unidade de Entrada de Dados com Minicassete. 1976. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Tiaraju Vasconcellos Wagner

NUNES, D. J.. Unidade de Entrada de Dados com Minicassete. 1976. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Ruben Gerardo Schneider Alves

NUNES, D. J.. Estratégias de Computação Sequenciais e paralelas sobre espaços coerentes. 1973. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Sabine Righetti

NUNES, D. J.; PEDROSA, R. H. L.; BALBACHEVSKY, E.; VOGT, C. A.; KNOBEL, M.. Qual é a melhor? Origem, indicadores, limitações e impactos dos rankings universitários. 2016. Tese (Doutorado em Política Científica e Tecnológica) - Universidade Estadual de Campinas.

Aluno: Ana Paula Lüdtke Ferreira

NUNES, D. J.; MARTINI, Alfio Ricardo de Brito; MOREIRA, Anamaria Martins;MOREIRA, Alvaro Freitas. Object-Oriented Graph Grammars. 2005. Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: João Carlos Gluz

NUNES, D. J.VICARI, Rosa Maria; LADEIRA, Marcelo; CABRAL, Tânia Cristina Baptista. Formalização da comunicação de conhecimentos probabilisticos em sistemas multiagentes: uma abordagem baseada em lógica probabilistica. 2005. Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Marcelo de Almeida Maia

NUNES, D. J.. Especificação Formal da Interação de Componentes de Sistemas Computacionais. 1999. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais.

Aluno: Simone André da Costa

Simone Andrea da Costa;RIBEIRO, Leila; COSTA, Antonio Carlos da Rocha;NUNES, D. J.; MARTINI, A.; João Marcos de Almeida. Formal Verification of Graph Grammars using Theorem Proving.. 2008. Exame de qualificação (Doutorando em Programa de Pos Graduação em Computação) - Universidade Federal do Rio Grande do Sul.

NUNES, D. J.. Comissão de Avaliação de Desempenho para Promoção Funcional. 2018. Universidade Federal do Pará.

NUNES, D. J.. Concurso professor titular. 2017. Universidade de Passo Fundo.

NUNES, D. J.. Concurso para Professor Titular. 2015. Universidade Federal de Santa Catarina.

NUNES, D. J.. Concurso para Professor Titular. 2012. Universidade Federal do Rio Grande do Norte.

NUNES, D. J.. Concurso para professor titular do SSC-ICMC. 2010. Universidade de São Paulo.

NUNES, D. J.. Banca Julgadora do Concurso Público para Provimento do Cargo de Professor Adjunto. 2018. Universidade Federal do Ceará.

NUNES, D. J.. Banca Examinadora para Professor Adjunto do Departamento de CIência da Computação. 2018. Universidade Federal de Pernambuco.

NUNES, D. J.. Membro Titular da Comissão Julgadora do Concurso Público de Provas e Títulos para Professor Adjunto do Departamento de Ciência da Computação do Instituto de Matemática. 2009. Universidade Federal do Rio de Janeiro.

NUNES, D. J.; Braga; Hirata. Membro Titular da Comussão Julgadora do concurso para professor Doutor para o Departamento de Sistemas de Computaçãp. 2009. Universidade de São Paulo.

NUNES, D. J.. Membro da Banca de Concurso Publico para o Departamento de Ciencia da Computacao da USP/São Carlos. 2006. Universidade de São Paulo.

NUNES, D. J.. Membro da Banca Examinadora para o concurso e admissão de Professor Assistente. Instituto de Matemática. UFRJ. 1988. Universidade Federal do Rio de Janeiro.

NUNES, D. J.. Membro de Banca Examinadora para o concurso e admissão de professor auxiliar de ensino. Departamento de Informática. 1988. Universidade Federal do Rio Grande do Sul.

NUNES, D. J.. Membro da Banca Examinadora para o concurso e admissão de 10 Professores Assistentes CPD- UFRGS. 1977. Universidade Federal do Rio Grande do Sul.

NUNES, D. J.. Membro de Banca Examinadora para o concurso e admissão de 10 Auxiliares de Ensino. CPD - UFRGS.. 1973. Universidade Federal do Rio Grande do Sul.

NUNES, D. J.; SANTANA, R. H. C.; FORTES, R. P. M.; RICARTE, I. L. M.; Roberto da Silva Bigonha. Obtenção de título de Livre-Docência para o Departamento de Sistemas de Computação. 2013. Instituto de Ciências Matemáticas e de Computação USP/São Carlos.

NUNES, D. J.; Miria Miranda de Freitas Oleto. Verificação especial na Faculdade Tamandaré. 2009. Faculdade Tamandaré.

NUNES, D. J.. Membro de Comissão de Avaliação de Cursos de Graduação pelo INEP, no total de 6 avaliações a partir de 2002.. 2002. Instituto Nacional de Estudos e Pesquisas Educacionais Anísio Teixeira.

NUNES, D. J.. Membro de Comissões de Cursos de Graduação pelo INEP, no total de 6(seis) desde 2002. 2002. Instituto Nacional de Estudos e Pesquisas Educacionais Anísio Teixeira.

NUNES, D. J.. Presidente da Comissão instituida pela SESu/MEC para autorização do Curso de Tecnólogo em Processamento de Dados da Faculdade de Filosofia, Ciências e Letras Imaculada Conceição,. 1995. Universidade Federal do Rio Grande do Sul.

NUNES, D. J.. Presidente da Comissão instituida pela SESu/MEC para autorização do Curso de Tecnólogo em Processamento de Dados da Faculdade de Processamento de Dados de Joinville mantida pela União de Tecnologia e Escolas de Santa Catarina. 1995. Universidade Federal do Rio Grande do Sul.

NUNES, D. J.. Membro de Comissão instituida pela CAPES para credenciamento do Curso de Pó-Graduação em Ciências de Computação e Matemática Computacional da Universidade de São Paulo-São Carlos.. 1995. Universidade Federal do Rio Grande do Sul.

NUNES, D. J.. Membro de Comissão instituida pelo MEC/SESu para reconhecimento do Curso de Graduação em Engenharia de Computação da Universidade Paulista - UNIP - São Paulo.. 1995. Universidade Federal do Rio Grande do Sul.

NUNES, D. J.. Presidente de Comissão instituida pela SESu/MEC para reconhecimento do Curso de Tecnologo em Processamento de Dados da Fundação de Estudos Sociais do Parana. 1993. Universidade Federal do Rio Grande do Sul.

NUNES, D. J.. Membro da Comissão instituida pelo SESu/MEC para verificação das condições de funcionamento do Curso de Ciência da Computação da Escola de Engenharia da Fundação Municipal de Piracicaba. 1991. Universidade Federal do Rio Grande do Sul.

NUNES, D. J.. Membro da Comissão instituida pelo SESu/MEC para verificação das condições de funcionamento do Curso Superior de Tecnologia em Processamento de dados, Faculdade Bandeirantes de Ciencia Exatas Humanas. 1989. Universidade Federal do Rio Grande do Sul.

NUNES, D. J.. Membro da Comissão instituida pelo CFE para reconhecimento do Curso de Tecnólogo em Processamento de Dados, ESPEI, Curitiba, PR.. 1987. Universidade Federal do Rio Grande do Sul.

NUNES, D. J.. Avaliacao de Cursos de Graduação para Autorização/Reconhecimento para a SESu/MEC, no total aproximado de 70(setenta) avaliações a partir de 1986. 1986. Secretaria de Educação Superior.

NUNES, D. J.. Membro da Comissão instituida pela SESu/MEC, para reconhecimento do Curso de Graduação em Ciência de Computação da UFSC. 1979. Universidade Federal do Rio Grande do Sul.

NUNES, D. J.. Presidente de Comissão instituida pela CAPES para credenciamento do Curso de Pós- Graduação em Engenharia de Sistemas - Universidade Federal da Paraíba, Campina Grande.. 1979. Universidade Federal do Rio Grande do Sul.

NUNES, D. J.; MATOS, ECIVALDO DE SOUZA; DURAN, A. A.. Defesa de Dissertação de Mestro. 2017. Universidade Federal da Bahia.

NUNES, D. J.. Membro do Comitê Especial de Assessoramento Científico. 2010. Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul.

NUNES, D. J.. Membro da Comisssão Própria de Avaliação - CPA. 2009. Universidade Federal do Rio Grande do Sul.

NUNES, D. J.; José Palazzo M. de Oliveira; Navaux. Membro da Banca Examinadora para avaliação de desempenho acadêmico com vista á progressão funcional de docentes para a classe de Professor Associado. 2009. Universidade Federal do Rio Grande do Sul.

NUNES, D. J.. Membro da Comissão Própria de Avaliação - CPA. 2008. Universidade Federal do Rio Grande do Sul.

NUNES, D. J.. Coordenador do Comite Assessor de Cooperacao Internacional da. 2006. Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul.

NUNES, D. J.. Membro de Comissão de Avaliação Institucional da Universidade de Nova Iguaçu - UNIG. 2000. Universidade Iguaçu.

Orientou

Nicole Davila

a definir; Início: 2017; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul; (Orientador);

Jaqueline Klein

a definir; Início: 2016; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; (Orientador);

Vanius Zapalowski

A definir; Início: 2013; Tese (Doutorado em Programa de Pos Graduação em Computação) - Universidade Federal do Rio Grande do Sul, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; (Coorientador);

Jacob de Quadros Stein

Supporting Feature-model Configuration based on Multi-Stakeholder Preferences; 2014; Dissertação (Mestrado em Programa de Pós-Graduação em Computação) - Universidade Federal do Rio Grande do Sul, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Coorientador: Daltro José Nunes;

Vanius Zapalowski

Evaluation of Code-based Information to Architectural Module Identification; 2013; Dissertação (Mestrado em Programa de Pós-Graduação em Computação) - Universidade Federal do Rio Grande do Sul, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Daltro José Nunes;

Juliano Dertzbacher

Um Modelo de Simulador para Ambientes de Desenvolvimento de Processos de Software Utilizando a Análise da Sensibilidade; 2012; Dissertação (Mestrado em Programa de Pós-Graduação em Computação) - Universidade Federal do Rio Grande do Sul, ; Orientador: Daltro José Nunes;

Bruno Carreiro da Silva

Um Método de Refatoração para Modularização de Interesses Transversais; ; 2009; 0 f; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Daltro José Nunes;

FERNANDO BARDEN RUBBO

Inference Rules for Generic Code Migration of Aspect-Oriented Programs; 2009; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, ; Orientador: Daltro José Nunes;

Ivan Alexandre Paiz Tierno

Assessment of Data-driven Bayesian Networks in Software Effort Prediction; 2009; Dissertação (Mestrado em Programa de Pos Graduação em Computação) - Instituto de Informática, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Daltro José Nunes;

Jerônimo Backes

Rastreabilidade Semi-Automatica Através do Mapeamento de Entidades; 2008; 0 f; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, ; Orientador: Daltro José Nunes;

Luiza Figueredo Pagliari

Avaliação Quantitativa de Refatorações Orientadas a Aspectos; 2007; 0 f; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Daltro José Nunes;

Antonio Terceiro

Uma Linguagem Algebrica; 2006; 86 f; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Daltro José Nunes;

Luis André Martins

Uma Ferramenta para Apoio a Especificação e Documentação de Requisitos para o Ambiente PROSOFT; 2004; 0 f; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Daltro José Nunes;

Paulo Roberto Garcia Junior

Um modelo para mensuração em Processo de Software; 2004; 0 f; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, ; Orientador: Daltro José Nunes;

Guilherme Salum Rangel

ProTool: uma Ferramenta de Prototipação de Software para o Ambiente PROSOFT; 2003; 223 f; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Daltro José Nunes;

ABRAHAM LINCOLN RABELO DE SOUSA

APSEE-Monitor: Um Mecanismo de Apoio a Visualização de Processos de Software; 2003; 102 f; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Daltro José Nunes;

Ronnie Cley de Oliveira Alves

Sistema de Apoio à Decisão de Grupo; 2002; 0 f; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Daltro José Nunes;

Isabel Dillman Nunes

Componentes de percepção para o ambiente PROSOFT cooperativo; 2001; 120 f; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Daltro José Nunes;

FABIO AUGUSTO DAS DORES SILVA

Um modelo de simulação de processos de software para o ambiente Prosoft; 2000; 0 f; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Daltro José Nunes;

Carla Alessandra Lima Reis

Um Gerenciador de Processos de Software Para O Ambiente Prosoft; 1998; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Daltro José Nunes;

Rodrigo Quites Reis

Uma Proposta de Suporte Ao Desenvolvimento Cooperativo de Software No Ambiente Prosoft; 1998; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Daltro José Nunes;

Alexandre Pimenta

Especificacao Formal de Uma Ferramenta de Reutilizacao de Especificacoes de Requisitos; 1998; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Daltro José Nunes;

Sílvia Maria Wanderley Moraes

Um Ambiente Expert Para Apoio Ao Desenvolvimento de Software; 1997; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Daltro José Nunes;

AHMED ALI ABDALLA ESMIN

Lac - Linguagem de Agentes Concorrentes; 1995; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Daltro José Nunes;

ROGERIO GUTHS

Um Estudo Sobre Equivalência de Especificações Algébricas; 1995; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Daltro José Nunes;

MARTINS; Uma Linguagem de Especificação Formal Orientada A Objetos; 1995; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, ; Orientador: Daltro José Nunes;

ALFIO MARTINI

Uma Introdução A Teoria das Categorias e Sua Aplicação A Ciência da Computação; 1994; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Daltro José Nunes;

LEILA RIBEIRO

Integracao No Prosoft de Ambientes Corretos Obtidos A Partir de Especificacoes Agebricas e Executados Usando Sistema de Reescrita; 1992; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, ; Orientador: Daltro José Nunes;

Adagenor Lobato Ribeiro

Semantica e Uma Ferramenta Para O Metodo Sadt; 1991; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, ; Orientador: Daltro José Nunes;

Ausberto Castro Vera

Larch:Uma Alternativa Para Especificacao Formal; 1990; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, ; Orientador: Daltro José Nunes;

Liane Margarida R

TAROUCO; Um Estudo Sobre Redes de Transmissao de Dados; 1976; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, ; Orientador: Daltro José Nunes;

Nina Edelweiss

Sistema Macro; 1975; 0 f; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, ; Orientador: Daltro José Nunes;

Alessandra Dahmer

Processo de Curso; 2006; 300 f; Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul, ; Orientador: Daltro José Nunes;

Carla Alessandra Lima Reis

Uma Abordagem Flexível paraExecução de Processos de Software Evolutivos; 2003; 267 f; Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Daltro José Nunes;

Rodrigo Quites Reis

APSEE-REUSE: Um Meta-Modelo para apoiar a reutilização de processos de software; ; 2002; 0 f; Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul, ; Orientador: Daltro José Nunes;

Ausberto Castro Vera

Lop - Uma Abordagem Unificada de Especificação Algébrica, Orientação A Objetos e Processos; 1994; Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Daltro José Nunes;

I; ORTH; Interfaces Homem/Maquina: A Personalizacao do Atendimento Ao Usuario; 1993; Tese (Doutorado em Ciência da Informação) - Universidade Federal do Rio de Janeiro, ; Orientador: Daltro José Nunes;

Isa Renz

Ein CAD System zum Software entwurf mit Hilfe von NS - Diagramen: Die Diagrammenrzeugung und das VerfeinerungskonKonzept; 1983; 0 f; Trabalho de Conclusão de Curso; (Graduação em Bachelor-Studiengang Wirtschaftsinformatik) - Universitat Stuttgart; Orientador: Daltro José Nunes;

Bruno Blau Maioli

Prototipação de Atos PROSOFT em OBJ; 2006; 0 f; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Daltro José Nunes;

Elias Ricken Medeiros

Investigando Ferramentas de Simulação de Processos; 2006; 0 f; Iniciação Científica; (Graduando em Computação) - Universidade Federal do Rio Grande do Sul; Orientador: Daltro José Nunes;

Augusto Belotto Perini

Desenvolvimento do MetaAto PROSOFT; 2004; 0 f; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Daltro José Nunes;

Tiago Sperb Cassol

PROSOFT- APSEE: Integração de Ferramentas para Gerência do Processo de Desenvolvimento de Software; 2004; 0 f; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Daltro José Nunes;

Marcelo Mariante de Abreu

Mecanismo de execução de processos de software no ambiente APSEE; 2003; 0 f; Iniciação Científica; (Graduando em Engenharia da Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Daltro José Nunes;

Leonardo Davi Viccari

Reuso de Processo de Software; 2003; 0 f; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Daltro José Nunes;

Rodrigo Virotti Kassick

Uma Ferramenta para Visualização de Processos de Software; 2003; 0 f; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Daltro José Nunes;

Fausto Bottin Piovesan

Um Ambiente para Gerência de Cursos a Distância; 2003; 0 f; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Daltro José Nunes;

Paulo Estima Mello

PROSOFT- APSEE: Integração de Ferramentas para Gerência do Processo de Desenvolvimento de Software; 2003; 0 f; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Daltro José Nunes;

CLAUDIO CAÑO

Estudo do desenvolvimento de software em Java-Prosoft; 2001; 0 f; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Daltro José Nunes;

Letícia Dutra

Ambiente PROSOFT: Manual do Desenvolvimento de Ferramentas; 2000; 0 f; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Daltro José Nunes;

Leticia Rheinhemer

Desenvolvimento de Ferramenta SADT para o PROSOFT; 2000; 0 f; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Daltro José Nunes;

Produções bibliográficas

ZAPALOWSKI, VANIUS ; NUNES, I. ; NUNES, D. J. . The WGB method to recover implemented architectural rules. INFORMATION AND SOFTWARE TECHNOLOGY , v. 103, p. 125-137, 2018.
RUBBO, FERNANDO BARDEN ; PIVETA, EDUARDO KESSLER ; NUNES, DALTRO JOSÉ . Inference rules for generic code migration of aspect-oriented programs. Science of Computer Programming (Print) , v. 78, p. 1157-1175, 2013.
Sousa. A L R ; PRESTES, L. F. T. ; PITTOLI, F. ; NUNES, D. J. . ANÁLISE DE DADOS NA PREDIÇÃO DE PROJETOS DE SOFTWARE. CIPPUS - Revista de Iniciação Científica da UNILASALLE , v. 2, p. 65-77, 2013.
da Silva, Bruno Carreiro ; Figueiredo, Eduardo ; Garcia, Alessandro ; Nunes, Daltro . Refactoring of Crosscutting Concerns with Metaphor-Based Heuristics. Electronic Notes in Theoretical Computer Science , v. 233, p. 105-125, 2009.
Rubbo ; Rodrigo Machado ; MOREIRA, Alvaro Freitas ; RIBEIRO, Leila ; NUNES, D. J. . On the Interaction of Advices and Raw Types in AspectJ. Journal of Universal Computer Science (Online) , v. 14, p. 3534-3555, 2008.
GARCIA JR, Paulo Roberto ; NUNES, D. J. . APSEE-Metrics: um modelo para mensuração em processos de software. INFOCOMP (UFLA) , v. 6, p. 9, 2007.
NUNES, D. J. ; LAMB, Luis . Distorções do Estágio Curricular Obrigatório. T&C Amazônia , n.II, p. 49-54, 2003.
REIS, Rodrigo Quites ; REIS, Carla Alessandra Lima ; SCHLEBBE, Heribert ; JOSÉ NUNES, DALTRO . APSEE-StaticPolicy: Automatic Verification of Static Policies on Software Process Models. Annals of Software Engineering , v. 14, p. 197-234, 2002.
ORTH, A. I. ; NUNES, D. J. . A Personalizacao das Interfaces Homem Maquina: Uma Perspectiva Promissora. SCIENTIA, v. 4, n.2, p. 75-84, 1993.
ORTH, A. I. ; NUNES, D. J. . Uma Proposta Para A Personalizacao de Interfaces do Usuario. SCIENTIA, v. 3, n.2, 1992.
ORTH, A. I. ; NUNES, D. J. . Proposta de Um Modelo Para Uma Interface do Usuario. SCIENTIA, v. 2, n.2, p. 99-114, 1991.
NUNES, D. J. . Curriculos de Cursos de Graduacao Em Informatica. REVISTA DE INFORMATICA TEORICA E APLICADA, PORTO ALEGRE, 1991.
NUNES, D. J. . Die Sadt - Methode Fur Die Software.. UNIVERSIDADE DE STUTTGART, p. 0-0, 1985.
NUNES, D. J. . Ein Cad - System Zur Software - Entwicklung Basierend Auf Ns - Diagrammen. UNIVERSIDADE DE STUTTGART, p. 0-0, 1983.
NUNES, D. J. . Introdução à Abstração de Dados. 1. ed. Bookman, 2012. v. 1. 258p .
Maria Izabel Cavalcanti Cabral ; NUNES, D. J. ; Roberto da Silva Bigonha ; Therezinha Costa ; Flávio Wagner ; José Palazzo M. de Oliveira . A Trajetória dos Cursos da área de Computação e Informática 1969 - 2006. , 2008.
NUNES, D. J. ; CAMARGO, M. S. (Org.) . XIII Simpósio Brasileiro de Engenharia de Software. Florianópolis: , 1999. 445p .
NUNES, D. J. . Anais do I Workshop Brasileiro de Metodos Formais. PORTO ALEGRE - RS: INSTITUTO DE INFORMATICA - UFRGS, 1998. 162p .
NUNES, D. J. . Seminário sobre Avaliação de Cursos de Computação e Informática. Belo Horizonte: SESu/MEC, 1998. 103p .
NUNES, D. J. . MEC/SESU SEMINARIO SOBRE AVALIACAO DE CURSOS DE COMPUTACAO E INFORMATICA. 1. ed. Brasilia: SESU/MEC, 1998. v. 1. 102p .
NUNES, D. J. ; JAHNICHEN, S. (Org.) . PROCEEDINGS OF THE 4TH GERMAN-BRAZILIAN WORKSHOP ON INFORMATION TECHNOLOGY. , 1997. v. 1. 134p .
NUNES, D. J. ; RIBEIRO, Leila ; KORFF, M. . METODOS FORMAIS PARA ESPECIFICAÇÃO. 1. ed. Pelotas: Universidade Federal de Pelotas, 1997. v. 1. 44p .
NUNES, D. J. ; TELICHEVESKY, N. . Introducao A Linguagem Algol B-6700.. 1. ed. Porto Alegre: Editora EMMA, 1990. v. 1. 147p .
NUNES, D. J. . PL/I - FORMAC: INTERPRETADOR DE SÍMBOLOS MATEMÁTICOS. 1. ed. RIO DE JANEIRO: PUC-RJ, 1972. v. 1. 38p .
Araújo, Cristiano Werner ; NUNES, INGRID ; Nunes, Daltro . On the Effectiveness of Bug Predictors with Procedural Systems: A Quantitative Study. Lecture Notes in Computer Science. 1ed.: Springer Berlin Heidelberg, 2017, v. 10202, p. 78-95.
DAHMER, A. ; NUNES, D. J. . Software Engineering and Educational Systems. In: Rosa Maria Viccari. (Org.). A Practical Approach on Modeling Affective and Cognitive knowledge on Agent Based Tutoring Systems. : , 2006, v. , p. -.
NUNES, DALTRO J. . Computação: Diretrizes Curriculares Nacionais. Jornal da Ciência - CNPq, Jornal da Ciência - CNPq, 19 abr. 2017.
NUNES, DALTRO J. . Ciência da Computação na Educação Básica. Jornal da Ciencia - CNPq, 09 set. 2011.
NUNES, D. J. . Computação ou Informática?. Gestão Universitária, 25 ago. 2010.
NUNES, D. J. . Computação ou informática?. Jornal da Ciência, 30 mar. 2010.
NUNES, D. J. ; CURY, H. N. . Matemática: a vilã do vestibular. Jornal da Universidade, UFRGS, 01 fev. 2009.
Nunes, Daltro . Licenciatura em Computação. Jornal da Ciência - CNPq, Brasilia, 30 maio 2008.
NUNES, D. J. . Computacao como Ferramenta para Solução de Problemas: A Divisão do Bolo. Portal de Informações da SBC, 21 maio 2006.
NUNES, D. J. . O Problema das Cotas. Jornal da Ciência, 17 fev. 2006.
NUNES, D. J. . A Falta de Logica na Reforma Universitaria. Jornal da Ciência, 01 fev. 2006.
NUNES, D. J. ; AZEREDO, Paulo Alberto de . Porque somos contra o Provão. Jornal da Ciência, 19 dez. 2005.
NUNES, D. J. . Falta de Aderencia entre a Reforma Universitaria e o Plano Pedagogico do Pais. Gestao Universitária, 11 nov. 2005.
NUNES, D. J. . A Função Social das Instituições de Ensino Superior. Gestão Universitária, 09 mar. 2005.
NUNES, D. J. . A função social das Universidades. JORNAL da CIÊNCIA, p. 9 - 9, 25 fev. 2005.
NUNES, D. J. . Ciclo Básico: Há controvérsias. Jornal da Ciência, 29 jul. 2004.
NUNES, D. J. . Os Super Coordenadores de Cursos. Gestão Universitária, 21 jul. 2004.
NUNES, D. J. . Projetos de Planos Pedagógicos orientados a problemas. Sociendade Brasileira da Computação, 21 jul. 2004.
NUNES, D. J. . A entropia da educacao superior. Gestão Universitária, 14 jun. 2004.
NUNES, D. J. . O novo provão. Jornal da Ciência, 22 dez. 2003.
NUNES, D. J. . Extremismos na avaliação da educação superior. Jornal da Ciência, 24 set. 2003.
NUNES, D. J. . O novo modelo de avaliacao da educação superior. Jornal da Ciência, 12 set. 2003.
NUNES, D. J. . As cotas para negros nas Universidades discriminam os já discriminados. Jornal da Ciência, 13 ago. 2003.
NUNES, D. J. . A contribuição social das instituições de ensino superior. Jornal da Ciência, 22 jul. 2003.
NUNES, D. J. . Sociedade da Informação demanda novo perfil profissional. Associção Brasileira de Mantenetoras do Ensino Superior, 01 maio 2003.
NUNES, D. J. . A expansão do ensino superior, a criatividade dos dirigentes e a qualidade do ensino. Jornal da Ciência, 07 abr. 2003.
NUNES, D. J. . Instituições de ensino Públicas versus Privadas. Jornal da Ciência, 22 mar. 2003.
NUNES, D. J. . Computação como Componente da Formação Interdisciplinar. Jornal da Ciência, 19 mar. 2003.
NUNES, D. J. . As mudancas para pior na avaliacao de cursos de graduacao. Jornal da Ciência, 23 jan. 2003.
NUNES, D. J. . Provão nao contribui para a melhoria da qualidade dos cursos de graduação. Jornal da Ciência, 10 fev. 2002.
ZAPALOWSKI, VANIUS ; NUNES, DALTRO JOSÉ ; NUNES, INGRID . Understanding architecture non-conformance. In: the XXXII Brazilian Symposium, 2018, Sao Carlos. Proceedings of the XXXII Brazilian Symposium on Software Engineering - SBES '18, 2018. p. 22.
SCHMITZ, C. ; ALVES, G. ; ZAPALOWSKI, V. ; NUNES, I. ; NUNES, D. J. . Extracting Implemented Module Dependencies with the ArR Tool. In: Congresso Brasileiro de Software: Teoria e Prática (CBSoft), 2017, Fortaleza. VII Congresso Brasileiro de Software: Teoria e Prática (CBSoft), 2017.
ARAUJO, C. W. ; NUNES, I. ; NUNES, D. J. . On the Effectiveness of Bug Predictors with Procedural Systems: A Quantitative Study. In: International Conference on Fundamental Approaches to Software Engineering, 2017, Uppsala. 20th International Conference, FASE 2017 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017. Berlin: Springer, 2017. v. 10202. p. 78-95.
IMPAGLIAZZO, JOHN ; POW-SANG, JOSE ANTONIO ; TREJOS, IGNACIO ; MEIER, RUSS ; NUNES, DALTRO JOSE . Latin and American perspectives on the computer engineering (CE2016) report. In: 2017 IEEE World Engineering Education Conference (EDUNINE), 2017, Santos. 2017 IEEE World Engineering Education Conference (EDUNINE), 2017. p. 9-13.
NUNES, D. J. ; YAMAGUTI, M. ; NUNES, I. . Refinamento de Competências do Egresso do Curso de Engenharia de Software. In: Fórum de Educação em Engenharia de Software, 2016, Maringá. IX Fórum de Educação em Engenharia de Software (FEES 2016). Porto Alegre: SBC, 2016. p. 143-155.
ZAPALOWSKI, V. ; NUNES, I. ; NUNES, D. J. . ArchViz: a Tool to Support Architecture Recovery Research. In: Congresso Brasileiro de Software: Teoria e Prática (CBSoft), 2014, Maceió. Anais do Congresso Brasileiro de Software: Teoria e Prática 2014 (CBSoft), 2014. v. 2. p. 13-20.
ZAPALOWSKI, V. ; NUNES, I. ; NUNES, D. J. . Revealing the relationship between architectural elements and source code characteristics. In: International Conference on Program Comprehension, 2014, Hyderabad. Proceedings of the 22nd International Conference on Program Comprehension. New York, EUA: ACM, 2014.
RIBEIRO, Leila ; NUNES, DALTRO JOSE ; CRUZ, MARCIA KNIPHOFF DA ; MATOS, ECIVALDO DE SOUZA . Computational Thinking: Possibilities and Challenges. In: 2013 2nd WorkshopSchool on Theoretical Computer Science (WEIT), 2013, Rio Grande. 2013 2nd Workshop-School on Theoretical Computer Science, 2013. p. 22.
TIERNO, IVAN A.P. ; J.NUNES, DALTRO . An Extended Assessment of Data-Driven Bayesian Networks in Software Effort Prediction. In: 2013 27th Brazilian Symposium on Software Engineering (SBES), 2013, Brasilia. 2013 27th Brazilian Symposium on Software Engineering. p. 157.
Pittoli, F ; SOUSA, A. L. R. ; NUNES, D. J. . Investigating the Use of Bayesian Networks as a Support Tool for Monitoring Software Projects. In: The 24 th International Conference on Software Engineering & Knowledge Engineering, 2012, Redwood City, San Francisco Ba. Proceedings of The 24 th International Conference on Software Engineering & Knowledge Engineering, 2012. p. 570-573.
TIERNO, I. A. P. ; NUNES, D. J. . Assessment of Automatically Built Bayesian Networks in Software Effort Prediction. In: Congresso Ibero-Americano em Engenharia de Software, 2012, Buenos Aires. Anais do CIBSE12 - Congresso Ibero-Americano em Engenharia de Software, 2012. p. 196.
SOUSA, A. L. R. ; DERTZBACHER, J. ; TIERNO, I. A. P. ; Birnfeld, K. ; NUNES, D. J. . A Systematic Review of Bayesian Belief Network in Management of Software Development Process. In: Conferencia Latinoamericana de Informática (CLEI), 2011, Quito. XXXVII Conferencia Latinoamericana de Informática, 2011.
NUNES, DALTRO JOSE ; MOREIRA, ALVARO ; RIBEIRO, Leila . Formal Methods at SBES: Evolution and Perspectives. In: 2011 25th Brazilian Symposium on Software Engineering (SBES), 2011, Sao Paulo. 2011 25th Brazilian Symposium on Software Engineering, 2011. p. 1.
DERTZBACHER, JULIANO ; SOUSA, ABRAHAM L.R. DE ; NUNES, DALTRO J. . A Simulation Model for Process-Centered Software Engineering Environments Using Sensitivity Analysis. In: 2011 WorkshopSchool on Theoretical Computer Science (WEIT), 2011, Pelotas. 2011 Workshop-School on Theoretical Computer Science, 2011. p. 74-80.
NEVES, J. ; SOUSA, A. L. R. ; DAHMER, A. ; NUNES, D. J. . Acompanhamento de Projetos de Desenvolvimento de Software através de EVM e ES. In: Conferencia Latinoamericana de Informática (CLEI), 2010, Assunção, Paraguai. XXXVI Conferência Latino-americana de Informática, 2010.
RIBEIRO, Leila ; Foss, L ; da Silva, Bruno Carreiro ; NUNES, D. J. . Model Transformation using Graph Transactions. In: International Conference on Software Reuse, 2009, Falls Church. Proceedings of the 11ht Int'l Conference on Software Reuse, 2009.
da Silva, Bruno Carreiro ; Figueiredo, Eduardo ; Garcial, A ; NUNES, D. J. . On the Support and Application of Macro-Refactorings for Crosscutting Concerns. In: Simpósio Brasileiro de Componentes, Arquiteturas, e Reutilização de Software (SBCARS), 2009, Natal. Proceedings of the 3rd Brazilian Symposium on Software Components, Architectures, and Reuse, 2009.
Figueiredo, Eduardo ; Silva, Bruno ; SANT'ANNA, CLAUDIO ; Garcia, Alessandro ; WHITTLE, JON ; Nunes, Daltro . Crosscutting patterns and design stability: An exploratory analysis. In: 2009 IEEE 17th International Conference on Program Comprehension (ICPC), 2009, Vancouver. 2009 IEEE 17th International Conference on Program Comprehension. p. 138-147.
RIBEIRO, Leila ; Foss, L ; SILVA, Bruno Carrero da ; NUNES, D. J. . Model Transformation Using Graph Transactions. In: ICSR'11 - 11th International Conference on Software Reuse, 2009, Falls Church. Formal Foundations of Reuse and Domain Engineering, 2009. v. 5791. p. 95-105.
Rubbo ; Rodrigo Machado ; MOREIRA, Alvaro Freitas ; RIBEIRO, Leila ; NUNES, D. J. . On the interaction of advices and Raw types in AspectJ. In: Simpósio Brasileiro de Linguagem de Programação (SBLP), 2008, Fortaleza. XII Brazilian Symposium on Programming Languages, 2008.
BACKES, Jeronimo ; NUNES, D. J. . Rastreabilidade Semi-Automática Através do Mapeamento de Entidades. In: Simpósio Brasileiro de Engenharia de Software (SBES), 2008, Campinas. XXII Simpósio Brasileiro de Engenharia de Software, 2008.
SILVA, Bruno Carrero da ; Eduardo Figueiredo ; Alessandro Garcia ; NUNES, D. J. . Refactoring of Crosscutting Concerns with Metaphor-Based Heuristics. In: International Workshop on Software Quality and Maintainability (SQM), 2008, Athens - Greece. 2nd International Workshop on Software Quality and Maintainability, 2008.
Rubbo ; PIVETA, E. K. ; NUNES, D. J. . Inference Rules for Generic Code Migration of Aspect-Oriented Programs. In: Simpósio Brasileiro de Linguagem de Programação (SBLP), 2008, Gramado. XIII Brazilian Symposium on Programming Languages, 2008.
SILVA, Bruno Carrero da ; NUNES, D. J. . Refatoração de Modelos Orientados a Aspectos. In: In: Workshop de Teses e Dissertações em Engenharia de Software, 2007, João Pessoa. XII Workshop de Teses e Dissertações em Engenharia de Software., 2007. v. 1. p. 39-45.
PAGLIARI, Luiza Figueredo ; NUNES, D. J. . Um Processo Para Avaliação Quantitativa de Refatorações de Software. In: Jornadas Peruanas de Computación, 2007, Trujillo. VI Jornadas Peruanas de Computación, JPC, 2007, 2007.
GARCIA JR, Paulo Roberto ; NUNES, D. J. . Modelo para mensuração em ambiente de engenharia de software centrado. In: Simpósio Brasileiro de Sistemas de Informação, 2006, Curitiba. Simpósio Brasileiro de Sistemas de Informação, 2006.
FREITAS, Ana Vitoria Piaggio de ; MAIA, Anderson Baia ; SCHLEBBE, Heribert ; NUNES, D. J. . A Distributed Software Process Management Environment. In: XIII Sessão de Ferramentas do SBES do Simpósio Brasileiros de Engenharia de Software, 2006, Florianópolis. Anais da XIII Sessão de Ferramentas, 2006.
DAHMER, A. ; VICARI, Rosa Maria ; NUNES, D. J. . Processo de Curso: Uma Abordagem para EaD Baseada na Tecnologia. In: Simpósio Brasileiro de Informática na Educação, 2006, Brasilia. Anais do XVII Simpósio Brasileiro de Informática na Educação. Brasilia, 2006.
GARCIA JR, Paulo Roberto ; NUNES, D. J. . APSEE-Metrics: um modelo para mensuração em processos de software.. In: II COLÓQUIO DE PESQUISA E PÓS-GRADUAÇÃO DO UNIRITTER, 2006, Porto Alegre. ANAIS SEPESQ 2006, 2006.
DAHMER, A. ; VICCARI, Rosa Maria ; NUNES, Daltro José ; NUNES, D. J. . A Proposal of Criteria for Evaluation of Distance Education Courses. In: International Conference on Web-based Education (WBE 2005), 2005, Grindelwald. Proceedings of the Fourth IASTED International Conference on Web-based Education. Calgary: ACTA Press, 2005. v. 1. p. 481-485.
DAHMER, A. ; VICCARI, Rosa Maria ; NUNES, Daltro José ; NUNES, D. J. . Critérios para Avaliação de Cursos em Educação a Distância. In: Global Congress on Engineering and Technology Education (GCETE'2005), 2005, Santos. Proceedings of Global Congress on Engineering and Technology Education, 2005. v. 1.
MAIA, Anderson Baia ; FREITAS, Ana Vitoria Piaggio de ; NUNES, D. J. ; STEINMACHER, Igor Fábio . Componentes de um Modelo para Adaptação de Processos de Software. In: X Congreso Argentino de Ciencias de la Computación- I Workshop de Ingeniería de Software, 2004, Buenos Aires. Anais do X Congreso Argentino de Ciencias de la Computación, 2004. v. 1. p. 155-160.
FREITAS, Ana Vitoria Piaggio de ; MAIA, Anderson Baia ; NUNES, D. J. . Gerenciamento da Integração entre Processos de Software no APSEE-Integrate. In: 30a CLEI - Conferência Latino Americana de Informática, 2004, Arequipa. Anais da 30a Conferência Latino Americana de Informática, 2004. v. 1. p. 620-631.
MAIA, Anderson Baia ; FREITAS, Ana Vitoria Piaggio de ; NUNES, D. J. . Um Modelo para Auxiliar a Adaptação de Processos de Software. In: IV Congresso Brasileiro de Computação, 2004, Itajaí. Anais do IV Congresso Brasileiro de Computação, 2004. v. 1. p. 155-160.
ABREU, Marcelo Mariante de ; SCHLEBBE, Heribert ; REIS, Carla Alessandra Lima ; REIS, Rodrigo Quites ; NUNES, D. J. . APSEE: Uma abordagem integrada para automação da gerência do Processo de Software. In: Sessão de Ferramentas do 17o. Simpósio Brasileiro de Engenharia de Software, 2003, Manaus-AM. Anais da Sessão de Ferramentas do 17o. Simpósio Brasileiro de Engenharia de Software. Manaus: Universidade Federal do Amazonas, 2003. v. 1. p. 91-96.
SEGANFREDO, Eduardo ; GATTO, Rodrigo ; FUZITAKI, Claudio Naoto ; MENEZES, Paulo Fernando Blauth ; NUNES, D. J. . An Outline to a Diagrammatic Nautilus Environment. In: 2003 International Conference on Parallel and Distributed Processing Techniques and Applications, 2003, Las Vegas - USA. Proceedings of PDPTA 2003. Las Vegas, 2003. v. 1.
FREITAS, Ana Vitoria Piaggio de ; MAIA, Anderson Baia ; NUNES, D. J. . Um Modelo para Interação entre Processos de Software. In: IV Congresso Brasileiro de Computação, 2003, Itajaí. Anais do IV Congresso Brasileiro de Computação, 2004. v. 1. p. 149-154.
REIS, Rodrigo Quites ; REIS, Carla Alessandra Lima ; YAMIN, A. ; AUGUSTIN, I. ; NUNES, D. J. ; GEYER, C. F. R. . Towards a software process model to support the design of Mobile computing applications. In: 6th World Conference on Integrated Design and Process Technology, 2002, Pasadena, California, 2002. v. 1.
REIS, Rodrigo Quites ; REIS, Carla Alessandra Lima ; SCHLEBBE, Heribert ; NUNES, D. J. . APSEE-Reuse: Automated Support for Software Process Reuse. In: 5o. Workshop Iberoamericano de Ingeniería de Requisitos y Ambientes Software, 2002, Havana, 2002. v. 1.
REIS, Carla Alessandra Lima ; REIS, Rodrigo Quites ; ABREU, Marcelo Mariante de ; NUNES, D. J. . APSEE: Um Modelo Formal e Flexível para Execução de Processos de Software. In: 5o. Workshop Iberoamericano de Ingeniería de Requisitos y Ambientes Software, 2002, Havana, 2002. v. 1.
REIS, Carla Alessandra Lima ; REIS, Rodrigo Quites ; SCHLEBBE, Heribert ; NUNES, D. J. . Resource Instantiation Policies for Software Process Environments. In: 26th Annual International Computer Software and Applications Conference (COMPSAC'02), 2002, Oxford. 26th Annual International Computer Software and Applications Conference (COMPSAC'02), 2002. v. 1.
REIS, Carla Alessandra Lima ; REIS, Rodrigo Quites ; SCHLEBBE, Heribert ; NUNES, D. J. . A Policy-based Resource Instantiation Mechanism to Automate Software Process Management. In: Workshop on Software Engineering Decision Support (SEDECS'2002), 2002, Ischia. The 14th Software Engineering & Knowledge Engineering (SEKE) Conference, 2002. v. 1.
REIS, Rodrigo Quites ; REIS, Carla Alessandra Lima ; SCHLEBBE, Heribert ; NUNES, D. J. . Early Experiences on Promoting Explicit Separation of Details to Improve Software Processes Reusability. In: 26th Annual International Computer Software and Applications Conference (COMPSAC'02), 2002, Oxford. 26th Annual International Computer Software and Applications Conference (COMPSAC'02), 2002. v. 1.
REIS, Rodrigo Quites ; REIS, Carla Alessandra Lima ; SCHLEBBE, Heribert ; NUNES, D. J. . Towards an Aspect-Oriented Approach to Improve the Reusability of Software Process Models. In: International Workshop on Early Aspects: Aspect-Oriented Requirements Engineering and Architecture Design, 2002, Enschede. 1st Int'l. Conference on Aspect-Oriented Software Development, 2002. v. 1.
REIS, Carla Alessandra Lima ; REIS, Rodrigo Quites ; ABREU, Marcelo Mariante de ; SCHLEBBE, Heribert ; NUNES, D. J. . Flexible Software Process Enactment Support in the APSEE Model. In: IEEE CONFERENCE SERIES ON HUMAN-CENTRIC COMPUTING LANGUAGES AND ENVIRONMENTS, 2002, Arlington. IEEE Conference series on Human-Centric Computing Languages, 2002. v. 1.
REIS, C. A. L. ; REIS, Rodrigo Quites ; ABREU, Marcelo Mariante de ; SCHLEBBE, Heribert ; NUNES, D. J. . Using Graph Transformation as the Semantical Model for Software Process Execution in the APSEE Environment. In: International Conference on Graph Transformation, 2002, Barcelona. First International Conference, ICGT 2002, 2002. p. 254-269.
REIS, Carla Alessandra Lima ; REIS, Rodrigo Quites ; SCHLEBBE, Heribert ; NUNES, D. J. . A abordagem APSEE para modelagem e gerência de Recursos em ambientes de processos de software. In: SBES2001 - Simpósio Brasileiro de Engenharia de Software, 2001, Rio de Janeiro. SBC, 2001. v. 1. p. 68-83.
REIS, Rodrigo Quites ; REIS, Carla Alessandra Lima ; NUNES, D. J. . APSEE-StaticPolicy: Verificacao de Políticas Estáticas em Modelos de Processos de software. In: SBES2001 - Simpósio Brasileiro de Engenharia de Software, 2001, Rio de Janeiro. SBC, 2001. v. 1. p. 52-67.
REIS, Rodrigo Quites ; REIS, Carla Alessandra Lima ; NUNES, D. J. . Automated Support for Software Process Reuse: Requirements and Early Experiences with the APSEE model. In: CRIWG - 7th International Workshop on Groupware, 2001, Darmstadt. IEEE Press, 2001. v. 1. p. 50-55.
REIS, Carla Alessandra Lima ; REIS, Rodrigo Quites ; NUNES, D. J. . APSEE: Uma Abordagem Integrada para Automação de Processos de Software. In: Simposio Brasileiro de Automação Inteligente, 2001, Canela - RS. Anais do V Simposio Brasileiro de Automação Inteligente, 2001. v. 1. p. 50-62.
SOUSA, A. L. R. ; REIS, Carla Alessandra Lima ; REIS, Rodrigo Quites ; NUNES, D. J. ; PIMENTA, Marcelo Soares . Analisando a Interação de Gerentes e Desenvolvedores em ambientes de processos de software. In: I Workshop Chileno de Engenharia de Software, 2001, Punta Arenas. Anais do I Workshop Chileno de Engenharia de Software, 2001. v. 1. p. 40-51.
NUNES, I. D. ; REIS, Carla Alessandra Lima ; REIS, Rodrigo Quites ; NUNES, D. J. . Componentes de percepção para o ambiente PROSOFT cooperativo. In: Encuentro Chileno de Computación 2001, 2001, Punta Arenas - Chile. Anais do Encuentro Chileno de Computación 2001, 2001. v. 1. p. 70-83.
REIS, Carla Alessandra Lima ; REIS, Rodrigo Quites ; SILVA, F. A. D. ; NUNES, D. J. . SimAgentProcess: Uma ferramenta para simulação de processos de software baseada em conhecimento. In: WORKSHOP IBERO AMERICANO DE ENGENHARIA DE REQUISITOS E AMBIENTES DE SOFTWARE, 2000, Cancun. Proceedings, 2000.
REIS, Carla Alessandra Lima ; REIS, Rodrigo Quites ; NUNES, D. J. . Evolução do ambiente PROSOFT para apoiar aspectos de distribuição, cooperação e automação de processos dedesenvolvimento de software. In: IDEAS'00 - 3o. WORKSHOP IBERO-AMERICANO DE ENGENHARIA DE REQUISITOS E AMBIENTES DE SOFTWARE, 2000, Cancun. Proceedings, 2000.
NUNES, I. D. ; NUNES, D. J. ; REIS, Carla Alessandra Lima ; REIS, Rodrigo Quites . Classificação e Avaliação da Interação Humana em Editores Cooperativos Síncronos. In: International Symposium on Knowledge Management / Document Management - ISKM/DM 2000, 2000, Curitiba-PR, 2000.
SILVA, F. A. D. ; REIS, Carla Alessandra Lima ; REIS, Rodrigo Quites ; NUNES, D. J. . Um Modelo de Simulação de Processos de Software baseado em Agentes Cooperativos. In: SIMPOSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE, 1999, FLORIANÓPOLIS - SC, 1999.
REIS, Carla Alessandra Lima ; REIS, Rodrigo Quites ; NUNES, D. J. . Dynamic Software Process Manager For The Prosoft Software Engineering Environment. In: SOST98 - SYMPOSIUM ON SOFTWARE TECHNOLOGY, 1998, BUENOS AIRES, ARGENTINA. BUENOS AIRES, ARGENTINA, 1998.
REIS, Carla Alessandra Lima ; REIS, Rodrigo Quites ; NUNES, D. J. . Gerenciamento do Processo de Desenvolvimento Cooperativo de Software No Ambiente Prosoft. In: SBES'98 - XII SIMPOSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE, 1998, Maringá-PR. MARINGÁ, PR - BRASIL, 1998.
REIS, Carla Alessandra Lima ; NUNES, D. J. ; REIS, Rodrigo Quites . A Synchronous Cooperative Architecture For The Prosoft Software Engineering Environment. In: IV Congresso Argentino de Ciencias de la Computacion - CACIC'98, 1998. ANAIS. Neuquén - Argentina.
MORAES, S. M. W. ; NUNES, D. J. . Um Ambiente Expert Para O Apoio Ao Desenvolvimento de Software. In: CONGRESO ARGENTINO DE CIENCIAS DE LA COMPUTACION, 1998. CONGRESO ARGENTINO DE CIENCIAS DE LA COMPUTACION. NEUQUEN - ARGENTINA. v. 1. p. 171-180.
MENEZES, Paulo Fernando Blauth ; DIVERIO, T. ; RIBEIRO, Leila ; NUNES, D. J. ; RODRIGUES, V. M. ; TOSCANI, L. V. . Desenvolvimento da Area Formal da Computacao No Instituto de Informatica da Ufrgs. In: I WORKSHOP BRASILEIRO DE METODOS FORMAIS, 1998, PORTO ALEGRE-RS. ANAIS DO I WORKSHOP BRASILEIRO DE METODOS FORMAIS. PORTO ALEGRE-RS, 1998. v. 1. p. 1-12.
NUNES, D. J. . Fluxo de Informação do Processo de Avaliação. In: Seminário sobre avaliação de cursos de computação e informática, 1998, Belo Horizonte. Anais, 1998. p. 1-7.
REIS, Rodrigo Quites ; REIS, Carla Alessandra Lima ; NUNES, D. J. . Cooperative Software Development And The Prosoft Environment. In: XII INTERNATIONAL SYMPOSIUM ON COMPUTER AND INFORMATION SCIENCES, 1997. ANTALYA, TURQUIA.
REIS, Carla Alessandra Lima ; REIS, Rodrigo Quites ; NUNES, D. J. . Suporte A Execucao do Processo de Software No Prosoft. In: SOST'97 - SYMPOSIUM ON SOFTWARE TECHNOLOGY, 1997, Buenos Aires. BUENOS AIRES, ARGENTINA, 1997.
NUNES, D. J. . Ambientes de Desenvolvimento de Software. In: WORKSHOP SOBRE METODOS FORMAIS E QUALIDADE DE SOFTWARE, 1997. WORKSHOP SOBRE METODOS FORMAIS E QUALIDADE DE SOFTWARE. PORTO ALEGRE - RS - BRASIL.
NUNES, D. J. ; HARTMUT, E. ; BARDOHL, R. ; CASTRO, P. ; GUNZENHAUSER, R. . GRAPHIT: GRAPHICAL SUPPORT AND INTEGRATION OF FORMAL AND SEMI-FORMAL METHODS FOR SOFTWARE SPECIFICATION AND DEVELOPMENT. In: IV German-Brazilian Workshop on Information Technology, 1997, Porto Alegre/Berlin, 1997. p. 51-58.
MARTINS, J. ; WASLAWICH, R. ; NUNES, D. J. . Adaptando A Semantica Denotacional Para O Desenvolvimento de Aplicacoes. In: SIMPOSIO BRASILEIRO DE LINGUAGENS DE PROGRAMACAO, 1996. MINAS GERAIS, BRASIL.
MARTINS, J. ; NUNES, D. J. . Adequando A Semantica Denotacional e A Orientacao A Objetos Para O Desenvolvimento de Aplicacoes. In: VI SEMANA DE INFORMATICA DA UFBA, 1996. SALVADOR - BA - BRASIL.
VERA, A. C. ; NUNES, D. J. . An Introduction To Lop- A Unified Approach To Algebraic Specification, Process And Object- Orientation. In: INFORMATION SYSTEM ANALYSIS AND SYNTHESIS, 1995. BADEN-BADEN, ALEMANHA.
NUNES, D. J. . Um Estudo Sobre Estrutura Curricular do Curso de Graduacao Em Ciencia da Computacao/Informatica/Engenharia de Computacao. In: CONGRESSO DA SBC, 1993. WORKSHOP SOBRE EDUCACAO EM COMPUTACAO/INFORMATICA, 1.. FLORIANOPOLIS - SC.
ORTH, A. I. ; NUNES, D. J. . O Poder da Interface do Usuario No Aprendizado e Uso de Um Produto de Software. In: IV SBIE, 1993. SIMPOSIO BRASILEIRO DE INFORMATICA NA EDUCACAO, 4.. RECIFE-PE.
NUNES, D. J. . Ambientes de Desenvolvimento de Software. In: WORKSHOP NACIONAL SOBRE PROJETOS COOPERATIVOS - PROTEM, 1993. WORKSHOP NACIONAL SOBRE PROJETOS COOPERATIVOS - PROTEM. BRASILIA - DF.
RIBEIRO, Leila ; KORFF, M. ; PADBERG, J. ; NUNES, D. J. ; BARDOHL, R. ; CASTRO, P. . Graphical Support And Integration Of Formal And Semi-Formal Methods For Software Specification And Development. In: WORKSHOP ON INFORMATION TECHNOLOGY, 1993. PROCEEDINGS OF WORKSHOP ON INFORMATION TECHNOLOGY. N, 1993.
NUNES, D. J. . Estrategia Data-Driven No Desenvolvimento de Software. In: SBC, 1992. SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE. GRAMADO-RS.
ORTH, A. I. ; NUNES, D. J. . A Personalizacao de Interfaces do Usuario Usando Tecnicas de Programacao Neurolinguistica. In: JORNADAS ARGENTINAS DE INFORMATICA E INVESTIGACIÓN OPERATIVAS, 1992. JORNADAS ARGENTINAS DE INFORMATICA E INVESTIGACIÓN OPERATIVAS. BUENOS AIRES.
ORTH, A. I. ; NUNES, D. J. . A Aproximacao Homem-Maquina Na Tentativa de Uma Comunicacao Eficaz. In: CONGRESSO DA SBC, 1992. SIMPOSIO BRASILEIRO DE INFORMATICA NA EDUCACAO, 3.. RIO DE JANEIRO-RJ.
NUNES, D. J. . Um Ambiente de Desenvolvimento de Software Orientado A Modelos. In: JORNADA DE TRABALHO DO GRUPO DE SISTEMAS DE INFORMACAO, 1990. ANAIS DA JORNADA DE TRABALHO DO GRUPO DE SISTEMAS DE INFORMACAO. PORTO ALEGRE. p. 12-15.
NUNES, D. J. . Um Ambiente de Desenvolvimento de Software Orientado A Modelos - Prosoft. In: SIMPOSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE, 1990. SIMPOSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE. AGUAS DE SAO PEDRO. p. 277-280.
ORTH, A. I. ; NUNES, D. J. . How Can You Customize The User Interface In An Effective Manner. In: ENCONTRO MEXICANO DE INFORMATICA, 1990. ENCONTRO MEXICANO DE INFORMATICA. MEXICO.
NUNES, D. J. . Requisitos de Ambientes de Engenharia de Software. In: SIMPOSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE, 1987, Rio de Janeiro. SIMPOSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE, 1987. p. 83-92.
NUNES, D. J. ; TEIXEIRA, S. . Sdm - A Syntax - Directed Macro Processor.. In: ASILOMAR CONFERENCE ON CIRCUITS AND SYSTEMS, PACIFIC GROVEM, 1972. ASILOMAR CONFERENCE ON CIRCUITS AND SYSTEMS, PACIFIC GROVEM, 1972.
NUNES, D. J. . Pl/1 - Formac: Interpretador de Simbolos Matematicos. In: SIMPOSIO SOBRE FISICA E COMPUTACAO, 1972. SIMPOSIO SOBRE FISICA E COMPUTACAO, 1972.
SILVA, Bruno Carrero da ; SOUSA, A. L. R. ; NUNES, D. J. . Towards Aspect-Oriented Model Refactoring. In: I Latin-American Workshop on Aspect-Oriented Software Development, 2007, João Pessoa. I Latin-American Workshop on Aspect-Oriented Software Development., 2007. v. 1. p. 184-184.
NUNES, D. J. ; RHEINHEMER, L. ; DUTRA, L. ; ALVES, R. . PROSOFT: PROJETO DE AMBIENTE DE DESENVOLVIMENTO DE SOFTWARE. In: 10o. Salão de Iniciação Científica, 1998, Porto Alegre, 1998. p. 78-78.
NUNES, D. J. . O que é Ciência da Computação. 2018. (Apresentação de Trabalho/Outra).
NUNES, D. J. . As relações entre Computação e Computador. 2018. (Apresentação de Trabalho/Simpósio).
NUNES, D. J. . A Importância da Computação Teórica nos Cursos de Computação. 2017. (Apresentação de Trabalho/Seminário).
NUNES, D. J. . Computação na Educação Básica. 2017. (Apresentação de Trabalho/Outra).
NUNES, D. J. . Autoavaliação Institucional e a experiência da Universidade Federal do Rio Grande do Sul (UFRGS). 2016. (Apresentação de Trabalho/Conferência ou palestra).
NUNES, D. J. . What Computer Science Is. 2016. (Apresentação de Trabalho/Conferência ou palestra).
NUNES, D. J. . Autoavaliação Institucional como Ferramenta para Melhoria da Qualidade. 2016. (Apresentação de Trabalho/Outra).
NUNES, D. J. . O que é Ciência da Computação. 2016. (Apresentação de Trabalho/Conferência ou palestra).
NUNES, D. J. . O que é Ciência da Computação. 2016. (Apresentação de Trabalho/Outra).
NUNES, D. J. . As relações entre Computação e Computador. 2016. (Apresentação de Trabalho/Seminário).
NUNES, D. J. ; PHILLIPI JUNIOR, A. ; TAVARES, C. R. G. . Painel: A Importância da Integração Ensino, Pesquisa e Extensão na Avaliação Institucional. 2016. (Apresentação de Trabalho/Conferência ou palestra).
NUNES, D. J. . Autoevaluación Institucional. 2015. (Apresentação de Trabalho/Seminário).
NUNES, D. J. . Sociedade da Informação. 2012. (Apresentação de Trabalho/Conferência ou palestra).
NUNES, D. J. ; ANIDO, R. . Grupo de Trabalho Sobre Diretrizes Curriculares 1998 (Relatório).
NUNES, D. J. . EXTENDED ALGOL LANGUAGE. Porto Alegre: UFRGS, 1974 (APOSTILA).

Outras produções

REIS, Carla Alessandra Lima ; SCHLEBBE, Heribert ; REIS, Rodrigo Quites ; ABREU, Marcelo Mariante de ; NUNES, D. J. . PROSOFT-APSEE - Ambiente de Desenvolvimento de Software Centrado em Processos. 2003.

NUNES, D. J. . Sistema para cadastramento dos periódicos da Biblioteca Central da UFRGS. 1970.

NUNES, D. J. . sistema para correção do Vestibular da Faculdade de Arquitetura da UFRGS. 1970.

NUNES, D. J. . Sistema de Pagamento de Pessoal da UFRGS. 1970.

NUNES, D. J. . Sistema de Administração Escolar da Escola de Engenharia da UFRGS. 1968.

NUNES, D. J. ; SILVA, F. A. D. . ESTUDO DA EXECUCAO, VALIDACAO E SIMULACAO DE PROCESSOS DE SOFTWARE. 1999.

NUNES, D. J. ; REIS, Rodrigo Quites . UMA AVALIACAO DOS PARADIGMAS DE LINGUAGENS DE PROCESSOS DE SOFTWARE. 1999.

REIS, Carla Alessandra Lima ; NUNES, D. J. . ESTUDO DA UTILIZACAO DE TECNICAS DE INTELIGENCIA ARTIFICIAL NA TECNOLOGIA DE PROCESSOS DE SOFTWARE. 1999.

NUNES, D. J. ; PRETZ, E. N. . ESTUDO SOBRE METODOS E AMBIENTES DE ESPECIFICACAO PARA GRAMATICAS DE GRAFOS. 1999.

SOUSA, A. L. R. ; REIS, Carla Alessandra Lima ; REIS, Rodrigo Quites ; NUNES, D. J. . Interação humana durante execução de processos de software: Classificação e Exemplos. 2001 (RELATORIO) .

REIS, Rodrigo Quites ; REIS, Carla Alessandra Lima ; NUNES, D. J. . APSEE-StaticPolicy: Sintaxe, semântica algébrica e exemplos de uma linguagem para verificação automática de políticas estáticas em modelos de processos de software.. 2001 (RELATORIO) .

PIZZOL, A. D. ; NUNES, D. J. . Sintaxe e Semantica Abstrata de Uma Linguagem de Programacao de Processos de Software No Prosoft. 1997 (RESUMO) .

BALSEMAO, L. ; NUNES, D. J. . Modelo Para Auxílio No Desenvolvimento de Software Segundo O Paradigma do Prosoft Com O Uso da Tecnologia de Hipermidia. 1996 (RESUMO) .

REIS, Carla Alessandra Lima ; NUNES, D. J. . Suporte A Modelagem do Processo de Software No Prosoft. 1996 (RESUMO) .

MARTINI, A. ; HARTMUT, E. ; NUNES, D. J. . Graph Grammars - An Introductin To The Double-Pushout Approach. 1996 (RELATORIO) .

NUNES, D. J. ; VERA, A. C. ; PIMENTA, A. . Uma Ferramenta de Apoio A Reutilizacao de Software Para O Prosoft. 1996 (RESUMO) .

REIS, Rodrigo Quites ; NUNES, D. J. . Uma Proposta de Suporte A Cooperacao No Ambiente Prosoft. 1996 (RESUMO) .

Projetos de pesquisa

2014 - Atual

Desenvolvendo Agentes BDI Efetivamente com uma Abordagem Dirigida a Modelos, Descrição: Sistemas multi-agentes compostos por agentes cognitivos é uma abordagem promissora para resolver problemas atuais em diferentes domínios, que envolvem sistemas cada vez mais autônomos e pró-ativos. Um dos modelos mais amplamente utilizados para o desenvolvimento de agentes cognitivos é o modelo BDI (do inglês, belief-desire-intention). Uma de suas principais vantagens é a flexibilidade de se escolher entre diferentes planos para atingir um objetivo e, para alcançar este benefício, algoritmos especializados devem ser selecionados. Apesar de diversas técnicas terem sido propostas abordando o processo de seleção de planos --- bem como outros aspectos de agentes BDI --- elas exigem muitas customizações e adaptações para ser usadas em aplicações específicas, exigindo conhecimento especialista para serem adotadas, o que é uma verdadeira barreira para a adoção em larga escala desse tipo de tecnologia de agentes. Neste projeto, propõe-se uma abordagem baseada em modelos que permite a modelagem de agentes BDI instanciados de um modelo BDI estendido, que omite detalhes de implementação permitindo o seu uso por desenvolvedores de software mainstream. Instâncias deste modelo serão então utilizadas para a geração automática de código fonte de agentes com capacidades cognitivas avançadas como, por exemplo, a seleção de um plano adequado de acordo com um dado contexto. Este projeto será desenvolvido por pesquisadores e alunos de pós-graduação do Programa de Pós-graduação da UFRGS juntamente com pesquisadores da King's College London.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Daltro José Nunes - Integrante / Ingrid Nunes - Coordenador.
2013 - Atual

Sistemas de Recomendação baseados em Linguagem de Preferências de Alto Nível, Descrição: Sistemas de recomendação consistem de ferramentas e técnicas de software que fornecem sugestões de opções ou itens para usuários. As sugestões fornecidas visam dar suporte aos usuários em uma série de processos de tomada de decisão, tais como: quais produtos comprar, qual música escutar ou quais notícias ler. Sistemas de recomendação mostraram ter um grande valor para usuários da web lidarem com a abundância de informação e têm sido uma das ferramentas mais poderosas e populares no comércio eletrônico. Este projeto tem por objetivo dar continuidade a um trabalho que vem sendo realizado no contexto de sistemas de recomendação que utilizam linguagens de preferência de alto nível, os quais permitem que usuários utilizem sentenças próximas à linguagem natural para se expressarem. Visa-se endereçar limitações identificadas em trabalhos existentes, principalmente relacionadas ao processo de elicitação das preferências e interações dos usuários com o sistema. Também, visa-se melhorar as decisões feitas pelo sistema utilizando abordagens que dêem melhor suporte às expressões de alto nível da linguagem, como a lógica fuzzy. Por fim, um protótipo realístico será construído a fim de facilitar a instanciação de sistemas de recomendação baseados nas abordagens propostas para diferentes domínios de aplicação.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Daltro José Nunes - Integrante / Ingrid Nunes - Coordenador.
2007 - 2008

Investigando o processo de desenvolvimento de software através da simulação de sistemas dinâmicos., Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (0) / Doutorado: (1) . , Integrantes: Daltro José Nunes - Coordenador / Abraham Lincoln Rabelo de Sousa - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul - Bolsa.
2002 - 2004

PROSOFT- APSEE: Integração de Ferramentas para Gerência do Processo de Desenvolvimento de Software, Descrição: O objetivo principal deste projeto é o desenvolvimento tecnológico-científico da área de Engenharia de Software, no que concerne à gerência do processo de desenvolvimento de software. As extensões propostas resultarão em um novo ambiente chamado PROSOFT-APSEE. Nesse contexto, o projeto envolverá estudantes, professores e pesquisadores na construção e avaliação de novos mecanismos de gerência de processos de software que poderão ser utilizados na indústria nacional.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (6) / Especialização: (0) / Mestrado acadêmico: (4) / Mestrado profissional: (0) / Doutorado: (2) . , Integrantes: Daltro José Nunes - Coordenador / Rodrigo Quites Reis - Integrante / Abraham Lincoln Rabelo de Sousa - Integrante / Carla Alessandra Lima Reis - Integrante / Alessandra Dahmer - Integrante / Luis André Martins - Integrante / Guilherme Salum Rangel - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 8
2002 - 2004

APSEE-MONITOR: Um Mecanismo de Apoio a Visualização de Processos de Software, Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) / Doutorado: (2) . , Integrantes: Daltro José Nunes - Coordenador / Rodrigo Quites Reis - Integrante / Abraham Lincoln Rabelo de Sousa - Integrante / Carla Alessandra Lima Reis - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul - Auxílio financeiro.
2001 - 2003

projeto GRAPHIT - Graphical Support and Integration of Formal and Semi-Formal Methods for Software Specification and Development (edital de Cooperação Internacional Brasil-Alemanha CNPq/DLR em 2001)., Situação: Concluído; Natureza: Pesquisa. , Integrantes: Daltro José Nunes - Coordenador., Financiador(es): CNPq - Cooperação / Não informado / Deutsche Forschungsanstalt für Luft-und - Cooperação.
1989 - 2001

Convenio com a Alemanha, Alexander Von Humbold Stiftung, para desenvolvimento de pesquisas científicas em Engenharia de Software., Descrição: V - 8151/88036.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Daltro José Nunes - Coordenador.
1989 - 1991

Convênio UFRGS/FINEP, Descrição: Nº 5.2.89.02444.00 (Portaria 2237/89). , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Daltro José Nunes - Coordenador.
1988 - 1990

Convênio UFRGS/FINEP, Descrição: nº 52.88.0756.00 (Portaria 2531/88). , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Daltro José Nunes - Coordenador.
1982 - 1985

Computer Aided Software Design- CASD., Descrição: Convênio UNI-Stuttgart-Hewlett-Packard.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Daltro José Nunes - Coordenador.
1980 - 1982

Pesquisa em Ciência da Computação- UFRGS".Contrato, Descrição: FINEP/B/76/81/152/00/00.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Daltro José Nunes - Coordenador.
1978 - 1980

Pesquisa em Ciência da Computação - UFRGS"., Descrição: Contrato FINEP/524/CT.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Daltro José Nunes - Coordenador.
1976 - 1978

Convênio firmado com a FINEP, Descrição: (Portaria 1344/76). , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Daltro José Nunes - Coordenador.
1975 - 1977

Sistema de Entrada de Dados",, Descrição: contrato FINEP/IF/343/CT.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Daltro José Nunes - Coordenador.
1975 - 1977

Ligação dos Computadores B-6700 e IBM 1130 para uso em RJE", Descrição: Ligação dos Computadores B-6700 e IBM 1130 para uso em RJE". , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Daltro José Nunes - Coordenador.
1973 - 1976

Pesquisa em Ciência da Computação., Descrição: Contrato BNDE/FUNTEC/205.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Daltro José Nunes - Coordenador.

Prêmios

2023

PROFESSOR EMÉRITO, UNIVERSIDADE FEDERAL DO RIO GRANDE DO SUL.

2011

Prẽmio Newton Faller, Sociedade Brasileira de Computação.

2011

Reconhecimento, UFRGS.

2010

Contribuição Relevante para Criação e Consolidação da Engenharia de Software no Brasil, Comissão Especial de Engenharia de Software.

2009

Homenagem pelos 75 anos da UFRGS, UFRGS.

2008

Prêmio SUCESU-RS 40 anos, SUCESU.

2004

Profesor Honorario, Universidad Privada Antenor Orrego -Trujillo/Peru.

2004

Professor Homenagiado, Curso de Qualidade da SBC.

1969

Certificado de Honra ao Mérito, Centro Academico da Escola de Engenharia da UFRGS - CEUE.

Histórico profissional

Endereço profissional

Universidade Federal do Rio Grande do Sul, Instituto de Informática, Departamento de Informática Aplicada. , Av. Bento Gonçalves 9500. Bloco IV., AGRONOMIA, 91501970 - Porto Alegre, RS - Brasil - Caixa-postal: 15064, Telefone: (51) 33084073, Fax: (51) 33191576, URL da Homepage:

Experiência profissional

1970 - Atual

Universidade Federal do Rio Grande do Sul

Vínculo: , Enquadramento Funcional: Professor Titular Convidado, Carga horária: 40, Regime: Dedicação exclusiva.

Outras informações:
Em 1970 - Analista de Sistemas De 1971 a 1972 - Professor Especialista De 1972 a - : Professor Assistente De - a 1996: Professor Adjunto De 1996 a 2013: Professor Titular De 2013 a - : Professor Titular Convidado

2012 - 2016

Universidade Federal do Rio Grande do Sul

Vínculo: Colaborador, Enquadramento Funcional: Secretario de Avaliação Institucional

Atividades

08/2012
Direção e administração, Secretaria de Avaliação Institucional (SAI).Cargo ou função, Secretário de Avaliação Institucional.
05/2006
Conselhos, Comissões e Consultoria, Secretaria de Avaliação Institucional (SAI).Cargo ou função, Membro da Comissão Própria de Avaliação - CPA.
01/2004
Conselhos, Comissões e Consultoria, Universidade Federal do Rio Grande do Sul.Cargo ou função, Membro do Conselho Deliberativo do Instituto Laltino-Americano de Estudos Avançados - ILEA.
06/1986
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, Estruturas de Dados, Especificação Formal
01/1973
Ensino, Computação, Nível: Pós-GraduaçãoDisciplinas ministradas, Métodos Formais, Semântica Formal
01/1971
Pesquisa e desenvolvimento, Instituto de Informática, Departamento de Informática Aplicada.Linhas de pesquisa
05/2012 - 11/2012
Conselhos, Comissões e Consultoria, Conselho Universitario.Cargo ou função, Representante Docente.
07/2012 - 08/2012
Direção e administração, Reitoria.Cargo ou função, Reitor.
05/2006 - 05/2008
Conselhos, Comissões e Consultoria, Universidade Federal do Rio Grande do Sul.Cargo ou função, Membro Representante Docente no Conselho de Ensino e Pesquisa - CEPE.
11/2006 - 06/2007
Conselhos, Comissões e Consultoria, Conselho Universitario e Conselho de Ensino e Pesquisa.Cargo ou função, Membro de Comissao para elaborar uma Proposta de Acoes Afirmativas para a UFRGS.
05/2006 - 07/2006
Conselhos, Comissões e Consultoria, Universidade Federal do Rio Grande do Sul.Cargo ou função, Membro de Comissão para elaborar uma Agenda de Discussões para Ações Afirmativas na UFRGS.
05/2004 - 12/2004
Conselhos, Comissões e Consultoria, Universidade Federal do Rio Grande do Sul.Cargo ou função, Membro de Comissão de seleção de alunos para graduação sanduiche na Espanha.
01/2002 - 01/2004
Conselhos, Comissões e Consultoria, Universidade Federal do Rio Grande do Sul.Cargo ou função, Membro da Comissao de Graduação do Curso de Ciencia da Computação.
01/2000 - 01/2004
Conselhos, Comissões e Consultoria, Universidade Federal do Rio Grande do Sul.Cargo ou função, Presidente da Comissão de Progressão Funcional do Instituto de Informática.
07/1999 - 11/1999
Conselhos, Comissões e Consultoria, Universidade Federal do Rio Grande do Sul.Cargo ou função, Membro do COCEP/CONSUN para elaboração do Regimento Geral da Universidade.
01/1994 - 01/1999
Direção e administração, Universidade Federal do Rio Grande do Sul.Cargo ou função, Coordenador do Curso de Graduaçãoo em Ciência da Computação.
01/1994 - 01/1999
Conselhos, Comissões e Consultoria, Universidade Federal do Rio Grande do Sul.Cargo ou função, Membro do Conselho do Instituto de Informática.
01/1994
Conselhos, Comissões e Consultoria, Instituto de Informática, Departamento de Informática Aplicada.Cargo ou função, Membro de conselho de Coordenação de Ensino e Pesquisa CEPE-UFRGS.
01/1994
Conselhos, Comissões e Consultoria, Instituto de Informática, Departamento de Informática Aplicada.Cargo ou função, Membro da Câmara de Graduação da UFRGS.
01/1994
Conselhos, Comissões e Consultoria, Instituto de Informática, Departamento de Informática Aplicada.Cargo ou função, Membro de comissão de Diretrizes Gerais do Ensino, Pesquisa e Extensão do CEPE.
01/1987 - 01/1990
Direção e administração, Instituto de Informática, Departamento de Informática Aplicada.Cargo ou função, CHEFE DO DEPTO. DE INFORMATICA;.
01/1973 - 12/1989
Ensino, Computação, Nível: Pós-GraduaçãoDisciplinas ministradas, ALGOL, LINGUAGENS FORMAIS, TÉCNICAS DE PROGRAMAÇÃO, METODOLOGIAS E PROGRAMAÇÃO, ESTRUTURA DE DADOS, ENGENHARIA DE SOFTWARE I
07/1987 - 06/1989
Conselhos, Comissões e Consultoria, Universidade Federal do Rio Grande do Sul.Cargo ou função, Membro da Comissão da Pos-Graduação em Ciência da Computação.
01/1973 - 12/1980
Direção e administração, Universidade Federal do Rio Grande do Sul.Cargo ou função, Diretor Substituto do Centro de Processamento de Dados.
01/1972
Direção e administração, Instituto de Informática, Departamento de Informática Aplicada.Cargo ou função, Coordenador de curso de Pós-Graduação em Ciência da Computação.
01/1970 - 06/1970
Ensino, Arquitetura, Nível: GraduaçãoDisciplinas ministradas, Pesquisa Operacional

1982 - 1985

Universitat Stuttgart

Vínculo: Pesquisador, Enquadramento Funcional: Estudante de Doutorado, Carga horária: 40

1981 - 1983

Alexander Von Humboldt Stiftung

Vínculo: Pesquisador, Enquadramento Funcional: Bolsista doutorado, Carga horária: 0

1972 - Atual

Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq

Vínculo: Colaborador, Enquadramento Funcional: Consultor, Carga horária: 0

Atividades

01/1972
Conselhos, Comissões e Consultoria, Conselho Nacional de Desenvolvimento Científico e Tecnológico.Cargo ou função, Consultor Ad-hoc.
06/1998 - 06/2002
Conselhos, Comissões e Consultoria, Conselho Nacional de Desenvolvimento Científico e Tecnológico.Cargo ou função, Coordenador da Cooperação Internacional em Tecnologia da Informação Convenio CNPq(Brasil)//DLR(Alemanha).

1972 - Atual

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior

Vínculo: Colaborador, Enquadramento Funcional: Consultor, Carga horária: 0

Atividades

01/1972
Conselhos, Comissões e Consultoria, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior.Cargo ou função, Consultor Ad-hoc.
06/1996 - 06/2000
Conselhos, Comissões e Consultoria, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior.Cargo ou função, Membro da Comissão da Area de Ciência da Computação.

1972 - Atual

Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul

Vínculo: Colaborador, Enquadramento Funcional: Consultor, Carga horária: 0

Atividades

01/1972
Conselhos, Comissões e Consultoria, Ufrgs.Cargo ou função, Consultor ad hoc.
06/2005 - 12/2010
Conselhos, Comissões e Consultoria, Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul.Cargo ou função, Presidente do Comite Especial de Inovação Tecnológica - PAPPE.
06/2004 - 12/2010
Conselhos, Comissões e Consultoria, Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul.Cargo ou função, Membro do Comite Assessor de Cooperacao Internacional.
07/2002 - 07/2004
Conselhos, Comissões e Consultoria, Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul.Cargo ou função, Membro do Comite Assessor de Mat. Est. e Computação.

1973 - 1976

Fundo de Desenvolvimento Técnico-Científico do Bndes

Vínculo: Pesquisador, Enquadramento Funcional: Pesquiador, Carga horária: 40

2002 - 2010

Instituto Nacional de Estudos e Pesquisas Educacionais Anísio Teixeira

Vínculo: Consultor, Enquadramento Funcional: Consultor, Carga horária: 0

Atividades

01/2002
Conselhos, Comissões e Consultoria, Instituto Nacional de Estudos e Pesquisas Educacionais Anísio Teixeira.Cargo ou função, Avaliação de cursos de graduação para reconhecimento..
01/2002
Conselhos, Comissões e Consultoria, Instituto Nacional de Estudos e Pesquisas Educacionais Anísio Teixeira.Cargo ou função, Membro da Comissão Especial para Adequação do Instrumento de Avaliação de cursos da área de computação e informática.

1986 - 2006

Secretaria de Educação Superior

Vínculo: Consultor, Enquadramento Funcional: Consultor, Carga horária: 0

Atividades

05/2009 - 05/2009
Conselhos, Comissões e Consultoria, Secretaria de Educação Superior.Cargo ou função, Especialista Convidado.
01/1986
Conselhos, Comissões e Consultoria, Secretaria de Educação Superior.Cargo ou função, Membro de Comissões de Avaliação de cursos de graduação, em número aproximado de 70(setenta).
01/1995
Conselhos, Comissões e Consultoria, Secretaria de Educação Superior.Cargo ou função, Membro da Comissao de Especialistas de Ensino de Computação e Informatica-CEEInf.
01/2001
Conselhos, Comissões e Consultoria, Secretaria de Educação Superior.Cargo ou função, Membro de Comissão de Avaliação Institucional da Universidade de Nova Iguaçu-UNIG.

1972 - 2006

Financiadora de Estudos e Projetos

Vínculo: Colaborador, Enquadramento Funcional: Consultor, Carga horária: 0

Atividades

01/1972 - 12/2006
Conselhos, Comissões e Consultoria, Financiadora de Estudos e Projetos.Cargo ou função, Consultor Ad-hoc.