Currículo do Sistema de Currículos Lattes (Daltro José Nunes)

Dados pessoais

Nome	Daltro José Nunes
Nome em citações bibliográficas	NUNES, D. J.
Sexo	Masculino

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) 33169465 Fax: (51) 33191576
URL da Homepage: www.inf.ufrgs.br/prosoft

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

1993 - 1994

Pós-Doutorado .
Universitat Stuttgart.
Bolsista do(a): Alexander Von Humboldt Stiftung ,AVHS ,Alemanha .
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação.

1981 - 1985

Doutorado em Der Naturwissenschaften - Informatik .
Universitat Stuttgart.
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 / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Engenharia de Software.
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 / Área: Ciência da Computação / Subárea: Sistemas de Computação.

1965 - 1969

Graduação em Engenharia Elétrica .
Universidade Federal do Rio Grande do Sul, UFRGS, Brasil.

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

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

Vínculo institucional

2002 - Atual

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

Atividades

2002 - Atual	Conselhos, Comissões e Consultoria, .
	Cargo ou função Avaliação de cursos de graduação para reconhecimento..

2002 - 2002	Conselhos, Comissões e Consultoria, .
	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.

Universitat Stuttgart, STUTTGART, Alemanha.

Vínculo institucional

1982 - 1985

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

Atividades

1/1982 - 2/1985	Atividades de Participação em Projeto, .
	Projetos de pesquisa Computer Aided Software Design- CASD.

Alexander Von Humboldt Stiftung, AVHS, Alemanha.

Vínculo institucional

1981 - 1983

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

Atividades

1/1989 - Atual	Atividades de Participação em Projeto, .
	Projetos de pesquisa onvenio com a Alemanha, Alexander Von Humbold Stiftung, para desenvolvimento de pesquisas científicas em Engenharia de Software.

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

Atividades

1/1973 - 2/1976	Atividades de Participação em Projeto, Ufrgs, Departamento de Informática.
	Projetos de pesquisa Pesquisa em Ciência da Computação.

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

Vínculo institucional

1972 - Atual

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

Atividades

1/1972 - Atual	Conselhos, Comissões e Consultoria, .
	Cargo ou função Consultor Ad-hoc.

6/1996 - 6/2000	Conselhos, Comissões e Consultoria, .
	Cargo ou função Membro da Comissão da Area de Ciência da Computação.

Financiadora de Estudos e Projetos, FINEP, Brasil.

Vínculo institucional

1972 - Atual

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

Atividades

1/1972 - Atual	Conselhos, Comissões e Consultoria, .
	Cargo ou função Consultor Ad-hoc.

1/1989 - 2/1991	Atividades de Participação em Projeto, Ufrgs, Departamento de Computação.
	Projetos de pesquisa Convênio UFRGS/FINEP

1/1988 - 2/1990	Atividades de Participação em Projeto, Ufrgs, Departamento de Computação.
	Projetos de pesquisa Convênio UFRGS/FINEP

1/1980 - 2/1982	Atividades de Participação em Projeto, Ufrgs, Departamento de Computação.
	Projetos de pesquisa Pesquisa em Ciência da Computação- UFRGS".Contrato

1/1978 - 2/1980	Atividades de Participação em Projeto, Ufrgs, Departamento de Computação.
	Projetos de pesquisa Pesquisa em Ciência da Computação - UFRGS".

1/1976 - 2/1978	Atividades de Participação em Projeto, Ufrgs, Departamento de Computação.
	Projetos de pesquisa Convênio firmado com a FINEP

1/1975 - 2/1977	Atividades de Participação em Projeto, Ufrgs, Departamento de Computação.
	Projetos de pesquisa Ligação dos Computadores B-6700 e IBM 1130 para uso em RJE" Sistema de Entrada de Dados",

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

Vínculo institucional

1972 - Atual

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

Atividades

1/1972 - Atual	Conselhos, Comissões e Consultoria, .
	Cargo ou função Consultor Ad-hoc.

