Daltro José Nunes

  • Endereço para acessar este CV: http://lattes.cnpq.br/1830250331989097
  • Última atualização do currículo em 20/08/2018


Prof. Daltro Nunes é secretário de avaliação institucional e professor titular convidado da Universidade Federal do Rio Grande do Sul (UFRGS). Ele possui graduação em Engenharia Elétrica pela Universidade Federal do Rio Grande do Sul (1969), mestrado em Informática pela Pontifícia Universidade Católica do Rio de Janeiro (1972) e doutorado em Der Naturwissenschaften - Informatik - Universitat Stuttgart (1985). Atualmente é professor titular da Universidade Federal do Rio Grande do Sul. Recebeu os prêmios Newton Faller (SBC) e Contribuição Relevante para Criação e Consolidação da Engenharia de Software no Brasil (Comissão Especial de Engenharia de Software) como reconhecimento da sua atuação na área. Tem experiência na área de Ciência da Computação, com ênfase em Lógicas e Semântica de Programas, atuando principalmente nos seguintes temas: engenharia de software, processo de software, e métodos formais. (Texto informado pelo autor)


Identificação


Nome
Daltro José Nunes
Nome em citações bibliográficas
NUNES, D. J.;NUNES, DALTRO JOSÉ;NUNES, DALTRO JOSE;NUNES, DALTRO;Nunes, Daltro;JOSÉ NUNES, DALTRO;J.NUNES, DALTRO;NUNES, DALTRO J.

Endereço


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: www.inf.ufrgs.br/prosoft


Formação acadêmica/titulação


1981 - 1985
Doutorado em Der Naturwissenschaften - Informatik.
Universitat Stuttgart, STUTTGART, Alemanha.
Título: Ein Verfahren zur rechnerunterstützten Programmkonstruktion, Ano de obtenção: 1985.
Orientador: Rul Guntzenhauser.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Grande área: Ciências Exatas e da Terra
Setores de atividade: Informática.
1971 - 1972
Mestrado em Ciências Em Informática.
Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil.
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
1965 - 1969
Graduação em Engenharia Elétrica.
Universidade Federal do Rio Grande do Sul, UFRGS, Brasil.


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.


Atuação Profissional



Universidade Federal do Rio Grande do Sul, UFRGS, Brasil.
Vínculo institucional

1970 - Atual
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

Vínculo institucional

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

Atividades

08/2012 - Atual
Direção e administração, Secretaria de Avaliação Institucional (SAI), .

Cargo ou função
Secretário de Avaliação Institucional.
5/2006 - Atual
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.
1/2004 - Atual
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.
6/1986 - Atual
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Estruturas de Dados
Especificação Formal
1/1973 - Atual
Ensino, Computação, Nível: Pós-Graduação

Disciplinas ministradas
Métodos Formais
Semântica Formal
1/1971 - Atual
Pesquisa e desenvolvimento , Instituto de Informática, Departamento de Informática Aplicada.

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.
5/2006 - 5/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.
5/2006 - 7/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.
5/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.
1/2002 - 1/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.
1/2000 - 1/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.
7/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.
1/1994 - 1/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.
1/1994 - 1/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.
1994 - 1999
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.
1994 - 1999
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.
1994 - 1999
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.
1/1987 - 1/1990
Direção e administração, Instituto de Informática, Departamento de Informática Aplicada.

Cargo ou função
CHEFE DO DEPTO. DE INFORMATICA;.
1/1973 - 12/1989
Ensino, Computação, Nível: Pós-Graduação

Disciplinas ministradas
ALGOL
LINGUAGENS FORMAIS
TÉCNICAS DE PROGRAMAÇÃO
METODOLOGIAS E PROGRAMAÇÃO
ESTRUTURA DE DADOS
ENGENHARIA DE SOFTWARE I
7/1987 - 6/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.
1/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.
1972 - 1980
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.
1/1970 - 6/1970
Ensino, Arquitetura, Nível: Graduação

Disciplinas ministradas
Pesquisa Operacional

Universitat Stuttgart, STUTTGART, Alemanha.
Vínculo institucional

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


Alexander Von Humboldt Stiftung, AVHS, Alemanha.
Vínculo institucional

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


Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Vínculo institucional

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

Atividades

1/1972 - Atual
Conselhos, Comissões e Consultoria, Conselho Nacional de Desenvolvimento Científico e Tecnológico, .

Cargo ou função
Consultor Ad-hoc.
6/1998 - 6/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).

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Vínculo institucional

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

Atividades

1/1972 - Atual
Conselhos, Comissões e Consultoria, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, .

Cargo ou função
Consultor Ad-hoc.
6/1996 - 6/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.

Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul, FAPERGS, Brasil.
Vínculo institucional

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

Atividades

01/1972 - Atual
Conselhos, Comissões e Consultoria, Ufrgs, .

Cargo ou função
Consultor ad hoc.
6/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.
6/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.
7/2002 - 7/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.

Fundo de Desenvolvimento Técnico-Científico do Bndes, FUNTEC/BNDES, Brasil.
Vínculo institucional

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


Instituto Nacional de Estudos e Pesquisas Educacionais Anísio Teixeira, INEP/MEC, Brasil.
Vínculo institucional

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

Atividades

2002 - 2010
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..
2002 - 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.

Secretaria de Educação Superior, SESU/MEC, Brasil.
Vínculo institucional

1986 - 2006
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.
1986 - 2006
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).
1995 - 2002
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.
2001 - 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.

Financiadora de Estudos e Projetos, FINEP, Brasil.
Vínculo institucional

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

Atividades

1/1972 - 12/2006
Conselhos, Comissões e Consultoria, Financiadora de Estudos e Projetos, .

Cargo ou função
Consultor Ad-hoc.


Linhas de pesquisa


1.
ENGENHARIA DE SOFTWARE
2.
MÉTODOS FORMAIS


Projetos de pesquisa


2014 - Atual
Desenvolvendo Agentes BDI Efetivamente com uma Abordagem Dirigida a Modelos

Projeto certificado pelo(a) coordenador(a) Ingrid Oliveira de Nunes em 25/02/2016.
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.
2013 - Atual
Sistemas de Recomendação baseados em Linguagem de Preferências de Alto Nível

Projeto certificado pelo(a) coordenador(a) Ingrid Oliveira de Nunes em 25/02/2016.
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.
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
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.
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 orientações: 8
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.
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.


Projetos de extensão


1974 - 1975
Projeto de expansão de memoria externa para o computador HP2100
Descrição: Projeto de expansão de memoria externa para o computador HP2100.
Situação: Concluído; Natureza: Extensão.
Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Daltro José Nunes - Coordenador.


Membro de corpo editorial


2009 - Atual
Periódico: Jornal da Universidade
2000 - 2000
Periódico: Revista Mackenzie de Engenharia e Computação
1997 - 2001
Periódico: Proceedings of the 4th German-Brazilian Workshop on Information Technology


Revisor de periódico


2011 - Atual
Periódico: Magazine of Interdisciplinary Themes on Technology and Sciences


Áreas de atuação


1.
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.
2.
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.
3.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Sistemas de Informação.
4.
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.


Idiomas


Alemão
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
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.


Prêmios e títulos


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.


Produções



Produção bibliográfica
Citações

SCOPUS

Artigos completos publicados em periódicos

1.
ZAPALOWSKI, VANIUS2018ZAPALOWSKI, VANIUS ; NUNES, INGRID ; JOSÉ NUNES, DALTRO . The WGB Method to Recover Implemented Architectural Rules. INFORMATION AND SOFTWARE TECHNOLOGY, v. 1, p. 1-20, 2018.

2.
RUBBO, FERNANDO BARDEN2013 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.

3.
Sousa. A L R2013Sousa. 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.

4.
da Silva, Bruno Carreiro2009 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.

5.
Rubbo2008Rubbo ; 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.

6.
GARCIA JR, Paulo Roberto2007GARCIA JR, Paulo Roberto ; NUNES, D. J. . APSEE-Metrics: um modelo para mensuração em processos de software. INFOCOMP (UFLA), v. 6, p. 9, 2007.