2001 - 2003	Atividades de Participação em Projeto, CNPq - Cooperação / Não informado / Deutsche Forschungsanstalt für Luft-und, .
	Projetos de pesquisa 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).

6/1998 - 6/2002	Conselhos, Comissões e Consultoria, .
	Cargo ou função Coordenador da Cooperação Internacional em Tecnologia da Informação Convenio CNPq(Brasil)//DLR(Alemanha).

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

Vínculo institucional

1972 - Atual

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

Atividades

6/2005 - Atual	Conselhos, Comissões e Consultoria, .
	Cargo ou função Presidente do Comite Especial de Inovação Tecnológica - PAPPE.

6/2004 - Atual	Conselhos, Comissões e Consultoria, .
	Cargo ou função Membro do Comite Assessor de Cooperacao Internacional.

7/2002 - 7/2004	Conselhos, Comissões e Consultoria, .
	Cargo ou função Membro do Comite Assessor de Mat. Est. e Computação.

1/1974 - 2/1975	Atividades de Participação em Projeto, Ufrgs, Departamento de Computação.
	Projetos de pesquisa Projeto de expansão de memoria externa para o computador HP2100

Universidade Federal do Rio Grande do Sul, UFRGS, Brasil.

Vínculo institucional

1970 - Atual

Vínculo: Servidor Público, Enquadramento Funcional: Professor titular, 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 : Prof. Adjunto De 1996 a - : Professor Titular

Atividades

5/2006 - Atual	Conselhos, Comissões e Consultoria, .
	Cargo ou função Membro da Comissão Própria de Avaliação - CPA.

5/2004 - Atual	Conselhos, Comissões e Consultoria, .
	Cargo ou função Membro de Comissão de seleção de alunos para graduação sanduiche na Espanha.

1/2004 - Atual	Conselhos, Comissões e Consultoria, .
	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 SEMANTICA FORMAL Estruturas de Dados

1/1973 - Atual	Ensino, Computação, Nível: Pós-Graduação.
	Disciplinas ministradas ESPECIFICAÇÃO FORMAL SEMÂNTICA FORMAL

1/1971 - Atual	Pesquisa e desenvolvimento , Instituto de Informática, Departamento de Informática Aplicada.
	Linhas de pesquisa ENGENHARIA DE SOFTWARE MÉTODOS FORMAIS

5/2006 - 5/2008	Conselhos, Comissões e Consultoria, .
	Cargo ou função Membro Representante Docente no Conselho de Ensino e Pesquisa - CEPE.

2007 - 2008	Atividades de Participação em Projeto, Instituto de Informática, .
	Projetos de pesquisa Investigando o processo de desenvolvimento de software através da simulação de sistemas dinâmicos.

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, .
	Cargo ou função Membro de Comissão para elaborar uma Agenda de Discussões para Ações Afirmativas na UFRGS.

3/2002 - 3/2004	Atividades de Participação em Projeto, Instituto de Informática, Departamento de Informática Teórica.
	Projetos de pesquisa PROSOFT- APSEE: Integração de Ferramentas para Gerência do Processo de Desenvolvimento de Software

1/2002 - 1/2004	Conselhos, Comissões e Consultoria, .
	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, .
	Cargo ou função Presidente da Comissão de Progressão Funcional do Instituto de Informática.

2002 - 2004	Atividades de Participação em Projeto, Instituto de Informática, .
	Projetos de pesquisa APSEE-MONITOR: Um Mecanismo de Apoio a Visualização de Processos de Software

7/1999 - 11/1999	Conselhos, Comissões e Consultoria, .
	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, .
	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, .
	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, .
	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, .
	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

Linhas de Pesquisa

1.	ENGENHARIA DE SOFTWARE

2.	MÉTODOS FORMAIS