7.
NUNES, D. J.;NUNES, DALTRO JOSÉ;NUNES, DALTRO JOSE;NUNES, DALTRO;Nunes, Daltro;JOSÉ NUNES, DALTRO;J.NUNES, DALTRO;NUNES, DALTRO J.2003NUNES, D. J.; LAMB, Luis . Distorções do Estágio Curricular Obrigatório. T&C Amazônia, n.II, p. 49-54, 2003.

8.
REIS, Rodrigo Quites2002REIS, 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.

9.
ORTH, A. I.1993ORTH, A. I. ; NUNES, D. J. . A Personalizacao das Interfaces Homem Maquina: Uma Perspectiva Promissora. SCIENTIA, v. 4, n.2, p. 75-84, 1993.

10.
ORTH, A. I.1992ORTH, A. I. ; NUNES, D. J. . Uma Proposta Para A Personalizacao de Interfaces do Usuario. SCIENTIA, v. 3, n.2, 1992.

11.
ORTH, A. I.1991ORTH, A. I. ; NUNES, D. J. . Proposta de Um Modelo Para Uma Interface do Usuario. SCIENTIA, v. 2, n.2, p. 99-114, 1991.

12.
NUNES, D. J.;NUNES, DALTRO JOSÉ;NUNES, DALTRO JOSE;NUNES, DALTRO;Nunes, Daltro;JOSÉ NUNES, DALTRO;J.NUNES, DALTRO;NUNES, DALTRO J.1991NUNES, D. J.. Curriculos de Cursos de Graduacao Em Informatica. REVISTA DE INFORMATICA TEORICA E APLICADA, PORTO ALEGRE, 1991.

13.
NUNES, D. J.;NUNES, DALTRO JOSÉ;NUNES, DALTRO JOSE;NUNES, DALTRO;Nunes, Daltro;JOSÉ NUNES, DALTRO;J.NUNES, DALTRO;NUNES, DALTRO J.1985NUNES, D. J.. Die Sadt - Methode Fur Die Software.. UNIVERSIDADE DE STUTTGART, p. 0-0, 1985.

14.
NUNES, D. J.;NUNES, DALTRO JOSÉ;NUNES, DALTRO JOSE;NUNES, DALTRO;Nunes, Daltro;JOSÉ NUNES, DALTRO;J.NUNES, DALTRO;NUNES, DALTRO J.1983NUNES, D. J.. Ein Cad - System Zur Software - Entwicklung Basierend Auf Ns - Diagrammen. UNIVERSIDADE DE STUTTGART, p. 0-0, 1983.

Livros publicados/organizados ou edições
1.
NUNES, D. J.. Introdução à Abstração de Dados. 1. ed. Bookman, 2012. v. 1. 258p .

2.
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.

3.
NUNES, D. J.; CAMARGO, M. S. (Org.) . XIII Simpósio Brasileiro de Engenharia de Software. Florianópolis: , 1999. 445p .

4.
NUNES, D. J.. Anais do I Workshop Brasileiro de Metodos Formais. PORTO ALEGRE - RS: INSTITUTO DE INFORMATICA - UFRGS, 1998. 162p .

5.
NUNES, D. J.. Seminário sobre Avaliação de Cursos de Computação e Informática. Belo Horizonte: SESu/MEC, 1998. 103p .

6.
NUNES, D. J.. MEC/SESU SEMINARIO SOBRE AVALIACAO DE CURSOS DE COMPUTACAO E INFORMATICA. Brasilia: , 1998. 102p .

7.
NUNES, D. J.; JAHNICHEN, S. (Org.) . PROCEEDINGS OF THE 4TH GERMAN-BRAZILIAN WORKSHOP ON INFORMATION TECHNOLOGY. , 1997. v. 1. 134p .

8.
NUNES, D. J.; RIBEIRO, Leila ; KORFF, M. . METODOS FORMAIS PARA ESPECIFICACOES. Pelotas: Universidade Federal de Pelotas, 1997. 44p .

9.
NUNES, D. J.. Introducao A Linguagem Algol.. , 1990.

Capítulos de livros publicados
1.
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.

2.
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. -.

Textos em jornais de notícias/revistas
1.
NUNES, D. J.. Computação ou Informática?. Gestão Universitária, 25 ago. 2010.

2.
NUNES, D. J.. Computação ou informática?. Jornal da Ciência, 30 mar. 2010.

3.
NUNES, D. J.; CURY, H. N. . Matemática: a vilã do vestibular. Jornal da Universidade, UFRGS, 01 fev. 2009.

4.
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.

5.
NUNES, D. J.. O Problema das Cotas. Jornal da Ciência, 17 fev. 2006.

6.
NUNES, D. J.. A Falta de Logica na Reforma Universitaria. Jornal da Ciência, 01 fev. 2006.

7.
NUNES, D. J.; AZEREDO, Paulo Alberto de . Porque somos contra o Provão. Jornal da Ciência, 19 dez. 2005.

8.
NUNES, D. J.. Falta de Aderencia entre a Reforma Universitaria e o Plano Pedagogico do Pais. Gestao Universitária, 11 nov. 2005.

9.
NUNES, D. J.. A Função Social das Instituições de Ensino Superior. Gestão Universitária, 09 mar. 2005.

10.
NUNES, D. J.. A função social das Universidades. JORNAL da CIÊNCIA, p. 9 - 9, 25 fev. 2005.

11.
NUNES, D. J.. Ciclo Básico: Há controvérsias. Jornal da Ciência, 29 jul. 2004.

12.
NUNES, D. J.. Os Super Coordenadores de Cursos. Gestão Universitária, 21 jul. 2004.

13.
NUNES, D. J.. Projetos de Planos Pedagógicos orientados a problemas. Sociendade Brasileira da Computação, 21 jul. 2004.

14.
NUNES, D. J.. A entropia da educacao superior. Gestão Universitária, 14 jun. 2004.

15.
NUNES, D. J.. O novo provão. Jornal da Ciência, 22 dez. 2003.

16.
NUNES, D. J.. Extremismos na avaliação da educação superior. Jornal da Ciência, 24 set. 2003.

17.
NUNES, D. J.. O novo modelo de avaliacao da educação superior. Jornal da Ciência, 12 set. 2003.

18.
NUNES, D. J.. As cotas para negros nas Universidades discriminam os já discriminados. Jornal da Ciência, 13 ago. 2003.

19.
NUNES, D. J.. A contribuição social das instituições de ensino superior. Jornal da Ciência, 22 jul. 2003.

20.
NUNES, D. J.. Sociedade da Informação demanda novo perfil profissional. Associção Brasileira de Mantenetoras do Ensino Superior, 01 maio 2003.

21.
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.

22.
NUNES, D. J.. Instituições de ensino Públicas versus Privadas. Jornal da Ciência, 22 mar. 2003.

23.
NUNES, D. J.. Computação como Componente da Formação Interdisciplinar. Jornal da Ciência, 19 mar. 2003.

24.
NUNES, D. J.. As mudancas para pior na avaliacao de cursos de graduacao. Jornal da Ciência, 23 jan. 2003.

25.
NUNES, D. J.. Provão nao contribui para a melhoria da qualidade dos cursos de graduação. Jornal da Ciência, 10 fev. 2002.

Trabalhos completos publicados em anais de congressos
1.
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.

2.
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.

3.
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.

4.
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.

5.
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.

6.
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.

7.
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.

8.
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.

9.
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.

10.
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.

11.
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.

12.
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.

13.
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.

14.
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.

15.
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.

16.
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.

17.
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.

18.
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.

19.
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.

20.
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.

21.
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.

22.
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.

23.
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.

24.
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.

25.
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.

26.
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.

27.
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.

28.
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.

29.
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.

30.
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.

31.
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.

32.
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.

33.
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.

34.
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.

35.
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.

36.
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.

37.
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.

38.
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.

39.
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.

40.
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.

41.
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.

42.
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.

43.
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.

44.
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.

45.
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.

46.
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.

47.
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.

48.
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.

49.
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.

50.
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.

51.
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.

52.
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.

53.
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.

54.
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.

55.
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.

56.
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.

57.
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.

58.
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.

59.
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.

60.
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.

61.
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.

62.
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.

63.
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.

64.
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.

65.
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.

66.
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.

67.
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.

68.
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.