Projetos de 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: Abraham Lincoln Rabelo de Sousa - Integrante / Daltro José Nunes - Coordenador. 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: Rodrigo Quites Reis - Integrante / Abraham Lincoln Rabelo de Sousa - Integrante / Carla Alessandra Lima Reis - Integrante / Daltro José Nunes - Coordenador.
Financiador(es): Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul - Auxílio financeiro..

2002 - Atual

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: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 6) / Especialização ( 0) / Mestrado acadêmico ( 4) / Mestrado profissionalizante ( 0) / Doutorado ( 2) .
Integrantes: 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 / Daltro José Nunes - Coordenador.
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. Integrantes: Daltro José Nunes - Coordenador. Financiador(es): CNPq - Cooperação / Não informado / Deutsche Forschungsanstalt für Luft-und - Cooperação..

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 profissionalizante ( 0) / Doutorado ( 0) . Integrantes: Daltro José Nunes - Coordenador. .

1989 - Atual	onvenio com a Alemanha, Alexander Von Humbold Stiftung, para desenvolvimento de pesquisas científicas em Engenharia de Software.
	Descrição: V - 8151/88036.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação ( 0) / Especialização ( 0) / Mestrado acadêmico ( 0) / Mestrado profissionalizante ( 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 profissionalizante ( 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 profissionalizante ( 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 profissionalizante ( 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 profissionalizante ( 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 profissionalizante ( 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 profissionalizante ( 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 profissionalizante ( 0) / Doutorado ( 0) . Integrantes: Daltro José Nunes - Coordenador. .

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 profissionalizante ( 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 profissionalizante ( 0) / Doutorado ( 0) . Integrantes: Daltro José Nunes - Coordenador. .

Membro de corpo editorial

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

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

2009	Homenagem pelos 75 anos da UFRGS, UFRGS.
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ção em C,T & A

Produção bibliográfica

Artigos completos publicados em periódicos

1.	da Silva, Bruno Carreiro ; Figueiredo, Eduardo ; Garcia, Alessandro ; Nunes, Daltro ; NUNES, D. J. . Refactoring of Crosscutting Concerns with Metaphor-Based Heuristics. Electronic Notes in Theoretical Computer Science, v. 233, p. 105-125, 2009.

2.	Rubbo ; Rodrigo Machado ; MOREIRA, Alvaro Freitas ; RIBEIRO, Leila ; NUNES, D. J. . On the interaction of advices and raw types in AspectJ. Journal of Universal Computer Science (Online), v. 14, p. 21, 2008.

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

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

5.	REIS, Rodrigo Quites ; REIS, Carla Alessandra Lima ; NUNES, D. J. . APSEE-StaticPolicy: Automatic Verification of Static Policies on Software Process Models. Annals of Software Engineering, Kluwer Academics Inc., v. 14, 2002.

6.

REIS, Carla Alessandra Lima ; REIS, Rodrigo Quites ; NUNES, D. J. ; ABREU, Marcelo Mariante de ; SCHLEBBE, Heribert . Using Graph Transformation as the Semantical Modele for Software Process Execution in the APSEE Environment. . Lecture Notes in Computer Science, Berlin: Springer-Verlag, v. 2505, p. 254-269, 2002.

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

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

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

10.	NUNES, D. J. . Curriculos de Cursos de Graduacao Em Informatica. REVISTA DE INFORMATICA TEORICA E APLICADA, PORTO ALEGRE, 1991.

11.	NUNES, D. J. . Requisitos de Ambientes de Engenharia de Software. SIMPOSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE, RIO DE JANEIRO - RJ, p. 83-92, 1987.

12.	NUNES, D. J. . Die Sadt - Methode Fur Die Software.. UNIVERSIDADE DE STUTTGART, p. 0-0, 1985.

13.	NUNES, D. J. . Ein Cad - System Zur Software - Entwicklung Basierend Auf Ns - Diagrammen. UNIVERSIDADE DE STUTTGART, p. 0-0, 1983.

14.	NUNES, D. J. ; TEIXEIRA, S. . Sdm - A Syntax - Directed Macro Processor. ASILOMAR CONFERENCE ON CIRCUITS AND SYSTEMS, PACIFIC GROVEM, p. 0-0, 1972.

15.	NUNES, D. J. . Pl/1 - Formac: Interpretador de Simbolos Matematicos. SIMPOSIO SOBRE FISICA E COMPUTACAO, RIO DE JANEIRO, 1972.

Livros publicados/organizados ou edições

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

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

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

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

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

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

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

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

Capítulos de livros publicados

1.	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. . Ciclo Básico: Há controvérsias. Jornal da Ciência, 29 jul. 2004.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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.

2.

DERTZBACHER, J. ; SOUSA, A. L. R. ; TIERNO, I. A. P. ; NUNES, D. J. . Um Modelo de Simulador para Ambientes de Desenvolvimento de Processos de Software Utilizando a Análise da Sensibilidade. In: Workshop-Escola de Informática Teórica, 2011, Pelotas. I Workshop-Escola de Informática Teórica - WEIT. Pelotas : Editora da Universidade Federal de Pelotas - UFPEL, 2011.

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

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

5.

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.

6.

Figueiredo, Eduardo ; da Silva, Bruno Carreiro ; SANT'ANNA, C. ; WHITTLE, J. ; NUNES, D. J. . Crosscutting Patterns and Design Stability: An Exploratory Analysis. In: International Conference on Program Comprehension (ICPC), 2009, Vancouver. Proceedings of the 17th International Conference on Program Comprehension (ICPC, 2009.

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

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

9.

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.

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

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

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

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

14.

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.

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

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

17.

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.

18.

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.

19.

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.

20.

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.

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

22.

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.

23.

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.

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

25.

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.

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

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

28.	REIS, Carla Alessandra Lima ; REIS, Rodrigo Quites ; SCHLEBBE, Heribert ; NUNES, D. J. . Resource Instantiation Policies in Software Process Environments. In: 26th Annual International Computer Software and Applications Conference (COMPSAC'02), 2002, Oxford, 2002. v. 1.

29.

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.

30.

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, 2002. v. 1.

31.

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.

32.

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.

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

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

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

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

37.

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.

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

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

40.

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.

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

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

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

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

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

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

47.

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.

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

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

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

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

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

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

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

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

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

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

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

59.

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.

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

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

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

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

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

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

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.

Demais tipos de produção bibliográfica

1.	NUNES, D. J. ; ANIDO, R. . Grupo de Trabalho Sobre Diretrizes Curriculares 1998 (Relatório).

Produção técnica

Softwares sem registro de patente

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.	VERA, A. C. ; NUNES, D. J. ; 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 examinadoras

Dissertações

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

2.

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.

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

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

5.

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.

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

7.

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.

8.

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.

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

10.

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.

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

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

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

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

15.

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.

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

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

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

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

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

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

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

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

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

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

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

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

2.

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.

3.	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.. Concurso para professor titular do SSC-ICMC. 2010. Universidade de São Paulo.

Concurso público

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

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 da Banca de Concurso Publico para o Departamento de Ciencia da Computacao da USP/São Carlos. 2006. Universidade de São Paulo.

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

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

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

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

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.. Membro do Comitê Especial de Assessoramento Científico. 2010. Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Organização de eventos

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Orientações

Orientações em andamento

Dissertação de mestrado

1.	Karine Birnfield. A definir. Início: 2010. Dissertação (Mestrado em Programa de Pos Graduação em Computação) - Instituto de Informática. (Orientador).

2.	Ivan Alexandre Paiz Tierno. Investigando o papel da análise de dados na simulação de processos de software. Início: 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).

Tese de doutorado

1.	Abraham Lincoln Rabelo de Sousa. Simulção de Process de Software. Início: 2005. Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul. (Orientador).

Supervisões e orientações concluídas

Dissertação de mestrado

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

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

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

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

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

6.

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.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

9.

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.

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.