69.
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.

70.
NUNES, D. J.. Ambientes de Desenvolvimento de Software. In: WORKSHOP NACIONAL SOBRE PROJETOS COOPERATIVOS - PROTEM, 1993. WORKSHOP NACIONAL SOBRE PROJETOS COOPERATIVOS - PROTEM. BRASILIA - DF.

71.
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.

72.
NUNES, D. J.. Estrategia Data-Driven No Desenvolvimento de Software. In: SBC, 1992. SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE. GRAMADO-RS.

73.
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.

74.
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.

75.
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.

76.
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.

77.
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.

78.
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.

79.
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.

80.
NUNES, D. J.. Pl/1 - Formac: Interpretador de Simbolos Matematicos. In: SIMPOSIO SOBRE FISICA E COMPUTACAO, 1972. SIMPOSIO SOBRE FISICA E COMPUTACAO, 1972.

Resumos expandidos publicados em anais de congressos
1.
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.

Resumos publicados em anais de congressos
1.
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.

Apresentações de Trabalho
1.
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).

2.
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).

3.
NUNES, D. J.. What Computer Science Is. 2016. (Apresentação de Trabalho/Conferência ou palestra).

4.
NUNES, D. J.. Autoavaliação Institucional como Ferramenta para Melhoria da Qualidade. 2016. (Apresentação de Trabalho/Outra).

5.
NUNES, D. J.. Autoevaluación Institucional. 2015. (Apresentação de Trabalho/Seminário).

6.
NUNES, D. J.. Sociedade da Informação. 2012. (Apresentação de Trabalho/Conferência ou palestra).

Outras produções bibliográficas
1.
NUNES, D. J.; ANIDO, R. . Grupo de Trabalho Sobre Diretrizes Curriculares 1998 (Relatório).


Produção técnica
Programas de computador sem registro
1.
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.

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

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

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

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

Trabalhos técnicos
1.
NUNES, D. J.; SILVA, F. A. D. . ESTUDO DA EXECUCAO, VALIDACAO E SIMULACAO DE PROCESSOS DE SOFTWARE. 1999.

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

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

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

Demais trabalhos
1.
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) .

2.
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) .

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

4.
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) .

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

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

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

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



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
NUNES, D. J.; MATOS, ECIVALDO DE SOUZA; DURAN, A. A.. Participação em banca de Ícaro Andrade de Souza. 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.

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

3.
NUNES, D. J.; MOREIRA, Alvaro Freitas; LAMB, Luis da Cunha; RIBEIRO, Leila; MARTINI, Alfio Ricardo de Brito. Participação em banca de Gleison Samuel do Nascimento. 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.

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

5.
NUNES, D. J.. Participação em banca de Luciana Foss. 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.

6.
NUNES, D. J.; PRICE, Ana Maria de Alencar; HERBERT, Juliana Silva; PIMENTA, Marcelo Soares. Participação em banca de Edson Eustáchio Oliveira de Azevedo. 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.

7.
NUNES, D. J.; RIBEIRO, Leila; MORA, Michael da Costa; HEUSER, Carlos Alberto. Participação em banca de Eduardo Pretz. 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.

8.
NUNES, D. J.; MENEZES, Paulo Fernando Blauth de; HAEUSLER, Edward Hermann; RIBEIRO, Leila. Participação em banca de Cirney Ricardo Jose Borges Carneiro. 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.

9.
NUNES, D. J.; FAGUNDES, Lea da Cruz; ZIRBES, Sergio Felipe; AZEREDO, Paulo Alberto de. Participação em banca de Julio Cesar Godoy Bertolin. 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.

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

11.
NUNES, D. J.; PRICE, Ana Maria de Alencar; MALDONADO, Jose Carlos. Participação em banca de Juliana Bonzanini da Silva. 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.

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

13.
NUNES, D. J.. Participação em banca de Liliana Maria Passerino. 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.

14.
NUNES, D. J.; WEBER, Raul Fernando; WEBER, Taisy Silva; CORTES, Mario Lucio. Participação em banca de Alvaro Freitas Moreira. 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.

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

16.
NUNES, D. J.; PRICE, Ana Maria de Alencar; AZEREDO, Paulo Alberto de; LIMA, Vera Lucia Strube de; BERCHT, Magda. Participação em banca de Felipe Schaan de Quadros. 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.

17.
NUNES, D. J.; CASTILHO, Jose Mauro Volkmer de; FONSECA, Décio. Participação em banca de João Carlos Gluz. 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.

18.
NUNES, D. J.. Participação em banca de Vanderlei Moraes Rodrigues. Interpretador Standart ML. 1991. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

19.
NUNES, D. J.. Participação em banca de Carlos Augusto Prolo. 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.

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

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

22.
NUNES, D. J.. Participação em banca de Martin Hertzel Escardó. Numeros Natuais parciais. 1990. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

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

24.
NUNES, D. J.. Participação em banca de Loreta Scheur de Oliveira Ramos. 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.

25.
NUNES, D. J.; D`AVILLA, Domingos Otávio; TAZZA, Maurizio. Participação em banca de Cláudia Sabani. 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.

26.
NUNES, D. J.. Participação em banca de Neron Arruda Leonel. 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.

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

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

29.
NUNES, D. J.. Participação em banca de Ruben Gerardo Schneider Alves. 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.

Teses de doutorado
1.
NUNES, D. J.; PEDROSA, R. H. L.; BALBACHEVSKY, E.; VOGT, C. A.; KNOBEL, M.. Participação em banca de Sabine Righetti. 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.

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

3.
NUNES, D. J.; VICARI, Rosa Maria; LADEIRA, Marcelo; CABRAL, Tânia Cristina Baptista. Participação em banca de João Carlos Gluz. 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.

4.
NUNES, D. J.. Participação em banca de Marcelo de Almeida Maia. 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.

Qualificações de Doutorado
1.
Simone Andrea da Costa; RIBEIRO, Leila; COSTA, Antonio Carlos da Rocha; NUNES, D. J.; MARTINI, A.; João Marcos de Almeida. Participação em banca de Simone André da Costa. 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.



Participação em bancas de comissões julgadoras
Professor titular
1.
NUNES, D. J.. Comissão de Avaliação de Desempenho para Promoção Funcional. 2018. Universidade Federal do Pará.

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

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

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

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

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

2.
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.

3.
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.

4.
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.

5.
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.

6.
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.

7.
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.

8.
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.

Livre docência
1.
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.

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

2.
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.

3.
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.

4.
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.

5.
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.

6.
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.

7.
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.

8.
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.

9.
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.

10.
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.

11.
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.

12.
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.

13.
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.

14.
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.

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

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

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

4.
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.

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

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

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



Eventos



Participação em eventos, congressos, exposições e feiras
1.
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).

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

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

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

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

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

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

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

9.
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).

10.
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).

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

12.
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).

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

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

15.
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).

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

17.
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).

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

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

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

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

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

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

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

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

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

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

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


Organização de eventos, congressos, exposições e feiras
1.
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).

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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



Orientações



Orientações e supervisões em andamento
Tese de doutorado
1.
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).


Orientações e supervisões concluídas
Dissertação de mestrado
1.
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.

2.
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.

3.
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.

4.
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.

5.
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.

6.
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.

7.
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.

8.
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.

9.
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.

10.
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.

11.
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.

12.
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.

13.
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.

14.
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.

15.
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.

16.
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.

17.
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.

18.
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.

19.
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.

20.
SILVIA 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.

21.
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.

22.
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.

23.
J. 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.

24.
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.

25.
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.

26.
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.

27.
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.

28.
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.

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

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

2.
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.

3.
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.

4.
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.

5.
A. 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.

Trabalho de conclusão de curso de graduação
1.
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.

Iniciação científica
1.
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.

2.
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.

3.
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.

4.
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.

5.
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.

6.
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.

7.
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.

8.
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.

9.
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.

10.
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.

11.
Leticia 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.

12.
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.



Educação e Popularização de C & T



Livros e capítulos
1.
NUNES, D. J.. Introdução à Abstração de Dados. 1. ed. Bookman, 2012. v. 1. 258p .




Página gerada pelo Sistema Currículo Lattes em 18/10/2018 às 5:16:21