Rede de Colaboração
Diretório de grupos de pesquisa

Itana Maria de Souza Gimenes

Possui bacharelado em Processamento de Dados pela Universidade Federal da Bahia (1981); mestrado em Ciência da Computação pela Universidade Estadual de Campinas (1987); doutorado em Computer Science - The University Of York (1992) e pós-doutorado na University of Waterloo, Canadá (2005). Atualmente é professora titular da Universidade Estadual de Maringá. Tem experiência na área de Ciência da Computação, com ênfase em Engenharia de Software, atuando principalmente nos seguintes temas: ambientes de desenvolvimento de software, processo de software, workflow management systems, processos de negócios, desenvolvimento baseado em componentes, arquitetura de software e ferramentas de apoio.
(Texto informado pelo autor)

Última atualização do currículo em 04/09/2010
Endereço para acessar este CV:
http://lattes.cnpq.br/9398810362952245
Dados pessoais
NomeItana Maria de Souza Gimenes
Nome em citações bibliográficasGIMENES, I. M. S.;GIMENES, ITANA M. S.
SexoFeminino
Endereço profissionalUniversidade Estadual de Maringá, Centro de Tecnologia, Departamento de Informática.
AV. COLOMBO, 5790
ZONA 7
87020-900 - Maringa, PR - Brasil
Telefone: (44) 30114324 Fax: (44) 32635874
URL da Homepage: http://www.din.uem.br/~itana

Formação acadêmica/Titulação
2004 - 2005Pós-Doutorado .
University of Waterloo.
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.
1988 - 1992Doutorado em Computer Science .
The University Of York.
Título: Towards a Process-centred Software Engineering Environment to Support the Development of High Integrity Systems, Ano de Obtenção: 1992.
Orientador: John Alexander McDermid.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Palavras-chave: Software Engineering Environment; Software Process; High Integrity Systems.
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.
1983 - 1987Mestrado em Ciência da Computação .
Universidade Estadual de Campinas, UNICAMP, Brasil.
Título: Um Sistema Programável de Aquisição de Dados Meteorológicos, Ano de Obtenção: 1987.
Orientador: Nelson Castro Machado.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Palavras-chave: Aquisição de dados; Sistemas Básicos; Dados meteorológicos.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Software Básico.
Setores de atividade: Informática.
1977 - 1981Graduação em Bacharelado Em Processamento de Dados .
Universidade Federal da Bahia, UFBA, Brasil.

Atuação profissional
Universidade Estadual de Maringá, UEM, Brasil.
Vínculo institucional
2000 - Atual Vínculo: Servidor Público, Enquadramento Funcional: Professor titular, Carga horária: 40, Regime: Dedicação exclusiva.
Vínculo institucional
1986 - 2000 Vínculo: Servidor Público, Enquadramento Funcional: Professor Associado, Carga horária: 40, Regime: Dedicação exclusiva.
Atividades
04/2007 - AtualAtividades de Participação em Projeto, Centro de Tecnologia, .
Projetos de pesquisa
Infra-estrutura de apoio a Processos de Negócios baseada em Reutilização e Aspectos
3/2007 - AtualEnsino, Ciência da Computação, Nível: Graduação.
Disciplinas ministradas
Métodos Formais I
07/2006 - AtualDireção e administração, Centro de Tecnologia, .
Cargo ou função
Coordenador de Programa.
07/2006 - AtualDireção e administração, Centro de Tecnologia, .
Cargo ou função
Coordenador de Programa.
3/2006 - AtualEnsino, Ciência da Computação, Nível: Pós-Graduação.
Disciplinas ministradas
Engenharia de Software
1/2005 - AtualAtividades de Participação em Projeto, Centro de Tecnologia, Departamento de Informática.
Projetos de pesquisa
Suporte à Reutilização em Ambientes Distribuídos de Desenvolvimento
5/1986 - AtualPesquisa e desenvolvimento , Centro de Tecnologia, Departamento de Informática.
Linhas de pesquisa
Engenharia de Software
2009 - 2012Atividades de Participação em Projeto, Centro de Tecnologia, Departamento de Informática.
Projetos de pesquisa
INCT: SISTEMAS EMBARCADOS CRÍTICOS: Aplicações em Segurança e Agricultura
2009 - 2012Atividades de Participação em Projeto, Centro de Tecnologia, .
Projetos de pesquisa
PROCAD
2009 - 2010Atividades de Participação em Projeto, Centro de Tecnologia, Departamento de Informática.
Projetos de pesquisa
SAV: Sistema de Automação de Vinícola
2008 - 2010Atividades de Participação em Projeto, Centro de Tecnologia, Departamento de Informática.
Projetos de pesquisa
Uma Linha de Produto para Processos de Negócio
7/2002 - 6/2004Direção e administração, Centro de Tecnologia, Departamento de Informática.
Cargo ou função
Chefe de Departamento.
7/2001 - 6/2003Atividades de Participação em Projeto, Centro de Tecnologia, Departamento de Informática.
Projetos de pesquisa
INTERSUL-Sistema Integrado de Apoio a Rede Sul de Pesquisa e Pós-Graduação
3/2002 - 12/2002Ensino, Ciência da Computação, Nível: Graduação.
Disciplinas ministradas
Métodos Formais I
7/2000 - 6/2002Direção e administração, Centro de Tecnologia, Departamento de Informática.
Cargo ou função
Coordenador de Curso.
3/2001 - 12/2001Ensino, Ciência da Computação, Nível: Graduação.
Disciplinas ministradas
Compiladores
Engenharia de Software IV
Ambientes de Desenvolvimento de Software
3/2000 - 12/2000Ensino, Ciência da Computação, Nível: Graduação.
Disciplinas ministradas
Engenharia de Software IV
Ambientes de Engenharia de Software
5/1996 - 5/2000Direção e administração, Centro de Tecnologia, Departamento de Informática.
Cargo ou função
Vice-Diretora.
3/1999 - 12/1999Ensino, Ciência da Computação, Nível: Graduação.
Disciplinas ministradas
Banco de Dados
Banco de Dados I
Ambientes de Desenvolvimento de Software
3/1997 - 2/1999Atividades de Participação em Projeto, Centro de Tecnologia, Departamento de Informática.
Projetos de pesquisa
EXPSEE-An Experimental Process-centred Software Engineering Environment
3/1998 - 12/1998Ensino, Ciência da Computação, Nível: Graduação.
Disciplinas ministradas
Introdução à Engenharia de Software
Ambientes de Desenvolvimento de Software
9/1997 - 8/1998Atividades de Participação em Projeto, Centro de Tecnologia, Departamento de Informática.
Projetos de pesquisa
UXMAL (MAYA Network) do Programa ALFA da Comunidade Européia
8/1996 - 7/1998Atividades de Participação em Projeto, Centro de Tecnologia, Departamento de Informática.
Projetos de pesquisa
Desenvolvimento e valiadação de ambiente avançado de engenharia de software
3/1997 - 12/1997Ensino, Ciência da Computação, Nível: Graduação.
Disciplinas ministradas
Métodos Formais II
Ambientes de Desenvolvimento de Software
12/1994 - 8/1997Atividades de Participação em Projeto, Centro de Tecnologia, Departamento de Informática.
Projetos de pesquisa
FORMLAB - Laboratório Integrado de Apoio a Métodos Formais
3/1996 - 2/1997Atividades de Participação em Projeto, Centro de Tecnologia, Departamento de Informática.
Projetos de pesquisa
Projeto Palenque (MAYA Network) do Programa ALFA da Comunidade Européia
3/1995 - 12/1996Ensino, Ciência da Computação, Nível: Graduação.
Disciplinas ministradas
Banco de Dados
Coodenação de Trabalho de Graduação
Ambientes de Engenharia de Software
8/1994 - 7/1996Atividades de Participação em Projeto, Centro de Tecnologia, Departamento de Informática.
Projetos de pesquisa
Construção de um protótipo de um ambiente de engenharia de software orientado a processos
3/1994 - 12/1994Ensino, Ciência da Computação, Nível: Graduação.
Disciplinas ministradas
Iniciação à Ciência da Computaçào
Banco de Dados
3/1993 - 12/1993Ensino, Ciência da Computação, Nível: Graduação.
Disciplinas ministradas
Linguagens de Programação
3/1988 - 7/1988Ensino, Ciência da Computação, Nível: Graduação.
Disciplinas ministradas
Sistemas Operacionais
3/1986 - 12/1987Ensino, Tecnólogo Em Processamento de Dados, Nível: Graduação.
Disciplinas ministradas
Técnicas de Classificação e Recuperação de Informações
Pontifícia Universidade Católica de Campinas, PUC Campinas, Brasil.
Vínculo institucional
1985 - 1986 Vínculo: Colaborador, Enquadramento Funcional: Professor Horista, Carga horária: 12
Atividades
8/1985 - 2/1986Ensino, Computação, Nível: Graduação.
Disciplinas ministradas
Linguagem de Programação
Caraíba Metais S A, CARAÍBA, Brasil.
Vínculo institucional
1981 - 1983 Vínculo: Servidor público ou celetista, Enquadramento Funcional: Analista de Sistemas, Carga horária: 40
Atividades
3/1981 - 3/1983Serviços técnicos especializados , Engenharia Industrial, .
Serviço realizado
Pesquisa Operacional.
Banco Econômico S A, BANCO ECONÔMICO, Brasil.
Vínculo institucional
1979 - 1981 Vínculo: Servidor público ou celetista, Enquadramento Funcional: Programador Júnior, Carga horária: 40
Atividades
12/1979 - 3/1981Serviços técnicos especializados , Centro de Processamento de Dados, .
Serviço realizado
Programação de Sistemas.

Linhas de Pesquisa
1. Engenharia de Software

Projetos de Pesquisa
2009 - 2012INCT: SISTEMAS EMBARCADOS CRÍTICOS: Aplicações em Segurança e Agricultura
Descrição: A criação de um Instituto de Sistemas Embarcados Críticos é proposta neste projeto. O objetivo geral desse instituto é elevar o nível de conhecimento, competência e qualidade no país sobre o desenvolvimento desse tipo de sistema, considerando que se trata de tecnologia importante para apoiar o desenvolvimento de áreas estratégicas do país, como a do meio ambiente, a de segurança e defesa e a de agricultura. O projeto é abrangente e envolve grupos de pesquisadores de nove universidades brasileiras e sete empresas. Os principais objetivos mais específicos são o desenvolvimento de pesquisas para a construção de sistemas embarcados críticos com ênfase para veículos autônomos móveis e a construção de pelo menos dois protótipos de veículo, um aéreo e um terrestre, com o objetivo de serem transferidos para as empresas associadas, visando a possível fabricação e comercialização. Outros objetivos relevantes são: a produção de uma metodologia que documente esse conhecimento e possa ser usada para o treinamento de pessoal formado na área; a produção de mestres e doutores e produção intelectual na forma de artigos científicos apresentados e publicados em conferências e periódicos de boa qualidade, bem como de patentes. .
Situação: Em andamento; Natureza: Pesquisa.
Integrantes: Itana Maria de Souza Gimenes - Coordenador.
Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro..
2009 - 2012PROCAD
Descrição: Projeto de Cooperacão Acadêmica ICMC-USP, UEM e PUC-RS: Integrando e Aprimorando Atividades de Pesquisa, Ensino/Treinamento e Transferência Tecnológica em Teste e Validação de Software.
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico ( 3) .
Integrantes: Tania Calvi Tait - Integrante / Elisa H M Huzita - Integrante / José Carlos Maldonado - Integrante / Avelino Zorzo - Integrante / Ellen Francine Barbosa - Integrante / Itana Maria de Souza Gimenes - Coordenador.
Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro..
2009 - 2010SAV: Sistema de Automação de Vinícola
Situação: Em andamento; Natureza: Desenvolvimento.
Integrantes: João Angelo Martini - Integrante / Itana Maria de Souza Gimenes - Coordenador.
Financiador(es): Fundação Araucária de Apoio ao Desenv. Científico e Tecnológico do Paraná - Auxílio financeiro..
2008 - 2010Uma Linha de Produto para Processos de Negócio
Descrição: As organizações estão cada vez mais se especializando em seus objetivos principais de negócio e sub-contratando a realização de atividades secundárias. A cooperação entre organizações tem sido facilitada pelos recursos atualmente disponíveis na Internet. As linguagens de representação de negócios permitem a especificação de processos inter-organizacionais. Esses processos executam serviços Web disponíveis na Internet, Intranet ou Extranet. Para realizar um processo inter-organizacional é necessário o estabelecimento de um contrato eletrônico. Ele é um documento eletrônico que contém informações que regulamentam um processo de negócio entre organizações cooperativas que desejam integrar seus sistemas, por meio de fornecimento e consumo de serviços eletrônicos. Contratos eletrônicos envolvem além de serviços funcionais, atributos de qualidade que se caracterizam como requisitos não-funcionais. Uma vez estabelecido um contrato eletrônico este é monitorado durante a execução do processo não somente para garantir as regras de cooperação, mas também para obtenção de dados sobre a qualidade dos serviços executados. Uma questão importante é possibilitar a reutilização de processos de negócio. Essa reutilização pode se dar em nível de contratos eletrônicos, arquiteturas de processos ou componentes e serviços. A abordagem de linha de produto de software permite que especificações genéricas de elementos de processo possam ser definidas. Os artefatos relacionados ao processo passam a ser especificados considerando características comuns e variáveis. As características variáveis podem ser resolvidas no momento mais adequado do projeto, implementação ou publicação do processo. Este projeto propõe uma linha de produto de apoio ao gerenciamento de processos de negócios. Um dos problemas de avaliação de resultados de projetos de software está na falta de planejamento de estudos experimentais e no rigor de execução destes. Este projeto seguirá os conceitos de engenharia de software e.
Situação: Em andamento; Natureza: Pesquisa.
Integrantes: Itana Maria de Souza Gimenes - Coordenador.
Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro..
2007 - 2009Infra-estrutura de apoio a Processos de Negócios baseada em Reutilização e Aspectos
Descrição: As organizações estão cada vez mais se especializando em seus objetivos principais de negócio e sub-contratando a realização de atividades secundárias. A cooperação entre organizações tem sido facilitada pelos recursos atualmente disponíveis na Internet. Embora em locais fisicamente distribuídos, é atualmente possível para as organizações disponibilizarem seus serviços, assim como consumirem serviços de outras organizações de forma dinâmica. As linguagens de representação de negócios permitem a especificação de processos inter-organizacionais. Esses processos executam serviços Web disponíveis na Internet, Intranet ou Extranet. Para realizar um processo inter-organizacional é necessário o estabelecimento de um contrato eletrônico que envolve além de serviços funcionais, atributos de qualidade que se caracterizam como requisitos não-funcionais. Uma vez estabelecido um contrato eletrônico este é monitorado durante a execução do processo não somente para garantir as regras de cooperação, mas também para obtenção de dados sobre a qualidade dos serviços executados. Uma outra questão importante é possibilitar a reutilização de processos de negócio. Essa reutilização pode se dar em nível de contratos eletrônicos, arquiteturas de processos ou componentes de processo. A abordagem de linha de produto de software permite que especificações genéricas de elementos de processo possam ser definidas. Assim, este projeto tem como objetivo desenvolver métodos e ferramentas de apoio a processos de negócio baseado na tecnologia de serviços Web. Um dos problemas de avaliação de resultados de projetos de software está na falta de planejamento de estudos experimentais e no rigor de execução deste. Este projeto seguirá os conceitos de engenharia de software experimental para avaliar os seus resultados por meio de estudos de caso quantitativos..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 1) / Mestrado acadêmico ( 5) / Mestrado profissionalizante ( 0) / Doutorado ( 1) .
Integrantes: Itana Maria de Souza Gimenes - Coordenador.
Financiador(es): Fundação Araucária de Apoio ao Desenv. Científico e Tecnológico do Paraná - Auxílio financeiro.
Número de produções C, T & A: 1 / Número de orientações: 4.
2005 - 2007Suporte à Reutilização em Ambientes Distribuídos de Desenvolvimento
Descrição: Este projeto tem por objetivo definir mecanismos que ofereçam o suporte à reutilização e ao trabalho cooperativo em um ambiente de desenvolvimento de software distribuído. Para a implementação destes mecanismos serão exploradas técncias/tecnologias como por exemplo, de workflow, aspectos e linguagens de marcação, que se mostrarem mais adequadas para tal..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 0) / Especialização ( 0) / Mestrado acadêmico ( 2) / Mestrado profissionalizante ( 0) / Doutorado ( 0) .
Integrantes: Cristina Dutra de Águiar Ciferri - Integrante / Tania Calvi Tait - Integrante / Elisa Hatsue Moriya Huzita - Coordenador / Antonio Mendes Silva Filho - Integrante / Marcos Antonio Quinaia - Integrante / Itana Maria de Souza Gimenes - Integrante.
Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro..
2001 - 2003INTERSUL-Sistema Integrado de Apoio a Rede Sul de Pesquisa e Pós-Graduação
Descrição: Construção de um sistema integrado de suporte à coleta e avaliação de dados de pesquisa e pósgraduação na região sul..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 4) / Especialização ( 0) / Mestrado acadêmico ( 0) / Mestrado profissionalizante ( 0) / Doutorado ( 0) .
Integrantes: Elisa H M Huzita - Integrante / Wesley Romão - Integrante / Maria Madalena Dias - Integrante / Alex A Freitas - Integrante / Roberto Pacheco - Integrante / Itana Maria de Souza Gimenes - Coordenador.
Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro..
1997 - 1999EXPSEE-An Experimental Process-centred Software Engineering Environment
Descrição: Dar continuidade a construção do ambiente ExPSEE, em particular nos aspectos relacionados à implementação do gerenciador de processos do ambiente: interface, definição e instanciação de arquiteturas de processo e projeto de um ambiente de programação de processos cooperativos..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 2) / Especialização ( 0) / Mestrado acadêmico ( 0) / Mestrado profissionalizante ( 0) / Doutorado ( 0) .
Integrantes: Itana Maria de Souza Gimenes - Coordenador.
Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa..
1997 - 1998UXMAL (MAYA Network) do Programa ALFA da Comunidade Européia
Descrição: Intercâmbio de pos-graduandos de acordo com o programa ALFA..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 0) / Especialização ( 0) / Mestrado acadêmico ( 0) / Mestrado profissionalizante ( 0) / Doutorado ( 0) .
Integrantes: Itana Maria de Souza Gimenes - Coordenador.
.
1996 - 1998Desenvolvimento e valiadação de ambiente avançado de engenharia de software
Descrição: Modelagem e gerenciamento de processo de software. Projeto desenvolvido em cooperação com UFPR, CITS, CRID-DIJON, LLP-Annecy, CRIN-NAncY, ABC Bull e Transtar..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 0) / Especialização ( 0) / Mestrado acadêmico ( 0) / Mestrado profissionalizante ( 0) / Doutorado ( 0) .
Integrantes: Itana Maria de Souza Gimenes - Coordenador.
Financiador(es): Ministério da Ciência e Tecnologia - Auxílio financeiro..
1996 - 1997Projeto Palenque (MAYA Network) do Programa ALFA da Comunidade Européia
Descrição: Coordenação de atividades acadêmicas entre os membros da rede MAYA na área de engenharia de software..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 0) / Especialização ( 0) / Mestrado acadêmico ( 0) / Mestrado profissionalizante ( 0) / Doutorado ( 0) .
Integrantes: Itana Maria de Souza Gimenes - Coordenador.
.
1994 - 1997FORMLAB - Laboratório Integrado de Apoio a Métodos Formais
Descrição: Construção de um ambiente de apoio ao desenvolviemento de software baseado em métodos formais. Projeto desenvolvido em cooperação com PUC-Rio, UFPE e Equitel..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 4) / Especialização ( 0) / Mestrado acadêmico ( 0) / Mestrado profissionalizante ( 0) / Doutorado ( 0) .
Integrantes: Itana Maria de Souza Gimenes - Coordenador.
Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro..
1994 - 1996Construção de um protótipo de um ambiente de engenharia de software orientado a processos
Descrição: Construção da infra-estrutura básica do ambiente ExPSEE. Neste projeto foi definido um modelo de processo de software, a arquitetural geral do gerenciador de processos, bem como foram realizados experimentos para definição da linguagem de programação de processos e integração de ferramentas ao ambiente..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 2) / Especialização ( 0) / Mestrado acadêmico ( 0) / Mestrado profissionalizante ( 0) / Doutorado ( 0) .
Integrantes: Itana Maria de Souza Gimenes - Coordenador.
Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro..

Áreas de atuação
1. 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.

Idiomas
Inglês Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Espanhol Lê Razoavelmente.


Produção em C,T & A
Produção bibliográfica
Artigos completos publicados em periódicos
1. Capretz, Miriam ; DE TOLEDO, MARIA BEATRIZ FELGAR ; FANTINATO, Marcelo ; Garcia, D. Z. G. ; Wang, S. ; Allison, D. ; Nabuco, O. ; Rodrigues, M. ; Bonancin, R. ; Sasse, E. C. ; GIMENES, I. M. S. . Web Technologies in a Collaborative Platform for Clinical Trials. RECIIS. Electronic journal of communication information and innovation in health (English edition. Online), v. 3, p. 1-15, 2009.
2.   ZAUPA, Fabio Gabriel ; GIMENES, I. M. S. ; COWAN, D. ; ALENCAR, P. ; LUCENA, Carlos José Pereira de . A Service-oriented Process to develop Web Applications. Journal of Universal Computer Science (Online), v. 14, p. 1368-1387, 2008.
3.   FANTINATO, Marcelo ; DE TOLEDO, MARIA BEATRIZ FELGAR ; DE SOUZA GIMENES, ITANA MARIA . WS-CONTRACT ESTABLISHMENT WITH QOS: AN APPROACH BASED ON FEATURE MODELING. International Journal of Cooperative Information Systems, v. 17, p. 373, 2008.
4. ROMÃO, W. ; FREITAS, A. A. ; GIMENES, I. M. S. . Discovering Interesting Knowledge from a Science & Technology Database with a Genetic Algorithm. Applied Soft Computing, Inglaterra, v. 4, n. 2, p. 121-137, 2004.
5. GIMENES, I. M. S. ; LAZILHA, Fabrício Ricardo ; OLIVEIRA JUNIOR, Edson Alves de ; BARROCA, Leonor . A Component-based Product Line for Workflow Management Systems. CLEI Electronic Journal, http://www.clei.cl/cleiej, v. 7, n. 2, p. 1-20, 2004.
6. GIMENES, I. M. S. ; OLIVEIRA JUNIOR, Edson Alves de . Especificação de um Sistema Gerenciador de Workflow de acordo com a Abordagem de Desenvolvimento baseado em Componentes. REIC. Revista Eletrônica de Iniciação Científica, Porto Alegre, RS, v. III, n. III, p. 1-14, 2003.
7.   GIMENES, I. M. S. ; BARROCA, Leonor . Enterprise Frameworks for Workflow Management Systems. Software, Practice & Experience, Inglaterrra, v. 32, n. 8, p. 755-769, 2002.
8. GIMENES, I. M. S. ; PADILHA, A. M. ; WAINER, J. . MAPS-15504 - Uma metodologia automatizada para avaliação de processo de software. Acta Scientiarum (UEM), Maringá-PR, v. 22, n. 5, p. 1333-1338, 2000.
9. GIMENES, I. M. S. ; TANAKA, S. A. . Application of an object-oriented framework for tsk scheduling in ExPSEE environment. Acta Scientiarum (UEM), Maringá-PR, v. 22, n. 5, p. 1311-1319, 2000.
10. GIMENES, I. M. S. ; SANTANDER, V. F. A. ; MASIERO, Paulo Cezar . Assistência Inteligente ao Processo de Engenharia de Software. Acta Scientiarum (UEM), Maringá-PR, v. 20, n. 4, p. 483-493, 1998.
11. GIMENES, I. M. S. ; BONIFÁCIO, A. L. . Estudo e Comparação de Provadores Automáticos de Teoremas. Revista Tecnológica (UEM), Maringá-PR, v. 7, p. 75-85, 1998.
12. GIMENES, I. M. S. ; SIMÃO, Adenilso Silva . Prototipação de um Animador para Lógica Modal de Ações. Revista Tecnológica (UEM), Maringá-PR, v. 7, p. 87-95, 1998.
13. GIMENES, I. M. S. ; CIFERRI, C. D. Á. ; NANNI, E. L. ; SABIÃO, S. B. . An Object Oriented Method for Designing Sharable Data Schemas in Software Engineering Environments. Revista Unimar, Maringá-PR, v. 19, n. 4, p. 937-953, 1997.
14. GIMENES, I. M. S. ; TRINDADE, J. T. P. . The Impact of Anthropocentric Production Systems in Third World Countries. Cadernos de Metodologia e Técnica de Pesquisa, Maringá-PR, v. 7, p. 15-33, 1996.
15. GIMENES, I. M. S. ; TAIT, T. C. . Uma Iniciação Adequada a Alunos de Ciência da Computação. Cadernos de Metodologia e Técnica de Pesquisa, Maringá-PR, v. 7, p. 35-51, 1996.
16. GIMENES, I. M. S. ; TOYOTA, C. M. ; ROSA, A. A. ; MIOTTO, A. M. M. . Projeto de uma Linguagem Multiparadigma para Programação de Processo de Software. Cadernos de Metodologia e Técnica de Pesquisa, Maringá-PR, v. 7, p. 141-163, 1996.
17. GIMENES, I. M. S. ; FERRARI, S. ; MARTIMIANO, L. A. F. . Melhorando a Qualidade do Processo de Teste através de uma Ferramenta Integrada. Cadernos de Metodologia e Técnica de Pesquisa, Maringá-PR, v. 7, p. 165-185, 1996.
18. GIMENES, I. M. S. ; MALDONADO, José Carlos . High Integrity Systems and Software Quality. RBC. Revista Brasileira de Computação, Rio de Janeiro-RJ, v. 6, n. 1, p. 53-62, 1990.
Livros publicados/organizados ou edições
1. GIMENES, I. M. S. (Org.) . Anais do XXI Simpósio Brasileiro de Engenharia de Software. 1. ed. Porto Alegre: Sociedade Brasileira de Computação, 2007. v. 1. 328 p.
2. GIMENES, I. M. S. (Org.) ; HUZITA, Elisa H M (Org.) . Desenvolvimento Baseado em Componentes: Conceitos e Técnicas. 1. ed. Rio de Janeiro: Ciência Moderna, 2005. v. 1. 350 p.
3. GIMENES, I. M. S. (Org.) . Anais do XII Simpósio Brasileiro de Engenharia de Software. 1. ed. Porto Alegre - RS: Sociedade Brasileira de Computação, 1998. v. 1. 346 p.
4. BAUZER, C. M. (Org.) ; OLGUIN, C. J. M. (Org.) ; GIMENES, I. M. S. (Org.) . Anais do XIII Simpósio Brasileiro de Banco de Dados. 1. ed. Porto Alegre - RS: Sociedade Brasileira de Computação, 1998. v. 1. 418 p.
Capítulos de livros publicados
1. FANTINATO, Marcelo ; GIMENES, I. M. S. ; TOLEDO, Maria Beatriz Felgar de . Web Services E-Contract and Reuse. In: I. Lee. (Org.). Encyclopedia of E-business Development and Management in the Global Economy. 1 ed. Hershey, PA: IGI Global, 2010, v. 1, p. 883-891.
2.   FANTINATO, Marcelo ; GIMENES, I. M. S. ; TOLEDO, Maria Beatriz Felgar de . Product Line in the Business Domain. In: Kyo C. Kang; Vijayan Sugumaran; Sooyong Park. (Org.). Applied Software Product-Line Engineering. : Auerbach Publications, 2009, v. , p. -.
3. BARROCA, Leonor ; GIMENES, I. M. S. ; HUZITA, Elisa H M . Conceitos Básicos. In: Itana Maria de Souza Gimenes; Elisa Hatsue Moryia Huzita. (Org.). Desenvolvimento Baseado em Componentes: Conceitos e Técnicas. 1 ed. Rio de Janeiro: Ciência Moderna, 2005, v. , p. 1-26.
4. BARROCA, Leonor ; GIMENES, I. M. S. ; HUZITA, Elisa Hatsue Moriya . Desenvolvimento Baseado em Componentes. In: Itana Maria de Souza Gimenes; Elisa Hatsue Moryia Huzita. (Org.). Desenvolvimento Baseado em Componentes: Conceitos e Técnicas. 1 ed. Rio de Janeiro: Ciência Moderna, 2005, v. , p. 27-56.
5. GIMENES, I. M. S. ; TRAVASSOS, Guilherme Horta . O Enfoque de Linha de Produto para Desenvolvimento de Software. In: Ingrid Jansch Porto. (Org.). XXI Jornada de Atualização em Informática (JAI) - Livro Texto. 1 ed. Porto Alegre: Sociedade Brasileira de Computação, 2002, v. 2, p. 01-31.
6. GIMENES, I. M. S. . O Processo de Desenvolvimento de Software. In: Ana Regina Rocha; José Carlos Maldonado; Kival Chaves Weber. (Org.). Qualidade de Software: Teoria e Prática. 1 ed. São Paulo: Prentice Hall, 2001, v. 1, p. 43-47.
7. GIMENES, I. M. S. ; BARROCA, Leonor ; HUZITA, Elisa H M ; CARNIELO, A. . O Processo de Desenvolvimento de Componentes através de Exemplos. In: Raul Ceretta Nunes. (Org.). VIII Escola Regional de Informática. 1 ed. Porto Alegre-RS: Sociedade Brasileira de Computação, 2000, v. 1, p. 147-178.
Trabalhos completos publicados em anais de congressos
1. Silva, M. F. ; GIMENES, I. M. S. ; FANTINATO, Marcelo ; TOLEDO, Maria Beatriz Felgar de ; GARCIA, A. F. . Aspect-Monitor: An Aspect-based Aproach to WS-contract Monitoring. In: 12th International Conference on Entreprise Information System, 2010, Funchal. Proceedings of the 12th International Conference on Entreprise Information System. Lisboa, Portugal : INSTICC, 2010. v. 4. p. 5-12.
2. Santos, L. Leonardo ; TOLEDO, Maria Beatriz Felgar de ; FANTINATO, Marcelo ; GIMENES, I. M. S. . E-contract Monitoring in an Infrastructure for Business Process Management. In: 7th International Conference on Information Systems and Technology Management (CONTECSI 2010), 2010, São Paulo. Proceedings of the 7th International Conference on Information Systems and Technology Management (CONTECSI 2010). São Paulo : CONTECSI, 2010. v. 1. p. 1-10.
3. OLIVEIRA JÚNIOR, E. A. ; GIMENES, I. M. S. ; MALDONADO, J. C. . Empirical Validation of Complexity and Extensibility Metrics for Software Product Line Architectures. In: Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software, 2010, Salvador. Proceedings of the Brazilian Symposium on Components, Software Architecture and Software Reuse. Porto Alegre, RS : SBC, 2010. v. 1. p. 1-16.
4. Souza, B. M. N. ; DE SOUZA GIMENES, ITANA MARIA ; Lopes, T. E. C. . SPL-OOWS: Uma extensão do método OOWS utilizando linha de produto de software. In: XII Conferencia de Ingeniería de Requisitos y Ambientes de Software (IDEAS), 2009, Medellin. Anais da XII Conferencia de Ingeniería de Requisitos y Ambientes de Software (IDEAS). Medellin, Colombia : Universidade EAFIT, 2009. v. 1. p. 339-352.
5. GIMENES, I. M. S. ; Gonçalves, T. L. ; FANTINATO, Marcelo ; TRAVASSOS, Guilherme Horta ; TOLEDO, Maria Beatriz Felgar de . Estabelecimento de Contratos Eletrônicos: Uma Avaliação com Estudos Experimentais. In: XXXV Conferência Latino Americana de Informática, 2009, Pelotas/RS. Anais do XXXV Conferência Latino Americana de Informática. v. 1. p. 1-11.
6. Silva, G. C. ; GIMENES, I. M. S. ; FANTINATO, Marcelo ; TOLEDO, Maria Beatriz Felgar de . Apoio Computacional Baseado em Processos de Negócio e Serviços Web para o Desenvolvimento Distribuído de Software. In: III Workshop de Desenvolvimento Distribuído de Software, 2009, Fortaleza. Anais do III Workshop de Desenvolvimento Distribuído de Software/SBES. Porto Alegre/RS : SBC, 2009. v. 1. p. 1-10.
7. Huff, A. ; GIMENES, I. M. S. ; GONÇALVES, R. A. L. . ClusterFlow: um Ambiente de Apoio à Realização de Experimentos Científicos em um Cluster de Computadores de Alto Desempenho. In: III e-science Workshop, 2009, Fortaleza. Anais do III e-science Workshop/SBES. Porto Alegre/RS : SBC, 2009. v. 1. p. 1-8.
8. DE TOLEDO, MARIA BEATRIZ FELGAR ; Nabuco, O. ; Rodrigues, M. ; Garcia, D. Z. G. ; Capretz, Miriam ; FANTINATO, Marcelo ; GIMENES, I. M. S. ; Bonancin, R. ; Guerra, Ana ; Rocha, T. ; Viana, L. . A SOA-Based Collaborative Environment for Clinical Trials on Neglected Diseases. In: 4th International IEEE Workshop on Service Oriented Architectures in Converging Networked Environments, 2009, Bradford. Proceedings of the International Conference on Advanced Information Networking and Applications Workshops. USA : IEEE, 2009. v. 1. p. 518-523.
9. MARCHIONE, F. G. ; FANTINATO, Marcelo ; DE TOLEDO, MARIA BEATRIZ FELGAR ; GIMENES, I. M. S. . Price Definition in the Establishment of Electronic Contracts for Web Services. In: 11th International Conference on Information Integration and Web-based Applications & Services (iiWAS2009), 2009, Kuala Lumpur. Proceedings of the 11th International Conference on Information Integration and Web-based Applications & Services (iiWAS2009). New York : ACM - Association for Computiong Machinery, 2009. v. 1. p. 215-222.
10.   GIMENES, I. M. S. ; FANTINATO, Marcelo ; TOLEDO, Maria Beatriz Felgar de . A Prodcut Line for Business Process Management. In: 12th International Software Product Line Conference 2008, 2008, Limerick, Irlanda. Proceedings of the 12th International Software Product Line Conference 2008. USA : IEEE Computer Press, 2008. v. 1. p. 1-11.
11. OLIVEIRA JÚNIOR, E. A. ; GIMENES, I. M. S. ; MALDONADO, José Carlos . A Metric Suite to Support Software Product Line Architecture Evaluation. In: XXXIV Conferencia Latinoamericana de Informática (CLEI), 2008, 2008, Santa Fé, Argentina. Anales da XXXIV Conferencia Latinoamericana de Informática (CLEI), 2008. v. 1. p. 489-498.
12. ZAUPA, Fabio Gabriel ; GIMENES, I. M. S. ; COWAN, D. ; ALENCAR, P. ; LUCENA, Carlos José Pereira de . Um Processo de Dsenvolvimento de Aplicações Web baseado em Serviços. In: I Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software, 2007, Campinas-SP. Anais do Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software. Porto Alegre - RS : SBC, 2007. v. I. p. 89-102.
13. GIMENES, I. M. S. ; FANTINATO, Marcelo ; TOLEDO, Maria Beatriz Felgar de . A Feature-based Approach to Electronic Contracts. In: IEEE Joint Conference on E-Commerce Technology (CEC'06) and Enterprise Computing, E-Commerce and E-Services, 2006, San Francisco. Proceedings of IEEE Joint Conference on E-Commerce Technology (CEC'06) and Enterprise Computing, E-Commerce and E-Services, 2006.
14. FANTINATO, Marcelo ; GIMENES, I. M. S. ; TOLEDO, Maria Beatriz Felgar de . Web Service E-Contract Establishment Using Features. In: 4th International Conference on Business Process Management, 2006, Viena, Áustria. Business Process Management. Berlin Heidelberg : Springer, 2006. v. LNCS. p. 290-304.
15. GIMENES, I. M. S. ; NISHIMURA, Ruy ; OLIVEIRA JUNIOR, Edson Alves de ; LAZILHA, Fabrício Ricardo ; KULESZA, Uirá ; LUCENA, Carlos José Pereira de . A Component-based Product Development Process for a Workflow Management System Product Line. In: 19o. Simpósio Brasileiro de Engenharia de Software, 2005, Uberlândia. Anais do 19o. Simpósio Brasileiro de Engenharia de Software. Porto Alegre : SBC, 2005. p. 279-294.
16. OLIVEIRA JUNIOR, Edson Alves de ; GIMENES, I. M. S. ; HUZITA, Elisa Hatsue Moriya ; MALDONADO, José Carlos . A Variability Management Process for Software Product Lines. In: CASCON 2005, 2005, Toronto. Proceeding of CASCON 2005. Ottawa, Canada : National Research Council Canada, 2005. v. 1. p. 30-44.
17. OLIVEIRA JUNIOR, Edson Alves de ; GIMENES, I. M. S. ; LAZILHA, Fabrício Ricardo ; NISHIMURA, Ruy . Implementação de uma Arquitetura de Linha de Produto para Sistemas de Gerenciamento de Workflow em ArchJava. In: Congresso Brasileiro de Computação, 2004, Itajaí. Anais do IV Congresso Brasileiro de Computação, 2004. v. 1. p. 88-94.
18. GIMENES, I. M. S. ; OLIVEIRA JUNIOR, Edson Alves de ; LAZILHA, Fabrício Ricardo ; BARROCA, Leonor . A Product Line Architecture for Workflow Management Systems with Component-Based Development. In: 2003 IEEE International Conference on Information Reuse and Integration (IRI - 2003), 2003, Las Vegas, NV, USA. Proceedings of the 2003 IEEE International Conference on Information Reuse and Integration (IRI - 2003). Piscataway, NJ, USA : IEEE Systems, Man, and Cybernetcs Society (SMC), 2003. v. 1. p. 112-119.
19. GIMENES, I. M. S. ; OLIVEIRA JUNIOR, Edson Alves de ; LAZILHA, Fabrício Ricardo ; BARROCA, Leonor . A Component-based Product Line Architecture for Workflow Management Systems. In: XXIX Conferencia Latino Americana de Informática, 2003, La Paz, Bolívia. Anais da XXIX Conferência Latino Americana de Informática, 2003. p. 1-10.
20. LAZILHA, Fabrício Ricardo ; GIMENES, I. M. S. ; OLIVEIRA JUNIOR, Edson Alves de . Uma Arquitetura de Linha de Produto para Sistemas de Gerenciamento de Workflow de acordo com a Abordagem de Desenvolvimento Baseado em Componentes. In: III Jornadas Iberoamericanas de Engenharia de Software e Engenharia de Conhecimento, 2003, Valdivia, Chile. Anais do III Jornadas Iberoamericanas de Engenharia de Software e Engenharia de Conhecimento, 2003. p. 1-11.
21. GIMENES, I. M. S. ; DIAS, M. M. ; HUZITA, Elisa H M ; ROMÃO, W. ; PAZZINATO, M. R. ; SAMBINELLI, F. ; DUARTE, V. V. . Intersul: A Web-based Information System to Support the Managemnt of Science and Technology. In: 3rd IFIP on e-Commerce, e-Business, and e_Governement, 2003, Guarujá, SP. Poster Session of the 3rd IFIP on e-Commerce, e-Business, and e_Governement, 2003. p. 1-3.
22. BAPTISTA, L. F. A. ; DIRENE, A. I. ; TRINDADE, J. T. P. ; GIMENES, I. M. S. ; TAHA, O. G. . Autoria de Diretrizes Pedagógicas Destinadas ao Treinamento das Múltiplas Capacidades da Perícia em Conceitos Visuais Complexos. In: XI Simpósio Brasileiro de Informática na Educação, 2003, Rio de Janeiro, RJ. Anais do XI Simpósio Brasileiro de Informática na Educação. Porto Alegre, RS : Sociedade Brasileira de Computação, 2003. v. 1. p. 573-582.
23. LAZILHA, Fabrício Ricardo ; GIMENES, I. M. S. ; PRICE, R. T. . Uma Proposta de Arquitetura de Linha de Produtos para Workflow Management Systems. In: XVI Simpósio Brasileiro de Engenharia de Software, 2002, Gramado. Anais do XVI Simpósio Brasileiro de Engenharia de Software. Porto Alegre : Sociedade Brasileira de Computação, 2002. p. 68-81.
24. OLIVEIRA JUNIOR, Edson Alves de ; STEINMACHER, I. F. ; TAKANO, E. ; GIMENES, I. M. S. . ExPSEE: Um Ambiente Experimental de Engenharia de Software Orientado a Processos. In: II Congresso Brasileiro de Computação (II CBCOMP), 2002, Itajaí. Anais do II Congresso Brasileiro de Computação (II CBCOMP), 2002.
25. GIMENES, I. M. S. ; OLIVEIRA JUNIOR, Edson Alves de ; MORANDINI, M. ; DELAMARO, M. E. . P/pTool: a Tool for Collection and Evaluation of Model Based Metrics for Software Processes. In: The 4th European Conference on Software Measument and ICT Control, 2001, Heidelberg - Alemanha. Proceedings of the 4th European Conference on Software Measument and ICT Control - FESMA/DASMA. Heidelberg (Alemanha) : FESMA-DASMA, 2001. v. 1. p. 339-347.
26. GIMENES, I. M. S. ; OLIVEIRA JÚNIOR, E. A. ; MORANDINI, M. . Definição de Métricas de Produtos de Software para uma Ferramenta de Workflow. In: I CONGRESSO BRASILEIRO DE COMPUTAÇÃO - CBCOMP 2001, 2001, Itajai. Anais do I CONGRESSO BRASILEIRO DE COMPUTAÇÃO - CBCOMP 2001, 2001. p. 77-87.
27. GIMENES, I. M. S. ; TANAKA, S. A. ; PALAZZO, J. C. O. . An Object Oriented Framework for Task Scheduling. In: TOOLS Europe 2000, 2000, Mont St Michel - França. TOOLS 33 Technology of Object-Oriented Language and Systems. Los Alamitos, USA : IEEE Computer Society Press, 2000. v. 1. p. 383-394.
28. HUZITA, Elisa H M ; BESSANI, A. N. ; GIMENES, I. M. S. . A Distributed Workflow System Based on a Microkernel Architecture. In: PDPTA'2000 - The 2000 International Conference on Parallel and Distributed Processing Techniques and Applications, 2000, Las Vegas-Nevada-USA. PDPTA'2000. Las Vegas-Nevada-USA : Computer Science Research, Education, & Applications Press (CSREA: USA Federal EIN 58-2171953), 2000. v. III. p. 1613-1619.
29. GIMENES, I. M. S. ; PADILHA, A. M. ; WAINER, J. . MAPS-15504 - Uma metodologia automatizada para avaliação de processo de software. In: VII Workshop de Qualidade de Software, 2000, João Pessoa. Anais do VII Workshop de Qualidade de Software. João Pessoa-PB : Sociedade Brasileira de Computação, 2000. p. 317-327.
30. GIMENES, I. M. S. ; OLIVEIRA JUNIOR, Edson Alves de ; MORANDINI, M. . P/pTool: Uma Ferramenta para Coleta e Avaliação de Métricas Baseadas em Modelos para Processos de Software. In: V Mostra de Trabalhos de Informática - II Fórum de Informática e Tecnologia de Maringá, 2000, Maringá-PR. Anais da V Mostra de Trabalhos de Informática. Maringá-PR : Departamento de Informática/UEM, 2000. p. 76-85.
31. GIMENES, I. M. S. ; WEISS, G. M. ; HUZITA, Elisa Hatsue Moriya . Um Padrão para Definição de um Gerenciador de Processos de Software. In: II Workshop Iberoamericano de Requisitos y Ambientes Software, 1999, San Jose. Ideas'99 Memorias. San Jose : Instituto Tecnológico de Costa Rica, 1999. v. 1. p. 36-46.
32. SILVA FILHO, A. M. ; SAITO, J. T. ; GIMENES, I. M. S. . Real Time Supervisor Modeling for Telecom Systems. In: IEEE Symposium on Application-Specific Systems and Software Engineering Technology, 1999, Dallas-Texas. IEEE Symposium on Application-Specific Systems and Software Engineering Technology. Dallas-Texas : IEEE Computer Society Press, 1999. v. 1. p. 162-169.
33. GIMENES, I. M. S. ; SETTI, M. G. ; RENAUX, D. P. B. . Gerando a Especificação de um Workflow em WPDL a partir de uma Especificação Gráfica. In: International Seminar on Document Management, 1998, Curitiba. International Seminar on Document Management, 1998. v. 1. p. 1-13.
34. GIMENES, I. M. S. ; SILVA, S. R. P. ; HAEBERER, A. . FORMLAB: Um Ambiente Integrado de Apoio aos Métodos Formais para o Desenvolvimento de Software. In: I Workshop Iberoamericano de Engenharia de Requisitos e Ambientes de Software, 1998, Torres-RS. I Workshop Iberoamericano de Engenharia de Requisitos e Ambientes de Software, 1998. v. 1. p. 133-144.
35. GIMENES, I. M. S. ; TRINDADE, J. T. P. . The Application of the Anthropocentric Production Systems in Services Sector. In: IF for Competitiveness Experiences in Latin America and the Caribean, 1997, Florianópolis. IF for Competitiveness Experiences in Latin America and the Caribean, 1997. v. 1.
36. GIMENES, I. M. S. ; SANTANDER, V. F. A. ; MASIERO, Paulo Cezar . Improving Software Development through an Intelligent Assistant to the Software Process. In: 2nd International Conference on Software Process Improvement - Research into Education & Training, 1997, Gothenburg-Suécia. 2nd International Conference on Software Process Improvement - Research into Education & Training. Gothenburg-Suécia : British Computer Society, 1997. v. 1. p. 157-167.
37. GIMENES, I. M. S. ; SANTANDER, V. F. A. ; MASIERO, Paulo Cezar . Assistência Inteligente ao Processo de Software. In: XI Simpósio Brasileiro de Engenharia de Software, 1997, Fortaleza-CE. XI Simpósio Brasileiro de Engenharia de Software, 1997. v. 1. p. 147-161.
38. GONÇALVES, R. A. L. ; AKAMATU, D. M. ; GIMENES, I. M. S. . Proposta de uma Ferramenta para Elaboração e Monitoração de Aplicações Distribuídas. In: X Simpósio Brasileiro de Engenharia de Software, 1996, São Carlos-SP. X Simpósio Brasileiro de Engenharia de Software, 1996. v. 1. p. 275-290.
39. GIMENES, I. M. S. ; TAIT, T. C. . Iniciação à Ciência da Computação. In: IV Workshop de Educação em Informática, 1996, Recife-PE. IV Workshop de Educação em Informática, 1996. v. 1. p. 51-63.
40. GIMENES, I. M. S. ; FERRARI, S. ; MARTIMIANO, L. A. F. . Melhorando a Qualidade do Processo de Teste através de uma Ferramenta Integrada. In: VII Conferência Internacional de tecnologia de Software: Qualidade de Software, 1996, Curitiba-PR. VII Conferência Internacional de tecnologia de Software: Qualidade de Software, 1996. v. 1. p. 171-185.
41. GIMENES, I. M. S. . Avaliação do Processo de Software. In: IV Escola Regional da Sociedade Brasileira de Computação, 1996, Canoas-RS, Itajai-SC, Londrina. IV Escola Regional da Sociedade Brasileira de Computação, 1996. v. 1. p. 74-91.
42. ITO, S. A. ; GIMENES, I. M. S. . Um Estudo sobre Interfaces Amigáveis para um Laboratório Integrado de Apoio a Métodos Formais. In: VII Semana de Informática, 1996, Maringá-PR. VII Semana de Informática, 1996. v. 1. p. 45-67.
43. CONSONI, C. ; GIMENES, I. M. S. . Desenvolvimento de uma ferramenta para auxiliar a tarefa de elicitação de requisitos. In: VII Semana de Informática, 1996, Maringá-PR. VII Semana de Informática, 1996. v. 1. p. 87-109.
44. SUGETA, T. ; GIMENES, I. M. S. . Especificações lógicas aplicadas ao processo de engenharia de software. In: VII Semana de Informática, 1996, Maringá-PR. VII Semana de Informática, 1996. v. 1. p. 111-134.
45. SANCHES, I. J. ; GIMENES, I. M. S. . Um conjunto de classes C++ para integração da ferramenta de teste POKE-TOOL em um PSEE. In: VII Semana de Informática, 1996, Maringá-PR. VII Semana de Informática, 1996. v. 1. p. 369-390.
46. GIMENES, I. M. S. ; NANNI, E. L. . Construção de uma Base para Ambientes de Engenharia de Software. In: III Encontro Interuniversitario de Informática do Paraná, 1995, Curitiba-PR. III Encontro Interuniversitario de Informática do Paraná, 1995. v. 1.
47. MARTIMIANO, L. A. F. ; GIMENES, I. M. S. . Integração da Ferramenta de Teste POKE-TOOL em PCTE. In: IV Encontro Anual de Iniciação Científica CNPq/UEM/UEL/UEPG, 1995, Maringá-PR. IV Encontro Anual de Iniciação Científica CNPq/UEM/UEL/UEPG, 1995. v. 1.
48. GIMENES, I. M. S. . HI-PSEE: Um Ambiente de Apoio ao Desenvolvimento de Software Crítico. In: XIV Congresso da Sociedade Brasileira de Computação (SEMISH), 1994, Caxambu-MG. XIV Congresso da Sociedade Brasileira de Computação (SEMISH), 1994. v. 1. p. 239-254.
49. SILVA, G. A. ; GIMENES, I. M. S. . Um Sistema de Gerenciamento de Configuração de Software Interativo. In: II Encontro Interuniversitário de Informática do Paraná, 1994, Maringá-PR. II Encontro Interuniversitário de Informática do Paraná, 1994. v. 1. p. 80-95.
50. REDER, A. C. ; BERTUOL, G. G. ; GIMENES, I. M. S. . Integração de Gerenciamento de Projetos em Ambientes de Engenharia de Software. In: II Encontro Interuniversitário de Informática do Paraná, 1994, Maringá-PR. II Encontro Interuniversitário de Informática do Paraná, 1994. v. 1. p. 170-182.
51. ROSA, A. A. ; TOYOTA, C. M. ; VILHANUEVA, M. P. ; GIMENES, I. M. S. . Uma Análise dos Requisitos de Linguagens de Programação de Processos de Software. In: II Encontro Interuniversitário de Informática do Paraná, 1994, Maringá-PR. II Encontro Interuniversitário de Informática do Paraná, 1994. v. 1. p. 316-329.
52. GIMENES, I. M. S. ; MCDERMID, J. A. . Investigating and Formalising the Development of HIS within PSEEs. In: 8th International Software Process Workshop, 1993, Wadern-Alemanha. 8th International Software Process Workshop. Wadern-Alemanha : IEEE Computer Society Press, 1993. v. 1. p. 90-94.
53. GIMENES, I. M. S. ; MALDONADO, José Carlos . How High Integrity Systems can Benefit from Process-centred Software Engineering Environments. In: IEE Colloquium on Air Traffic Control Systems, 1992, Londres. IEE Colloquium on Air Traffic Control Systems. Londres : IEE, 1992. v. 1. p. 10/1-10/4.
54. GIMENES, I. M. S. ; MALDONADO, José Carlos . High Integrity Systems and Software Quality. In: X Congresso da Sociedade Brasileira de Computação, 1990, Vitória-ES. X Congresso da Sociedade Brasileira de Computação, 1990. v. 1. p. 186-200.
55. GIMENES, I. M. S. ; CENTODUCATE, P. C. . Um Sistema de Aquisição de Dados Meteorológicos Baseado em Microprocessador. In: I Semana de Informática da UFBa, 1986, Salvador-Ba. I Semana de Informática da UFBa, 1986. v. 1. p. 97-102.
Resumos expandidos publicados em anais de congressos
1. Silva, G. C. ; GIMENES, I. M. S. ; FANTINATO, Marcelo ; TOLEDO, Maria Beatriz Felgar de . Negotiating Software Acquisition Supported by Web Services in a Distributed Software Development Process. In: 22nd International Conference on Software Engineering and Knowledge Engineering SEKE 2010, 2010, Redwood City, San Francisco. Proceedings of the 22nd International Conference on Software Engineering and Knowledge Engineering SEKE 2010. San Francisco Bay, USA : SEKE, 2010. v. 1. p. 221-224.
2. Rodrigues, E. M. ; Vicarri, L. ; Zorzo, A. ; GIMENES, I. M. S. . PLeTs - Test Automation using Software Product Lines and Model Based Testing. In: The 22nd International Conference on Software Engineering and Knowledge Engineering, 2010 - SEKE 2010, 2010, Redwood, EUA. Proceedings of The 22nd International Conference on Software Engineering and Knowledge Engineering, 2010 - SEKE 2010. Redwood, EUA : SEKE, 2010. v. 1. p. 1-6.
3. TOLEDO, Maria Beatriz Felgar de ; Nabuco, O. ; Rodrigues, M. ; Capretz, Miriam ; FANTINATO, Marcelo ; GIMENES, I. M. S. ; Bonancin, R. ; Guerra, Ana ; Rocha, T. ; JINO, M. . Gestão do Conhecimento e da Colaboração em Pesquisa Clínica. In: II Seminário sobre Grandes Desafios da Computação no Brasil,, 2009, Manaus. Anais do II Seminário sobre Grandes Desafios da Computação no Brasil,. Porto Alegre : SBC, 2009.
4. FANTINATO, Marcelo ; GIMENES, I. M. S. ; TOLEDO, Maria Beatriz Felgar de . Supporting QoS Negotiation with Feature Modeling. In: Service Oriented Computing - ICSOC 2007, 2007, Viena. Lecture Notes in Computer Science. Heidelberg : Springer Berlim, 2007. v. 4749. p. 429-434.
5. FREITAS, M. ; GIMENES, I. M. S. ; GARCIA, A. F. . Monitoramento baseado em aspectos de contratos eletrônicos. In: LA-WASP, 2007, João Pessoa- PB. Anais do LA-WASP. Porto Alegre - RS : SBC, 2007. v. I. p. 169-174.
6. FANTINATO, Marcelo ; TOLEDO, Maria Beatriz Felgar de ; GIMENES, I. M. S. ; Oliveira, A. R. . Estabelecimento de Contratos Eletrônicos para Serviços Web com a Ferramenta FeatureContract. In: WBPM 2007 - I Brazilian Workshop on Business Process Management, 2007, Gramado. Anais do WBPM 2007 - I Brazilian Workshop on Business Process Management, 2007. v. 1. p. 1-6.
7. GIMENES, I. M. S. ; OLIVEIRA JUNIOR, Edson Alves de ; LAZILHA, Fabrício Ricardo ; NISHIMURA, Ruy ; BARROCA, Leonor . A Product Line for Workflow Management Systems. In: Experimental Software Engineering Latin American Workshop, 2004, Brasélia, 2004.
Resumos publicados em anais de congressos
1. Bordoni, T. H. ; GIMENES, I. M. S. . Contratos eletrônicos para desenvolvimento de software. In: XVI Encontro Anual de Iniciação Científica -EAIC, 2007, Maringá. Anais do XVI Encontro Anual de Iniciação Científica -EAIC (ISSN:1676-0018), 2007. v. 1. p. 1-3.
2. Santos, E. P. B. ; GIMENES, I. M. S. . Comparando Eclipse e Netbeans para o desenvolvimento de interfaces gráficas. In: XVI Encontro Anual de Iniciação Científica -EAIC, 2007, Maringá. Anais do XVI Encontro Anual de Iniciação Científica -EAIC (ISSN:1676-0018), 2007. v. 1. p. 1-3.
3. Oliveira, A. R. ; GIMENES, I. M. S. ; TOLEDO, Maria Beatriz Felgar de ; FANTINATO, Marcelo . Aplicando o estabelecimento de contratos eletrônicos. In: XVI Encontro Anual de Iniciação Científica -EAIC, 2007, Maringá. Anais do XVI Encontro Anual de Iniciação Científica -EAIC (ISSN:1676-0018), 2007. v. 1. p. 1-3.
4. KURODA, V. T. ; GIMENES, I. M. S. . DESENVOLVIMENTO DO COMPONENTE GRAPHIC INTERFACE MANAGER DO AMBIENTE EXPSEE. In: XI Encontro de Iniciação Científica do PIBIC/CNPQ CNPQ-UNIOESTE-UEL-UEM-UEPG, 2003, Cascavel. Anais do XI Encontro de Iniciação Científica do PIBIC/CNPQ CNPQ-UNIOESTE-UEL-UEM-UEPG, 2003. v. 1.
5. GIMENES, I. M. S. ; HALMEMAN, R. J. ; O JUNIOR, E. A. . Um Componente de Gerenciamento de Execução de Workflow Segundao a Abordagem de Linha de Produto de Software. In: 3o. Workshop de Desenvolvimento Baseado em Componentes, 2003, São Carlos - SP. Anais do 3o. Workshop de Desenvolvimento Baseado em Componentes, 2003.
6. GIMENES, I. M. S. ; OLIVEIRA JUNIOR, Edson Alves de ; HALMELMAN, R. J. . Uma Arquitetura de Linha de Produto Baeada em Componentes para Sistemas de Gerenciamento de Workflow. In: 3o. Workhop de Desenvolvimento Baseado em Componentes, 2003, São Carlos - SP. Anais do 3o. Workshop de Desenvolvimento Baseado em Componentes, 2003.
7. PAZZINATO, M. R. ; SAMBINELLI, F. ; GIMENES, I. M. S. ; DUARTE, V. V. ; ROMÃO, W. ; DIAS, M. M. ; HUZITA, Elisa H M . Intersul: Sistema Inteligente de Apoio a Rede Sul de Pesquisa e Pós-Graduação. In: XI Encontro Anual de Iniciação Científica, 2002, Maringá. Anais do XI Encontro Anual de Iniciação Científica, 2002.
8. OLIVEIRA JUNIOR, Edson Alves de ; GIMENES, I. M. S. . Portando o ExPSEE para a Plataforma Linux. In: XI Encontro Anual de Iniciação Científica, 2002, Maringá. Anais do XI Encontro Anual de Iniciação Científica, 2002.
9. OLIVEIRA JUNIOR, Edson Alves de ; GIMENES, I. M. S. . Portando o ExPSEE para Linux. In: IV FITEM - FÓRUM DE INFORMÁTICA E TECNOLOGIA DE MARINGÁ, 2002, Maringá. Anais do IV FITEM - FÓRUM DE INFORMÁTICA E TECNOLOGIA DE MARINGÁ, 2002.
10. OLIVEIRA JUNIOR, Edson Alves de ; BARBOSA, M. A. ; GIMENES, I. M. S. ; SARTORI, R. ; GOMES, J. L. . Construção de um Sistema de Apoio à Inscrição e Avaliação de Trabalhos em Eventos Científicos. In: XI Encontro Anual de Iniciação Científica, 2002, Maringá. Anais do XI Encontro Anual de Iniciação Científica, 2002.
11. GIMENES, I. M. S. ; TAKANO, E. ; DELAMARO, M. E. . Uma arquitetura de componentes para o ambiente ExPSEE. In: X Encontro de Iniciação Científica do PIBIC/CNPQ CNPQ-UNIOESTE-UEL-UEM-UEPG, 2001, Ponta Grossa. Anais do X Encontro de Iniciação Científica do PIBIC/CNPQ CNPQ-UNIOESTE-UEL-UEM-UEPG, 2001.
12. GIMENES, I. M. S. ; OLIVEIRA JUNIOR, Edson Alves de ; MORANDINI, M. . Animação do módulo de simulação de processos da P/pTool. In: X Encontro de Iniciação Científica do PIBIC/CNPQ CNPQ-UNIOESTE-UEL-UEM-UEPG, 2001, Ponta Grossa. Anais do X Encontro de Iniciação Científica do PIBIC/CNPQ CNPQ-UNIOESTE-UEL-UEM-UEPG. p. 355-356.
13. GIMENES, I. M. S. ; STEINMACHER, I. F. . Uma Agenda, um Ambiente de Programação e uma Ferramenta parra Conferência para o ExPSEE. In: X Encontro de Iniciação Científica do PIBIC/CNPQ CNPQ-UNIOESTE-UEL-UEM-UEPG, 2001, Ponta Grossa. Anais do X Encontro de Iniciação Científica do PIBIC/CNPQ CNPQ-UNIOESTE-UEL-UEM-UEPG, 2001.
14. GIMENES, I. M. S. ; OLIVEIRA JUNIOR, Edson Alves de ; MORANDINI, M. . P/pTool: Uma Ferramenta para Coleta e Avaliação de Métricas Baseadas em Modelos para Processos de Software. In: XX Congresso Nacional da Sociedade Brasileira de Computação - XIX Concurso de Trabalhos de Iniciação Científica, 2000, Curitiba-PR. Anais do XX Congresso Nacional da SBC/Trabalhos de Iniciação Científica. Porto Alegre - RS : Sociedade Brasileira de Computação, 2000. v. 1. p. 47-47.
15. GIMENES, I. M. S. ; OLIVEIRA JUNIOR, Edson Alves de ; MORANDINI, M. . P/pTool: Uma Ferramenta para Coleta e Avaliação de Métricas Baseadas em Modelos para Processos de Software. In: III ENCONTRO DE ATIVIDADES CIENTÍFICAS DA UNOPAR, 2000, Londrina-PR. Anais do III Encontro de Atividades Científicas da UNOPAR. Londrina-PR : UNOPAR, 2000. p. 451-451.
16. GIMENES, I. M. S. ; OLIVEIRA JUNIOR, Edson Alves de ; MORANDINI, M. . Introdução de Métricas de Produtos de Software em uma Ferramenta de Workflow. In: IX Encontro Anual de Iniciação Científica PIBIC/CNPq CNPq-UNIOESTE-UEL-UEM-UEPG, 2000, Londrina-PR. Anais do IX Encontro Anual de Iniciação Científica PIBIC/CNPq CNPq-UNIOESTE-UEL-UEM-UEPG. Londrina-PR : UEL, 2000. v. 1. p. 79-80.
17. GIMENES, I. M. S. . Implementação do Módulo de Assistência Inteligente à Derivação de Processos de uma Ferramenta para Coleta e Avaliação de Métricas Baseadas em Modelos para Processos de Software. In: VIII Encontro Anual de Iniciação Científica - PIBIC/CNPq CNPq-UNIOESTE-UEL-UEM-UEPG, 1999, Cascavel-PR. VIII Encontro Anual de Iniciação Científica - PIBIC/CNPq CNPq-UNIOESTE-UEL-UEM-UEPG. v. 1.
18. BESSANI, A. N. ; HUZITA, Elisa H M ; GIMENES, I. M. S. . Utilização do Padrão CORBA como Mecanismo de Integração por Controle de Ambientes de Engenharia de Software. In: VIII Encontro Anual de Iniciação Científica - PIBIC/CNPq CNPq-UNIOESTE-UEL-UEM-UEPG, 1999, Cascavel-PR. VIII Encontro Anual de Iniciação Científica - PIBIC/CNPq CNPq-UNIOESTE-UEL-UEM-UEPG, 1999. v. 1.
19. CARNIELO, A. ; GIMENES, I. M. S. . Um Ambiente de Programação de Processos Cooperativos. In: VIII Encontro Anual de Iniciação Científica - PIBIC/CNPq CNPq-UNIOESTE-UEL-UEM-UEPG, 1999, Cascavel-PR. VIII Encontro Anual de Iniciação Científica - PIBIC/CNPq CNPq-UNIOESTE-UEL-UEM-UEPG, 1999. v. 1.
20. GIMENES, I. M. S. ; YANAGA, E. . Implementação do Módulo de Simulação de Processos (P/Psim) para uma Ferramenta de Coleta e Avaliação de Métricas Baseadas em Modelos de Processos de Software. In: VIII Encontro Anual de Iniciação Científica - PIBIC/CNPq CNPq-UNIOESTE-UEL-UEM-UEPG, 1999, Cascavel-PR. VIII Encontro Anual de Iniciação Científica - PIBIC/CNPq CNPq-UNIOESTE-UEL-UEM-UEPG, 1999.
21. GIMENES, I. M. S. ; CARNIELO, A. . Um Framework para Definição de um Gerenciador de Processos de Software. In: VIII Encontro Anual de Iniciação Científica - PIBIC/CNPq CNPq-UNIOESTE-UEL-UEM-UEPG, 1999, Cascavel-PR. VIII Encontro Anual de Iniciação Científica - PIBIC/CNPq CNPq-UNIOESTE-UEL-UEM-UEPG, 1999. v. 1.
22. CALVO, R. A. ; GIMENES, I. M. S. . Implementação do Módulo de Assistência Inteligente à Derivação de Processos de uma Ferramenta para Coleta e Avaliação de Métricas Baseadas em Modelos para Processos de Software. In: IV Encontro Anual de Iniciação Científica da UNOESTE, 1999, Presidente Prudente-SP. IV Encontro Anual de Iniciação Científica da UNOESTE, 1999. v. 1.
23. FANTINATO, Marcelo ; CARNIELO, A. ; GIMENES, I. M. S. . Linguagem para Programação de Processos de Software. In: V Jornada Nacional de Iniciação Científica - 50a. Reunião Anual da SBPC, 1998, Natal - RN. V Jornada Nacional de Iniciação Científica - 50a. Reunião Anual da SBPC, 1998. v. 1.
24. GIMENES, I. M. S. ; FANTINATO, Marcelo ; CARNIELO, A. . Gerenciador de Processos de Software. In: V Jornada Nacional de Iniciação Científica - 50a. Reunião Anual da SBPC, 1998, Natal-RN. V Jornada Nacional de Iniciação Científica - 50a. Reunião Anual da SBPC, 1998. v. 1.
25. BESSANI, A. N. ; HUZITA, Elisa Hatsue Moriya ; GIMENES, I. M. S. . CORBA como Mecanismo de Integração em Ambientes de Engenharia de Software. In: III Mostra de Trabalhos em Informática, 1998, Maringá-PR. III Mostra de Trabalhos em Informática, 1998. v. 1.
26. SOARES, E. L. S. ; GIMENES, I. M. S. . Projeto de um Ambiente de Engenharia de Software Baseado em Java. In: III Mostra de Trabalhos em Informática, 1998, Maringá-PR. III Mostra de Trabalhos em Informática, 1998. v. 1.
27. GIMENES, I. M. S. ; CALVO, R. A. . Definição de métricas baseadas em modelos para processo de software. In: III Mostra de Trabalhos em Informática, 1998, Maringá-PR. III Mostra de Trabalhos em Informática, 1998. v. 1.
28. CARNIELO, A. ; GIMENES, I. M. S. . Um Ambiente de Programação de Processos de Softwae. In: III Mostra de Trabalhos em Informática, 1998, Maringá-PR. III Mostra de Trabalhos em Informática, 1998. v. 1.
29. GIMENES, I. M. S. ; FANTINATO, Marcelo . O Gerenciador de Processos de Software do Ambiente ExPSEE. In: III Mostra de Trabalhos em Informática, 1998, Maringá-PR. III Mostra de Trabalhos em Informática, 1998. v. 1.
30. WEISS, G. M. ; GIMENES, I. M. S. . Um Framework para Definição da Arquitetura de Processos do Ambiente ExPSEE. In: III Mostra de Trabalhos em Informática, 1998, Maringá. III Mostra de Trabalhos em Informática, 1998. v. 1.
31. SILVA FILHO, A. M. ; SAITO, J. T. ; GIMENES, I. M. S. . Desenvolvimento de um Protótipo de Supervisor do Software de Sistema de Tempo Real para Melhoria da Confiabilidade de Software. In: III Mostra de Trabalhos em Informática, 1998, Maringá-PR. III Mostra de Trabalhos em Informática, 1998. v. 1.
32. GIMENES, I. M. S. ; CALVO, R. A. . Definição de métricas baseadas em modelos para processo de software. In: VII Encontro Anual de Iniciação Científica CNPq-UEM-UEL-UEPG-UNIOESTE, 1998, Maringá-PR. VII Encontro Anual de Iniciação Científica CNPq-UEM-UEL-UEPG-UNIOESTE. v. 1.
33. SAITO, J. T. ; SILVA FILHO, A. M. ; GIMENES, I. M. S. . Desenvolvimento de um Protótipo de Supervisor do Software de Sistema de Tempo Real para Melhoria da Confiabilidade de Software. In: VII Encontro Anual de Iniciação Científica CNPq-UEM-UEL-UEPG-UNIOESTE, 1998, Maringá-PR. VII Encontro Anual de Iniciação Científica CNPq-UEM-UEL-UEPG-UNIOESTE, 1998. v. 1.
34. FANTINATO, Marcelo ; GIMENES, I. M. S. . O Gerenciador de Processos do Ambiente ExPSEE. In: VII Encontro Anual de Iniciação Científica CNPq-UEM-UEL-UEPG-UNIOESTE, 1998, Maringá-PR. VII Encontro Anual de Iniciação Científica CNPq-UEM-UEL-UEPG-UNIOESTE, 1998. v. 1.
35. GIMENES, I. M. S. ; YANAGA, E. . Prototipação de uma Ferramenta para Coleta e Avaliação de Métricas Baseadas em Modelos para Processos de Software. In: VII Encontro Anual de Iniciação Científica CNPq-UEM-UEL-UEPG-UNIOESTE, 1998, Maringá-PR. VII Encontro Anual de Iniciação Científica CNPq-UEM-UEL-UEPG-UNIOESTE, 1998. v. 1.
36. CARNIELO, A. ; GIMENES, I. M. S. . Um Ambiente de Programação de Processos de Software. In: VII Encontro Anual de Iniciação Científica CNPq-UEM-UEL-UEPG-UNIOESTE, 1998, Maringá-PR. VII Encontro Anual de Iniciação Científica CNPq-UEM-UEL-UEPG-UNIOESTE, 1998. v. 1.
37. WEISS, G. M. ; GIMENES, I. M. S. . Um Framework para Definição da Arquitetura de Processos do Ambiente ExPSEE. In: VII Encontro Anual de Iniciação Científica CNPq-UEM-UEL-UEPG-UNIOESTE, 1998, Maringá-PR. VII Encontro Anual de Iniciação Científica CNPq-UEM-UEL-UEPG-UNIOESTE, 1998. v. 1.
38. WEISS, G. M. ; GIMENES, I. M. S. . Um Framework para Definição da Arquitetura de Processos do Ambiente ExPSEE. In: III Encontro Anual de Pesquisa e de Iniciação Científica da UNOESTE, 1998, Presidente Prudente-SP. VII Encontro Anual de Iniciação Científica CNPq-UEM-UEL-UEPG-UNIOESTE, 1998. v. 1.
39. SAITO, J. T. ; GIMENES, I. M. S. . Desenvolvimento de um Protótipo de Supervisor do Software de Sistema de Tempo Real para Melhoria da Confiabilidade de Software. In: III Encontro Anual de Pesquisa e de Iniciação Científica da UNOESTE, 1998, Presidente Prudente-SP. III Encontro Anual de Pesquisa e de Iniciação Científica da UNOESTE, 1998. v. 1.
40. GIMENES, I. M. S. ; CARNIELO, A. . Um Ambiente de Programação de Processos de Softwae. In: III Encontro Anual de Pesquisa e de Iniciação Científica da UNOESTE, 1998, Presidente Prudente-SP. III Encontro Anual de Pesquisa e de Iniciação Científica da UNOESTE, 1998. v. 1.
41. FANTINATO, Marcelo ; GIMENES, I. M. S. . O Gerenciador de Processos de Software do Ambiente ExPSEE. In: III Encontro Anual de Pesquisa e de Iniciação Científica da UNOESTE, 1998, Presidente Prudente-SP. III Encontro Anual de Pesquisa e de Iniciação Científica da UNOESTE, 1998. v. 1.
42. DIAS, L. R. ; HUZITA, Elisa Hatsue Moriya ; GIMENES, I. M. S. . A utilização de Patterns na Especificação da Arquitetura de Ambiente de Desenvolvimento de Software. In: 6o. Simpósio de Estudantes do CESULON, 1998, Londrina-PR. 6o. Anais do Simpósio de Estudantes do CESULON, 1998. v. 1.
43. BESSANI, A. N. ; HUZITA, Elisa H M ; GIMENES, I. M. S. . CORBA como Mecanismo de Integração em Ambientes de Engenharia de Software. In: 6o. Simpósio de Estudantes do CESULON, 1998, Londrina-PR. 6o. Anais do Simpósio de Estudantes do CESULON, 1998. v. 1.
44. GIMENES, I. M. S. ; WEISS, G. M. . Um Framework para Definição da Arquitetura de Processos do Ambiente ExPSEE. In: 6o. Simpósio de Estudantes do CESULON, 1998, Londrina-PR. 6o. Anais do Simpósio de Estudantes do CESULON, 1998. v. 1.
45. SAITO, J. T. ; SILVA FILHO, A. M. ; GIMENES, I. M. S. . Construção de um Protótipo de Supervisor do Software de Sistema de Tempo Real para Melhoria da Confiabilidade de Software. In: 6o. Simpósio de Estudantes do CESULON, 1998, Londrina-PR. 6o. Anais do Simpósio de Estudantes do CESULON, 1998. v. 1.
46. FERRARI, S. ; GIMENES, I. M. S. ; MALDONADO, José Carlos . Integração de uma Ferramenta de Teste em Ambientes de Engenharia de Software Baseados em PCTE. In: II Workshop de Teses em Engenharia de Software, 1997, Fortaleza-CE. II Workshop de Teses em Engenharia de Software, 1997. v. 1.
47. CARNIELO, A. ; FANTINATO, Marcelo ; GIMENES, I. M. S. . ExPSEE - Um Ambiente Experimental de Engenharia de Software Orientado a Processos. In: II Mostra de Trabalhos em Informática, 1997, Maingá-PR. II Mostra de Trabalhos em Informática, 1997. v. 1.
48. CALVO, R. A. ; YANAGA, E. ; GIMENES, I. M. S. . Definição de Métricas de Software e Prototipação de uma Ferramenta embasada no Modelo Produto/processo. In: II Mostra de Trabalhos em Informática, 1997, Maringá-PR. II Mostra de Trabalhos em Informática, 1997. v. 1.
49. FERRARI, S. ; GIMENES, I. M. S. ; MALDONADO, J. C. . Integração de uma Ferramenta de Teste em Ambientes de Engenharia de Software Baseado em PCTE. In: II Mostra de Trabalhos em Informática, 1997, Maringá-PR. II Mostra de Trabalhos em Informática, 1997. v. 1.
50. GEBARA JUNIOR, M. ; GIMENES, I. M. S. . Integração por Controle Utilizando o ToolTalk. In: II Mostra de Trabalhos em Informática, 1997, Maringá-PR. II Mostra de Trabalhos em Informática, 1997. v. 1.
51. BONIFÁCIO, A. J. ; GIMENES, I. M. S. . Estudo e Comparação de Provadores de Teoremas. In: II Mostra de Trabalhos em Informática, 1997, Maringá-PR. II Mostra de Trabalhos em Informática, 1997. v. 1.
52. WEISS, G. M. ; ITO, S. A. ; GIMENES, I. M. S. . Construção de um Gerenciador de Processos de Software. In: II Mostra de Trabalhos em Informática, 1997, Maringá-PR. II Mostra de Trabalhos em Informática, 1997. v. 1.
53. ITO, S. A. ; GIMENES, I. M. S. . Prototipação da Interface com o Usuário de um Gerenciador de Processos de Software. In: II Mostra de Trabalhos em Informática, 1997, Maringá-PR. II Mostra de Trabalhos em Informática, 1997. v. 1.
54. GIMENES, I. M. S. ; YANAGAWA, R. L. . Uma Investigação sobre a Aplicação de Estilos de Arquitetura de Software na Integração de CASE. In: 5o. Simpósio de Estudantes do CESULON, 1997, Londrina-PR. Anais do 5o. Simpósio de Estudantes do CESULON, 1997. v. 1.
55. WEISS, G. M. ; ITO, S. A. ; GIMENES, I. M. S. . Construção de um Gerenciador de Processos de Software. In: COTTEIN 97 - Congresso de Tecnologia, Telecomunicações e Informática, 1997, Londrina-PR.
56. YANAGAWA, R. L. ; GIMENES, I. M. S. . Uma Investigação sobre a Aplicação de Estilos de Arquitetura de Software. In: COTTEIN 97 - Congresso de Tecnologia, Telecomunicações e Informática, 1997, Londrina-PR, 1997.
57. GIMENES, I. M. S. ; ITO, S. A. . Prototipação da Interface com o Usuário de um Gerenciador de Processos de Software. In: II Encontro Anual de Pesquisa e Iniciação Científica da UNOESTE, 1997, Presidente Prudente-SP. II Encontro Anual de Pesquisa e Iniciação Científica da UNOESTE, 1997.
58. ITO, S. A. ; WEISS, G. M. ; GIMENES, I. M. S. . Construção de um Gerenciador de Processos de Software. In: II Encontro Anual de Pesquisa e Iniciação Científica da UNOESTE, 1997, Presidente Prudente-SP. II Encontro Anual de Pesquisa e Iniciação Científica da UNOESTE, 1997.
59. ITO, S. A. ; WEISS, G. M. ; GIMENES, I. M. S. . Construção de um Gerenciador de Processos de Software. In: 5o. Evento de Iniciação Científica - EVINCI/97, 1997, Curitiba-PR. 5o. Evento de Iniciação Científica - EVINCI/97, 1997.
60. GEBARA JUNIOR, M. ; GIMENES, I. M. S. . Integração por Controle Utilizando TOOLTALK. In: VI Encontro Anual de Iniciação Científica CNPq/UEL/UEM/UEPG/UNIOESTE, 1997, Ponta Grossa-PR. VI Encontro Anual de Iniciação Científica CNPq/UEL/UEM/UEPG/UNIOESTE, 1997. v. 1.
61. SIMÃO, Adenilso Silva ; GIMENES, I. M. S. . Refinamento de Especificações Formais de Sistemas em Lógica Modal de Ações. In: VI Encontro Anual de Iniciação Científica CNPq/UEL/UEM/UEPG/UNIOESTE, 1997, Ponta Grossa-PR. VI Encontro Anual de Iniciação Científica CNPq/UEL/UEM/UEPG/UNIOESTE, 1997.
62. BONIFÁCIO, A. J. ; GIMENES, I. M. S. . Estudo e Comparação de Provadores de Teorema. In: VI Encontro Anual de Iniciação Científica CNPq/UEL/UEM/UEPG/UNIOESTE, 1997, Ponta Grossa-PR. VI Encontro Anual de Iniciação Científica CNPq/UEL/UEM/UEPG/UNIOESTE, 1997. v. 1.
63. ITO, S. A. ; WEISS, G. M. ; GIMENES, I. M. S. . Construção de um Gerenciador de Processos de Software. In: VI Encontro Anual de Iniciação Científica CNPq/UEL/UEM/UEPG/UNIOESTE, 1997, Ponta Grossa-PR. VI Encontro Anual de Iniciação Científica CNPq/UEL/UEM/UEPG/UNIOESTE, 1997. v. 1.
64. SANTANDER, V. F. A. ; GIMENES, I. M. S. . Assistência Inteligente ao Processo de Software. In: I Workshop de Teses de Mestrado em Engenharia de Software, 1996, São Carlos-SP. I Workshop de Teses de Mestrado em Engenharia de Software, 1996. v. 1.
65. SANTANDER, V. F. A. ; GIMENES, I. M. S. . Assistência Inteligente ao Processo de Softwaer. In: II Simpósio de Teses e Dissertações do Programa de Pós-Graduação da Área de Ciência da Computação e Matemática Computacional, 1996, São Carlos-SP. II Simpósio de Teses e Dissertações do Programa de Pós-Graduação da Área de Ciência da Computação e Matemática Computacional, 1996. v. 1.
66. GIMENES, I. M. S. ; ITO, S. A. . Interface Amigável para um Laboratório de Apoio a Métodos Formais. In: I Encontro Anual de Pesquisa e Iniciação Científica da UNOESTE, 1996, Presidente Prudente-SP. I Encontro Anual de Pesquisa e Iniciação Científica da UNOESTE, 1996. v. 1.
67. SUGETA, T. ; GIMENES, I. M. S. . Especificações Lógicas Aplicadas ao Processo de Engenharia de Software. In: V Encontro Anual de Iniciação Científica CNPq/UEL/UEM/UEPG/UNIOESTE, 1996, Londrina-PR. V Encontro Anual de Iniciação Científica CNPq/UEL/UEM/UEPG/UNIOESTE, 1996. v. 1.
68. CONSONI, C. ; GIMENES, I. M. S. . FER - Uma Ferramenta de Auxílio à Elicitação de Requisitos. In: V Encontro Anual de Iniciação Científica CNPq/UEL/UEM/UEPG/UNIOESTE, 1996, Londrina-PR. V Encontro Anual de Iniciação Científica CNPq/UEL/UEM/UEPG/UNIOESTE, 1996. v. 1.
69. SANCHES, I. J. ; GIMENES, I. M. S. . Integração da Ferramenta de Teste de Software POKE-TOOL em PCTE. In: V Encontro Anual de Iniciação Científica CNPq/UEL/UEM/UEPG/UNIOESTE, 1996, Londrina-PR. V Encontro Anual de Iniciação Científica CNPq/UEL/UEM/UEPG/UNIOESTE, 1996. v. 1.
70. GIMENES, I. M. S. ; FRANCO, D. W. B. . Integração de um Ambiente de Programação em um PSEE. In: V Encontro Anual de Iniciação Científica CNPq/UEL/UEM/UEPG/UNIOESTE, 1996, Londrina-PR. V Encontro Anual de Iniciação Científica CNPq/UEL/UEM/UEPG/UNIOESTE, 1996. v. 1.
71. ITO, S. A. ; GIMENES, I. M. S. . Interface Amigável para um Laboratório Integrado de Apoio a Métodos Formais. In: V Encontro Anual de Iniciação Científica CNPq/UEL/UEM/UEPG/UNIOESTE, 1996, Londrina-PR. V Encontro Anual de Iniciação Científica CNPq/UEL/UEM/UEPG/UNIOESTE, 1996. v. 1.
72. WEISS, G. M. ; SUZUKI, R. ; BOMFIM, T. R. ; GIMENES, I. M. S. . AIGLE - Ambiente de Engenharia de Software Evolutivo. In: 4o. Simpósio de Estudantes do CESULON, 1996, Londrina-PR. Anais do 4o. Simpósio de Estudantes do CESULON, 1996. v. 1.
73. NANNI, E. L. ; GIMENES, I. M. S. . Construção de uma Base para Ambientes de Engenharia de Software. In: IV Encontro Anual de Iniciação Científica CNPq/UEM/UEL/UEPG, 1995, Maringá-PR. IV Encontro Anual de Iniciação Científica CNPq/UEM/UEL/UEPG, 1995. v. 1.
74. SABIÃO, S. B. ; GIMENES, I. M. S. . Modelagem de Dados para Ferramentas de Análise de Requisitos Baseada em PCTE. In: IV Encontro Anual de Iniciação Científica CNPq/UEM/UEL/UEPG, 1995, Maringá-PR. IV Encontro Anual de Iniciação Científica CNPq/UEM/UEL/UEPG, 1995. v. 1.
75. REDER, A. C. ; GIMENES, I. M. S. . Uma Ferramenta para Elicitação de Requisitos Baseada em PCTE. In: IV Encontro Anual de Iniciação Científica CNPq/UEM/UEL/UEPG, 1995, Maringá-PR. IV Encontro Anual de Iniciação Científica CNPq/UEM/UEL/UEPG, 1995. v. 1.
76. MARTIMIANO, L. A. F. ; GIMENES, I. M. S. . Integração da Ferramenta de Teste POKETOOL em PCTE. In: I Seminário de Pesquisa em Informática, 1995, Maringá-PR. I Seminário de Pesquisa em Informática, 1995. v. 1.
77. NANNI, E. L. ; GIMENES, I. M. S. . Construção de uma Base para Ambientes de Engenharia de Software. In: I Seminário de Pesquisa em Informática, 1995, Maringá-PR. I Seminário de Pesquisa em Informática, 1995. v. 1.
78. RIZZO, R. R. ; GIMENES, I. M. S. . Implementação de um Gerenciador de Configurações Interativo Baseado no RCS do LINUX. In: I Seminário de Pesquisa em Informática, 1995, Maringá-PR. I Seminário de Pesquisa em Informática, 1995. v. 1.
79. SABIÃO, S. B. ; GIMENES, I. M. S. . Método para Construção de Esquemas Compartilhados em PCTE. In: I Seminário de Pesquisa em Informática, 1995, Maringá-PR. I Seminário de Pesquisa em Informática, 1995. v. 1.
80. GIMENES, I. M. S. ; REDER, A. C. . Uma Ferramenta para Elicitação de Requisitos Baseada em PCTE. In: I Seminário de Pesquisa em Informática, 1995, Maringá-PR. I Seminário de Pesquisa em Informática, 1995. v. 1.
81. GIMENES, I. M. S. ; TOYOTA, C. M. ; ROSA, A. A. . Projeto de uma Linguagem Multiparadigma para Programação de Processo de Software. In: I Seminário de Pesquisa em Informática, 1995, Maringá-PR. I Seminário de Pesquisa em Informática, 1995. v. 1.
82. VILHANUEVA, M. P. ; GIMENES, I. M. S. . Uma Análise de Requisitos de Linguagens de Programação de Processos. In: I Seminário de Pesquisa em Informática, 1994, Maringá-PR. I Seminário de Pesquisa em Informática, 1994. v. 1.
83. VILHANUEVA, M. P. ; ROSA, A. A. ; SILVA, S. R. P. ; GIMENES, I. M. S. . O Processo de Engenharia de Software. In: III Encontro de Iniciação Científica do CNPq/UEM/UEL/UEPG, 1994, Ponta Grossa-PR. III Encontro de Iniciação Científica do CNPq/UEM/UEL/UEPG, 1994. v. 1.
Artigos aceitos para publicação
1. MARCHIONE, F. G. ; FANTINATO, Marcelo ; TOLEDO, Maria Beatriz Felgar de ; GIMENES, I. M. S. . Price Definition in the Establishment of Electronic Contracts for Web Services. International Journal of Web and Grid Services (IJWGS), 2010.
2. OLIVEIRA JÚNIOR, E. A. ; GIMENES, I. M. S. ; MALDONADO, J. C. . Systematic Management of Variability in UML-based Software Product Lines. Journal of Universal Computer Science (Online), 2010.
Demais tipos de produção bibliográfica
1. GIMENES, I. M. S. . Ferramentas CASE. Recife-PE: IX Simpósio Brasileiro de Engenhari de Software, 1995 (Tutorial).
2. GIMENES, I. M. S. . O Processo de Software: Ambientes e Formalismos. SBC: XIII Jornada de Atualização em Informática - XIV Congresso da SBC, 1994 (Tutorial).
Produção técnica
Demais tipos de produção técnica
1. GIMENES, I. M. S. ; Mendonça, M. . IET Special Issue: Selected papers from SBES´07. 2009. (Editoração/Periódico).
2. Medeiros, A. K. A. ; GIMENES, I. M. S. ; TOLEDO, Maria Beatriz Felgar de . Sistemas de Gestão de Processos de Negócios: Desafios e Oportunidades.. 2007. (Desenvolvimento de material didático ou instrucional - Relatório Técnico).
3. OLIVEIRA JÚNIOR, E. A. ; MALDONADO, J. C. ; GIMENES, I. M. S. . Uma Revisão Sistemática sobre Avaliação de Linha de Produto de Software. 2007. (Relatório de pesquisa).
4. COWAN, D. ; ALENCAR, P. ; BROWN, D. B. ; COVVEY, D. ; GIMENES, I. M. S. ; LUCENA, Carlos José Pereira de ; MALYK, W. ; MULHOLLAND, D. ; Robins, A. ; YOUNG, K. . Software System Generation from an Enterprise Service Model. 2007. (Relatório de pesquisa).
5. OLIVEIRA JUNIOR, Edson Alves de ; GIMENES, I. M. S. ; HUZITA, Elisa Hatsue Moriya ; MALDONADO, José Carlos . Adding variability management to UML-based software product lines. 2005. (Relatório de pesquisa).

Bancas
Participação em bancas examinadoras
Dissertações
1. PRADO, A. F.; GIMENES, I. M. S.; Lucrédio, D.. Participação em banca de Eduardo Felipe Zambom Santana. Uma Abordagem Orientada por Modelos para o Desenvolvimento de Software na Computação Ubíqua. 2010. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São Carlos.
2. DELAMARO, M. E.; MALDONADO, José Carlos; GIMENES, I. M. S.. Participação em banca de Sandro Lopes Bianchini. Um arcaboço para avaliação de aplicações Web. 2008. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.
3. Borges, M.; Machado, M. L.; Braganholo, V.; DE SOUZA GIMENES, ITANA MARIA. Participação em banca de Claudio de Miranda Luz. Sofia - um arcabouço para o desenvolvimento de ferramentas de Group Storytelling. 2008. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.
4. DIAS, M. M.; BORBA, S. P.; GIMENES, I. M. S.. Participação em banca de Adriana Herden. UPKDD: um processo para desenvolvimento de sistemas de descoberta de conhecimento em bancos de dados. 2007. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Maringá.
5. WAZLAWICK, R.; SILVA, R. P. E.; Siqueira, F. A.; GIMENES, I. M. S.. Participação em banca de Rogério Cid Bastos. Uso do Conceito de Passos Essenciais para Aprimorar o Processo de Contagem do Método Pontos de Caso de Uso. 2007. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina.
6. MORON, Célio; TRREVELIN, Luis; GIMENES, I. M. S.. Participação em banca de Fernando Sales Panont. Canal Virtual de Tempo-Real. 2006. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São Carlos.
7. MASIERO, Paulo Cezar; SIMÃO, Adenilso Silva; GIMENES, I. M. S.. Participação em banca de Marcelo Medeiros Eler. Um Método para o Desenvolvimento de Software Baseado em Componentes. 2006. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.
8. WERNER, Cláudia; BECKER, Karin; OLIVEIRA, Toacy; MATTOSO, Marta; TRAVASSOS, Guilherme Horta; GIMENES, I. M. S.. Participação em banca de Ana Paula Terra Barcelo Blois. Uma Abordagem de Projeto Arquitetural Baseado em Componentes no Contexto de Engenharia de Domínio. 2006. Dissertação (Mestrado em Ciência da Computação) - Instituto Alberto Luiz Coimbra de Pós-Graduação e Pesquisa de Engenharia.
9. Silveira, G. E.; Carvalho, B. M.; GIMENES, I. M. S.. Participação em banca de Michael Schuenck dos Santos. X-ARM: Um Modelo de Representação de Artefatos de Software. 2006. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
10. RUBIRA, Cecília; MARTINS, E.; GIMENES, I. M. S.. Participação em banca de Rodrigo Teruo Tomita. Bellatrix: Um Ambiente para Suporte Arquitetural ao Desenvolvimento Baseado em Componentes. 2006. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.
11. MALDONADO, J. C.; Braga, R. T. V.; GIMENES, I. M. S.. Participação em banca de Ubirajara Pacheco Maltez Junior. ExpVVT: uma ferramenta de apoio à condução de experimentos baseados em documentos de requisitos. 2006. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.
12. Ciferri, R. R.; Biajiz, M.; GIMENES, I. M. S.. Participação em banca de Fábio Yanaga. Uma Extensão da Estrutura de Indexação MRS para Uso em Memória Secundária. 2006. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Maringá.
13. DIAS, M. M.; PACHECO, R. C. S.; GIMENES, I. M. S.. Participação em banca de André Luís Andrade Menolli. Definição de uma Arquitetura de Data Warehousing para Gestão em Ciência e Tecnologia no Brasil. 2004. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Maringá.
14. HUZITA, Elisa Hatsue Moriya; RENAUX, D. P. B.; GIMENES, I. M. S.. Participação em banca de Fabiana de Lima. Mecanismo de Apoio ao Gerenciamento de Recursos Humanos no Contexto de um Ambiente Distribuído de Software. 2004. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Maringá.
15. FORTES, R. P. M.; CHAIM, M. L.; GIMENES, I. M. S.. Participação em banca de Christian Robottom Reis. Caracterização de um Processo de Software para Projetos de Software Livre. 2003. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.
16. VSCONCELOS, A. M. L.; CASTRO, J. F. B.; GIMENES, I. M. S.. Participação em banca de Gilberto Amado Azevedo Cysneiros Filho. Ferramenta para o Suporte do Mapeamento da Modelagem Organizacional em i* para UML. 2002. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
17. GUIMARÃES, C.; TOLEDO, Maria Beatriz Felgar de; GIMENES, I. M. S.. Participação em banca de Hudo Rodrigues de Almeida. Um Sistema de Gerenciamento de Workflows Cooperativos. 2002. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.
18. MASIERO, Paulo Cezar; PIMENTEL, M. G. C.; GIMENES, I. M. S.. Participação em banca de Reginaldo Ré. Um Processo para Construção de Frameworks a partir da Engenharia Reversa de Sistemas de Informação na Web. 2002. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.
19. CASTRO, J. F. B.; VSCONCELOS, A. M. L.; GIMENES, I. M. S.. Participação em banca de Sandro Ronaldo Bezerra de Oliveira. ToolManager: Um Gerenciador de Ferramentas CASE. 2001. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
20. CALSAVARA, A.; GODWIN, R.; GIMENES, I. M. S.. Participação em banca de Orlando Alcântara Soares. A Realidade Construída I. 2001. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Paraná.
21. TOLEDO, Maria Beatriz Felgar de; EDELWEISS, N.; PALAZZO, J. C. O.; GIMENES, I. M. S.. Participação em banca de Sergio Akio Tanaka. Um Framework de Agenda de Tarefas para Gerenciamento de Processos. 2000. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.
22. RIBEIRO, J. R. P.; MORON, Célio; GIMENES, I. M. S.. Participação em banca de José Robetto Pinto Ribeiro. Gerador de Programas Paralelos de Tempo-Real para um Ambiente Visual, Orientador. 1999. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São Carlos.
23. SILVA, N. C.; MORON, Célio; GIMENES, I. M. S.. Participação em banca de Nilton César da Silva. Analisador do Tempo de Execução do Pior Caso para Sistemas de Tempo Real. 1999. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São Carlos.
24. MELHORETTO, S. M.; BETINI, R.; ROCHA, A. R.; GIMENES, I. M. S.. Participação em banca de Sandro Marcelo Melhoretto. Um Método para Melhoria das 03 Dimensões do Processo de Software. 1999. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Paraná.
25. PALUDO, M. A.; BURNETT, R.; PRICE, R. T.; GIMENES, I. M. S.. Participação em banca de Marco Antônio Paludo. A Aplicação de Patterns para Prover Reuso de Análise em Processo de Negócio. 1999. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Paraná.
26. SETTI, M. G.; RENAUX, D. P. B.; GIMENES, I. M. S.. Participação em banca de Mariangela Gomes Setti. Especificação de Workflows em WPDL a Partir de sua Representação Gráfica. 1999. Dissertação (Mestrado em Engenharia Elétrica e Informática Industrial) - Universidade Tecnológica Federal do Paraná.
27. POMPERMAIER, L. B.; PRICE, R. T.; GIMENES, I. M. S.. Participação em banca de Leandro Bento Pompermaier. Ambiente Integrado de Modelagem Distribuída para Sistemas de Informação na Internet. 1999. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.
28. FREITAS, A. L. C.; PRICE, A. M. A.; HEUSER, C. A.; GIMENES, I. M. S.. Participação em banca de André Luis Castro de Freitas. Heurísticas para Apoiar a Modelagem de Sistemas Orientados a Objetos. 1998. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.
29. LIMA, C. A. G.; NUNES, D. J.; GIMENES, I. M. S.. Participação em banca de Carla Alessandra Gomes de Lima. Um Gerenciador de Processos de Software para o Ambiente PROSOFT. 1998. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.
30. ALCÂNTARA, A. A.; MEIRA, S. R. L.; GIMENES, I. M. S.. Participação em banca de Andreia Almeida Alcântara. Desenvolvimento de Sistemas de Informação Baseado na Web - Uma Abordagem Utilizando o Ciclo de Vida em Espiral. 1998. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
31. LIMA, J. C. D.; PALAZZO, J. C.; GIMENES, I. M. S.. Participação em banca de João Carlos Damasceno Lima. Ferramenta para Integração de Esquemas Conceituais. 1997. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.
32. SANTANDER, V. F. A.; MASIERO, Paulo Cezar; PRADO, A. F.; GIMENES, I. M. S.. Participação em banca de Victor Francisco Araya Santander. Assistência Inteligente ao Processo de Engenharia de Software. 1997. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.
33. GUIMARÃES, M. S.; MARTINS, E.; RUBIRA, Cecília; GIMENES, I. M. S.. Participação em banca de Marcos Salenko Guimarães. Um Framework de Ferramenta Interativa para um Ambiente Integrado de Testes. 1996. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.
34. BAPTISTA JÚNIOR, J.; GIMENES, I. M. S.. Participação em banca de Joinvile Baptista Júnior. Especificação Unificada de Sistemas baseado no Paradigma de Orientação a Objetos. 1995. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Estadual de Campinas.
Teses de doutorado
1. RUBIRA, Cecília; GIMENES, I. M. S.; Weber, T.; Anido, R.; MARTINS, E.. Participação em banca de Patrick H. S. Brito. Architecting Fault Tolerance with Exception Handling: Verification and Validation. 2009. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas.
2. GARCIA, A. F.; LUCENA, Carlos José Pereira de; Leite, J. C. S.; Staa, A. v.; GIMENES, I. M. S.. Participação em banca de Cláudio Nogueira de Sant'Anna. Modularidade de Software Orientado a Aspectos: Uma abordagem de Medição Dirigida por Interesses. 2008. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.
3. TOLEDO, Maria Beatriz Felgar de; Endler, Markus; Madeira, E. R. M.; Garcia, I. C.; GIMENES, I. M. S.. Participação em banca de Tarcísio da Rocha. Serviços de Transação Abertos para Ambientes Dinâmicos. 2008. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas.
4. PACHECO, Roberto; ALVES, J. B.; BRUZAROSCO, Donizete Carlos; THIRY, M.; GIMENES, I. M. S.. Participação em banca de Sandra Ferrari. Proposta de uma metodologia para controle de qualidade em uma fábrica de software. 2007. Tese (Doutorado em Engenharia de Produção) - Universidade Federal de Santa Catarina.
5. STADZISZ, P. C.; FURQUIM, J.; TACLA, C. A.; GIMENES, I. M. S.. Participação em banca de Andrey Ricardo Pimentel. Uma Abordagem para Projeto de Software Orientado a Objetos Baseado na Teoria de Projeto Axiomático. 2007. Tese (Doutorado em Engenharia Elétrica e Informática Industrial) - Universidade Tecnológica Federal do Paraná.
6. MARIA, J.; KELNER, J.; VASCOCELOS, A. M. L.; SOARES, J.; GIMENES, I. M. S.. Participação em banca de Maria Lancastre Pinheiro de Menezes e Cruz. Conceptualization of an Environment for the Development of Simulators on Finite Element Method. 2004. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.
7. LISBÔA, M. L. B.; HERBERT, J. S.; PRICE, A. M. A.; GIMENES, I. M. S.. Participação em banca de Andre Luis Castro de Freitas. Inspeção de Aplicações Java através da Identificação de Padrões de Projeto. 2003. Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul.
8. VSCONCELOS, A. M. L.; MOURA, H. P.; NUNES, D. J.; RIBEIRO, F. M.; GIMENES, I. M. S.. Participação em banca de Marcos Toranzo Cespedes. Uma Proposta para Melhorar o Rastreamento de Requisitos de Software. 2002. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.
9. CASTRO, J. F. B.; PRICE, A. M. A.; NUNES, D. J.; GIMENES, I. M. S.. Participação em banca de Rodrigo Quites Reis. APSEE-Reuse: Um Meta-Modelo para Apoiar a Reutilização de Processos de Software. 2002. Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul.
Qualificações de doutorado
1. TOLEDO, Maria Beatriz Felgar de; RUBIRA, Cecília; PIRES, Paulo de Figueiredo; GIMENES, I. M. S.. Participação em banca de Marcelo Fantinato. Uma Abordagem Baseada em Características para Contratos Eletrônicos. 2005. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Estadual de Campinas.
2. VSCONCELOS, A. M. L.; ROSA, N. S.; GIMENES, I. M. S.. Participação em banca de Lúcia Rosangela David Bastos. Proposal for Systematic Integration between Organazational Requirements and Architectural Description. 2003. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.
3. ORGAMBIDE, A. C. F.; WILLMERDORF, R. B.; GIMENES, I. M. S.. Participação em banca de Maria Lancastre Pinheiro de Menezes e Cruz. Conceptualization of an Environment for the Development of Simulators on Finite Element Method. 2003. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.
4. VSCONCELOS, A. M. L.; MOURA, H. P.; GIMENES, I. M. S.. Participação em banca de Marco Antonio Toranzo Cespedes. Um Framework para Melhorar o Rastreamento de Requisitos. 2002. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.
Outros tipos
1. DIAS, M. M.; CIFERRI, C. D. Á.; GIMENES, I. M. S.. Participação em banca de André Luis Andrade Menolli. Uma Arquitetura de Data Warehouse para Gestão de C&T. 2003. Outra participação, Universidade Estadual de Maringá.
2. HUZITA, Elisa H M; DIAS, M. M.; GIMENES, I. M. S.. Participação em banca de Fabiana de Lima. Aspectos de Gerenciamento de Recursos Humanos no Desenvolvimento Distribuído. 2003. Outra participação, Universidade Estadual de Maringá.
3. SILVA FILHO, A. M.; HUZITA, Elisa H M; GIMENES, I. M. S.. Participação em banca de Ivanilton Polato. XDF-Extended Dataflow: Um Modelo Computacional com Suporte ao Tratamento de Eventos. 2003. Outra participação, Universidade Estadual de Maringá.
Participação em bancas de comissões julgadoras
Professor titular
1. JINO, M.; AMBROSIO, M. H.; Perioto, P.; MELNIKOFF, S. S. S.; GIMENES, I. M. S.. Professor Titular em Engenharia de Software. 2007. Universidade Estadual de Maringá.
2. JINO, M.; MELNIKOFF, S. S. S.; AMBROSIO, M. H.; Perioto, P.; GIMENES, I. M. S.. Teoria dos Grafos:'planarização. 2007. Universidade Estadual de Maringá.
Concurso público
1. Pimenta, M. S.; MALDONADO, J. C.; DELAMARO, M. E.; MELNIKOFF, S. S. S.; GIMENES, I. M. S.. Comissão Julgadora do concurso para provimento de um cargo de professor doutor ref. MS-3 em RDIDP. 2010. Universidade de São Paulo.
2. BRUZAROSCO, Donizete Carlos; SIMÃO, Adenilso Silva; GIMENES, I. M. S.. Comissão Julgadora do Concurso Unificado para Professores Não-Titulares na área de Sistemas de Informação. 2006. Universidade Estadual de Maringá.
3. GIMENES, I. M. S.. Comissão Julgadora do Concurso de Provas e Títulos para a Classe de Prof. Adjunto . 2002. Universidade Federal do Paraná.
4. GIMENES, I. M. S.. Comissão Julgadora do Concurso Unificado para Professores Não-Titulares na área de Teoria da Computação. 1999. Universidade Estadual de Maringá.
5. GIMENES, I. M. S.. Comissão Julgadora do Concurso Unificado para Professores Não-Titulares na área de Computação Gráfica. 1999. Universidade Estadual de Maringá.
6. CONSTANTINO, A. A.; GIMENES, I. M. S.. Comissão Examinadora do Concurso Unificado para Professores Não-Titulares da Universidade Estadual do Centro-Oeste (UNICENTRO). 1999. Universidade Estadual do Centro-Oeste.
7. GIMENES, I. M. S.. Comissão Julgadora do Concurso Unificado para Professores Não-Titulares na área de Engenharia de Software . 1997. Universidade Estadual de Maringá.
8. GIMENES, I. M. S.. Comissão Julgadora do Concurso Unificado para Professores Não-Titulares,na área de Teoria da Computação. 1997. Universidade Estadual de Maringá.
9. GIMENES, I. M. S.. Comissão Julgadora do Concurso Unificado para Professores Não-Titulares na área de Banco de Dados . 1995. Universidade Estadual de Maringá.
10. GIMENES, I. M. S.. Comissão Julgadora do Concurso Unificado para Professores Não-Titulares na área de Processo de Engenharia de Software . 1995. Universidade Estadual de Maringá.
11. GIMENES, I. M. S.. Comissão Julgadora do Concurso Unificado para Professores Não-Titulares, na área Computação/Engenharia de Software. 1995. Universidade Estadual de Londrina.
12. MASIERO, Paulo Cezar; JINO, M.; GIMENES, I. M. S.. Comissão Julgadora para provimento de um cargo de professor assistente junto ao Departamento de Ciências da Computação e Estatística do ICMSC-USP, na disciplina SCE-186-Engenharia de Software. 1994. Universidade de São Paulo.
13. GIMENES, I. M. S.. Comissão Julgadora do Concurso Unificado para Professores Não-Titulares, na área de Análise de Sistemas. 1994. Universidade Estadual de Londrina.
14. GIMENES, I. M. S.. Comissão Julgadora do Concurso Unificado para Professores Não-Titulares na área de Sistemas de Informação . 1993. Universidade Estadual de Maringá.
15. GIMENES, I. M. S.. Comissão Julgadora do Concurso Unificado para Professores Não-Titulares na área de conhecimento/máteria: Sistemas de Computação . 1993. Universidade Estadual de Maringá.
Outras participações
1. Gomes, O. M.; Figueiredo Filho, A.; Neves, C. S.; Queiroz, M. M. F.; GIMENES, I. M. S.. 21o. Prêmio Paranaense de Ciência e Tecnologia. 2007. Secretaria de Ciência e Tecnologia.
2. GIMENES, I. M. S.. Teste Seletivo de Professor Colaborador na área/matéria: Processo de Engenharia de Software. 1997. Universidade Estadual de Maringá.
3. GIMENES, I. M. S.. Teste Seletivo de Professor Colaborador na área/matéria: Software Básico, . 1997. Universidade Estadual de Maringá.
4. GIMENES, I. M. S.. Teste Seletivo de Professor Colaborador na área/matéria: Sistemas Distribuídos. 1997. Universidade Estadual de Maringá.
5. GIMENES, I. M. S.. Banca Examinadora do concurso para professor colaborador na matéria: Linguagens de Programação. 1995. Universidade Estadual de Maringá.

Eventos
Organização de eventos
1. Franch, X. ; GIMENES, I. M. S. ; Pablo, J. . XIII Congreso Iberoamericano en "Software Engineering". 2010. (Congresso).
2. GIMENES, I. M. S. . XXII Simpósio Brasileiro de Engenharia de Software. 2007. (Congresso).
3. GIMENES, I. M. S. . XII Simpósio Brasileiro de Engenharia de Software. 1998. (Congresso).
4. GIMENES, I. M. S. . XIII Simpósio Brasileiro de Banco de Dados. 1998. (Congresso).

Orientações
Orientações em andamento
Dissertação de mestrado
1. Antonio Rollof. Apoio Computacional a Negociação de Serviços Eletrônicos. Início: 2010. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Maringá. (Orientador).
2. Rogério Ferreira da Silva. Linha de produto aplicada a sistemas embarcados. Início: 2010. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Maringá. (Orientador).
3. Wagner Laras. Monitoramento de Contratos Eletrônico. Início: 2009. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Maringá. (Orientador).
4. Maycon Luis Capellari. Teste de Linha de Produto para Sistemas Embarcados. Início: 2009. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Maringá, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).
5. Alexandre Huff. Um Ambiente de Apoio à Realização de Experimentos Científicos em um Cluster de Computadores de Alto Desempenho. Início: 2008. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Maringá. (Orientador).
Supervisões e orientações concluídas
Dissertação de mestrado
1. Gabriel Costa Silva. Um processo de negociação para o estabelecimento de contratos eletônicos. 2010. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Maringá, . Orientador: Itana Maria de Souza Gimenes.
2. Bruno Miguel Nogueira de Souza. Uma extensão do método OOWS para linha de produto de software. 2009. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Maringá, . Orientador: Itana Maria de Souza Gimenes.
3. Cristiane Yanase Hirabara de Castro. UMA ABORDAGEM PARA O DESENVOLVIMENTO DE LINHA DE PRODUTO ORIENTADO A ASPECTOS. 2009. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Maringá, . Orientador: Itana Maria de Souza Gimenes.
4. Francisco Virginio Maracci. Reutilização de processos de negócio. 2009. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Maringá, Fundação Aracáuria. Orientador: Itana Maria de Souza Gimenes.
5. Tiago Lopes Gonçalves. Uma Abordagem de Apoio à Aplicação de Estudos Experimentais em Processo de Negócio. 2009. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Maringá, . Orientador: Itana Maria de Souza Gimenes.
6. Mário Freitas da Silva. Uma Abordagem para monitoramento de contratos eletrônicos baseda em aspectos. 2008. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Maringá, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Itana Maria de Souza Gimenes.
7. Fabio Gabriel Zaupa. Um processo de desenvolvimento de aplicações Web baseado em serviços. 2007. 0 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Maringá, . Orientador: Itana Maria de Souza Gimenes.
8. Edna Tomie Takano. Um Modelo de Gerenciamento de Processo de Software para o Ambiente DiSEN. 2006. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Maringá, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Itana Maria de Souza Gimenes.
9. Edson Alves de Oliveira Junior. Um Processo de Gerenciamento de Variabilidade para Linha de Produto de Software. 2005. 155 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Maringá, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Itana Maria de Souza Gimenes.
10. Ruy Nishimura. Especificação do Processo de Geração de Produto na Abordagem de Linha de Produto de Software. 2004. 150 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Maringá, . Orientador: Itana Maria de Souza Gimenes.
11. Ricardo Gonçalves Coelho. Um Algoritmo Genético Difuso Multiobjetivo para Descoberta de Conhecimento. 2004. 100 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Maringá, Fundação Aracáuria. Orientador: Itana Maria de Souza Gimenes.
12. Radames Juliano Halmeman. Projeto do Componente Gerenciador de Execução de Workflow segundo a Abordagem de Linha de Produto. 2003. 70 f. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná, . Orientador: Itana Maria de Souza Gimenes.
13. Lígia Flávia Antunes Baptista. Componentes de Habilidades em uma Abordagem Pedagógica para Leitura e Inspeção de Imagens. 2003. 100 f. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná, . Orientador: Itana Maria de Souza Gimenes.
14. Gláucia Gabriel Sass. Proposta de uma Arquitetura de Componentes para Sistemas de Informação baseados na Web - Nível Lógico. 2003. 140 f. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná, . Orientador: Itana Maria de Souza Gimenes.
15. Fabrício Ricardo Lazilha. Uma Proposta de Arquitetura de Linha de Produtos para Workflow Management Systems. 2002. 165 f. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, . Co-Orientador: Itana Maria de Souza Gimenes.
16. Sergio Akio Tanaka. Um Framework de Agenda de Tarefas para Gerenciadores de Processos. 2000. 0 f. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, . Orientador: Itana Maria de Souza Gimenes.
17. Ademir Morgenstern Padilha. MAPS-15504 - Uma metodologia automatizada para avaliação de processo de software. 2000. 0 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, . Co-Orientador: Itana Maria de Souza Gimenes.
18. Mariangela Gomes Setti. Especificação de Workflows em WPDL a partir de sua Representação Gráfica. 1999. 0 f. Dissertação (Mestrado em Engenharia Elétrica e Informática Industrial) - Universidade Tecnológica Federal do Paraná, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Co-Orientador: Itana Maria de Souza Gimenes.
19. Victor Francisco Arraya Santander. Assistência Inteligente ao Processo de Engenharia de Software. 1997. 0 f. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Itana Maria de Souza Gimenes.
Tese de doutorado
1. Marcelo Fantinato. Uma Abordagem Baseada em Características para o Estabelecimento de Contratos Eletrônicos para Serviços Web. 2007. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas, . Co-Orientador: Itana Maria de Souza Gimenes.
Monografia de conclusão de curso de aperfeiçoamento/especialização
1. Donizete Carlos Bruzarosco. Comparação de Métodos de Desenvolvimento de Software. 1995. 0 f. Monografia. (Aperfeiçoamento/Especialização em Sistemas de Informação) - Universidade Estadual de Maringá. Orientador: Itana Maria de Souza Gimenes.
Trabalho de conclusão de curso de graduação
1. Eduardo Pezutti Beletato dos Santos. Apoio ao estabelecimento de contratos eletrônicos com base em modelos de características. 2007. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Estadual de Maringá. Orientador: Itana Maria de Souza Gimenes.
2. Wagner Laras dos Santos. Estudo de Técnicas de Monitoramento de Contratos Eletrônicos. 2006. Trabalho de Conclusão de Curso. (Graduação em Tecnólogo Em Processamento de Dados) - Universidade Estadual de Maringá. Orientador: Itana Maria de Souza Gimenes.
3. Edson Alves de Oliveira Junior. Portando o ExPSEE para Linux. 2002. 50 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Estadual de Maringá. Orientador: Itana Maria de Souza Gimenes.
4. Igor Fábio Steinmacher. Análise de Principios para Modelagem Orientada a Aspectos. 2002. 51 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Estadual de Maringá. Orientador: Itana Maria de Souza Gimenes.
5. Edna Tomie Takano. Um Estudo das Técnicas de Avaliação de Modelos Arquiteturais. 2002. 46 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Estadual de Maringá. Orientador: Itana Maria de Souza Gimenes.
6. Marcelo Rodrigo Pazzinato. Princípios para o Projeto de Arquitetura para Sistemas de Informação baseados na Web. 2002. 57 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Estadual de Maringá. Orientador: Itana Maria de Souza Gimenes.
7. Marcos Rogério Viana Ferreira Rocha. Sistema de Controle do Processo de Instalação de Equipamentos de Ar Condicionado em Veículos. 2001. 52 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Estadual de Maringá. Orientador: Itana Maria de Souza Gimenes.
8. Walter Evandro Zari. Sistema de Compras. 2001. 30 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Estadual de Maringá. Orientador: Itana Maria de Souza Gimenes.
9. Rafael Zolet Kurike. Mapeamento de Modelos de Objetos em UML para Modelos Relacionais. 2000. 0 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Estadual de Maringá. Orientador: Itana Maria de Souza Gimenes.
10. Gustavo Kasprzak. Uma Proposta de Arquitetura de Software para um Gerenciador de Obras Baseado no Catalysis. 2000. 0 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Estadual de Maringá. Orientador: Itana Maria de Souza Gimenes.
11. Rodrigo Clemente de Souza. Simulação de Processos de Software Baseada em Conhecimento no Ambiente ExPSEE. 2000. 0 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Estadual de Maringá. Orientador: Itana Maria de Souza Gimenes.
12. Alexandre Dequech. Prototipação de um Componente Agenda de Tarefas a partir de Framework de Modelo. 2000. 0 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Estadual de Maringá. Orientador: Itana Maria de Souza Gimenes.
13. Renato Balancieri. Projetando uma Arquitetura de Sistema de Gerenciamento de Workflow para AS/400. 2000. 0 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Estadual de Maringá. Orientador: Itana Maria de Souza Gimenes.
14. Andréia Carnielo. Um Ambiente de Programação de Processos Cooperativos de Software para o ExPSEE. 1999. 0 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Estadual de Maringá, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Itana Maria de Souza Gimenes.
15. Adriana Carnielo. O Processo de Definição de um Framework a partir de um Padrão de Arquitetura. 1999. 0 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Estadual de Maringá. Orientador: Itana Maria de Souza Gimenes.
16. Marcelo Fantinato. Um Escalonador de Tarefas para o ExPSEE. 1999. 0 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Estadual de Maringá. Orientador: Itana Maria de Souza Gimenes.
17. Edson Yanaga. P/pTool: Uma Ferramenta de Coleta e Avaliação de Métricas Baseada em Modelos para Processos de Software. 1999. 0 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Estadual de Maringá. Orientador: Itana Maria de Souza Gimenes.
18. Robson Aparecido Calvo. Implementação do Módulo de Assistência Inteligente à Derivação de Processos (P/pDerive) de uma Ferramenta para Coleta e Avaliação de Métricas Baseada em Modelos para Processos de Software (P/pTool). 1999. 0 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Estadual de Maringá. Orientador: Itana Maria de Souza Gimenes.
19. Gerson Mizuta Weiss. Um Padrão para Definição de um Gerenciador de Processos de Software. 1998. 0 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Estadual de Maringá. Orientador: Itana Maria de Souza Gimenes.
20. Júnior Toshiato Saito. Protótipo de Supervisor de Software para Sistemas de Tempo Real. 1998. 0 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Estadual de Maringá. Orientador: Itana Maria de Souza Gimenes.
21. Eduardo L S Soares. Projeto de um Ambiente de Engenharia de Software Baseado em Java. 1998. 0 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Estadual de Maringá. Orientador: Itana Maria de Souza Gimenes.
22. Adenilso Silva Simão. ANIMAL: Um Animador de Especificações em Lógica Modal de Ações. 1997. 0 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Estadual de Maringá, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Itana Maria de Souza Gimenes.
23. Adilson José Bonifácio. Estudo e Comparação de Provadores de Teoremas. 1997. 0 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Estadual de Maringá. Orientador: Itana Maria de Souza Gimenes.
24. Munif Gebara Junior. Integração por Controle Utilizando TOOLTALK. 1997. 0 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Estadual de Maringá. Orientador: Itana Maria de Souza Gimenes.
25. S A Ito. Prototipação da Interface com o Usuário de um Gerenciador de Processos de Software. 1997. 0 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Estadual de Maringá. Orientador: Itana Maria de Souza Gimenes.
26. Rosileny Lie Yanagawa. Uma Investigação sobre a Aplicação de Estilos de Arquitetura de Software na Integração de Ferramentas CASE. 1997. 0 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Estadual de Maringá. Orientador: Itana Maria de Souza Gimenes.
27. Tatiana Sugeta. Especificações Lógicas Aplicadas ao Processo de Engenharia de Software. 1996. 0 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Estadual de Maringá. Orientador: Itana Maria de Souza Gimenes.
28. C Consoni. Implementação de uma Ferramenta de Auxílio à Elicitação de Requisitos. 1996. 0 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Estadual de Maringá. Orientador: Itana Maria de Souza Gimenes.
29. Ionildo José Sanches. Integração da Ferramenta de Teste POKE-TOOL em um PSEE. 1996. 0 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Estadual de Maringá. Orientador: Itana Maria de Souza Gimenes.
30. D W B Franco. Integração de um Ambiente de Programação em um PSEE. 1996. 0 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Estadual de Maringá. Orientador: Itana Maria de Souza Gimenes.
31. A A Rosa. Projeto de uma Linguagem Multiparadigma para Programação de Processo de Software. 1995. 0 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Estadual de Maringá. Orientador: Itana Maria de Souza Gimenes.
32. Andreia Costa Reder. Uma Ferramenta para Elicitação de Requisitos. 1995. 0 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Estadual de Maringá. Orientador: Itana Maria de Souza Gimenes.
33. Cristina M Toyota. Aplicação de Linguagens Multiparadigma na Programação de Processos. 1995. 0 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Estadual de Maringá. Orientador: Itana Maria de Souza Gimenes.
34. Edicezar Leandro Nanni. Construção de uma Base para Ambientes de Engenharia de Software. 1995. 0 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Estadual de Maringá. Orientador: Itana Maria de Souza Gimenes.
35. L A F Martimiano. Integração da Ferramenta de Teste de Software POKE-TOOL em PCTE. 1995. 0 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Estadual de Maringá. Orientador: Itana Maria de Souza Gimenes.
36. Selma Bássiga Sabião. Método para Construção de Esquemas Compartilhados em PCTE. 1995. 0 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Estadual de Maringá. Orientador: Itana Maria de Souza Gimenes.
37. Richard R Rizzo. Implementação de um Gerenciador de Configurações Interativos. 1995. 0 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Estadual de Maringá. Orientador: Itana Maria de Souza Gimenes.
38. Victor Francisco Arraya Santander. Um Interpretador de Processos de Engenharia de Software Baseado em Objetivos. 1994. 0 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Estadual de Maringá. Orientador: Itana Maria de Souza Gimenes.
39. Glauco Aurélio Silva. Desenvolvimento de um Gerenciador de Configurações Interativo. 1994. 0 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Estadual de Maringá. Orientador: Itana Maria de Souza Gimenes.
40. Giacomo G Bertuol. Integração de Gerenciamento de Projetos em Ambientes de Desenvolvimento de Software orientado a Processos. 1993. 0 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Estadual de Maringá. Orientador: Itana Maria de Souza Gimenes.
Iniciação Científica
1. Vanderson Hafemann Fragal. Especificação de contratos eletrônicos com WS-Agreement. 2008. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Estadual de Maringá, Fundação Aracáuria. Orientador: Itana Maria de Souza Gimenes.
2. Vanderson Hafemann Fragal. UMA EXTENSÃO DO AMBIENTE FEATURECONTRACT PARA APOIAR O ESTABELECIMENTO DE CONTRATOS ELETRÔNICOS. 2008. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Estadual de Maringá, Fundação Aracáuria. Orientador: Itana Maria de Souza Gimenes.
3. Tiago Henrique Bordoni. CONTRATOS ELETRONICOS PARA O DESENVOLVIMENTO DE SOFTWARE. 2007. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Estadual de Maringá. Orientador: Itana Maria de Souza Gimenes.
4. Vitorio Tadao Kuroda. DESENVOLVIMENTO DO COMPONENTE GRAPHIC INTERFACE MANAGER DO AMBIENTE EXPSEE. 2003. 0 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Estadual de Maringá, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Itana Maria de Souza Gimenes.
5. Edson Alves de Oliveira Junior. Portando o ExPSEE para Linux. 2002. 0 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Estadual de Maringá, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Itana Maria de Souza Gimenes.
6. Edson Alves de Oliveira Júnior. Introdução de Métricas de Produtos de Software em uma Ferramenta de Workflow. 2000. 0 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Estadual de Maringá, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Itana Maria de Souza Gimenes.
7. Rodrigo Clemente de Souza. Simulação de Processos Baseada em Conhecimento. 2000. 0 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Estadual de Maringá. Orientador: Itana Maria de Souza Gimenes.
8. Igor Fábio Steinmacher. Implementação do Gerenciador de Tarefas do ExPSEE. 2000. 0 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Estadual de Maringá, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Itana Maria de Souza Gimenes.
9. Edna Takano. Arquitetura de componentes para o ExPSEE. 2000. 0 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Estadual de Maringá, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Itana Maria de Souza Gimenes.
10. Edson Yanaga. Implementação do Módulo de Simulação de Processos (P/psim) de uma Ferramenta para Coleta e Avaliação de Métricas Baseada em Modelos para Processos de Software (P/pTool). 1999. 0 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Estadual de Maringá, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Itana Maria de Souza Gimenes.
11. Robson Aparecido Calvo. Implementação do Módulo de Assistência Inteligente à Derivação de Processos (P/pDerive) de uma Ferramenta para Coleta e Avaliação de Métricas Baseada em Modelos de Processos de Software (P/pTool). 1999. 0 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Estadual de Maringá, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Itana Maria de Souza Gimenes.
12. Edson Yanaga. Prototipação de uma Ferramenta para Coleta e Avaliação de Métricas Baseadas em Modelos para Processos de Software. 1998. 0 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Estadual de Maringá, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Itana Maria de Souza Gimenes.
13. Robson Aparecido Calvo. Definição de Métricas Baseadas em Modelos para Processos de Software. 1998. 0 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Estadual de Maringá, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Itana Maria de Souza Gimenes.
14. Andréia Carnielo. ExPSEE: An Experimental Process-centred Software Engineering Environment. 1997. 0 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Estadual de Maringá, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Itana Maria de Souza Gimenes.
15. Marcelo Fantinato. ExPSEE: An Experimental Process-centred Software Engineering Environmet. 1997. 0 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Estadual de Maringá, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Itana Maria de Souza Gimenes.
16. Adilson José Bonifácio. Estudo e Comparação de Provadores Automáticos de Teoremas. 1997. 0 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Estadual de Maringá. Orientador: Itana Maria de Souza Gimenes.
17. Adenilso Silva Simão. Refinamento de Especificações Formais de Sistemas em Lógica Modal de Ações. 1997. 0 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Estadual de Maringá. Orientador: Itana Maria de Souza Gimenes.
18. Ionildo José Sanches. Construção de um Protótipo de um Ambiente de Engenharia de Software. 1996. 0 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Estadual de Maringá, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Itana Maria de Souza Gimenes.
19. D W B Franco. Construção de um Protótipo de um Ambiente de Engenharia de Software. 1996. 0 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Estadual de Maringá, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Itana Maria de Souza Gimenes.
20. Tatiana Sugeta. Especificações Lógicas Aplicadas ao Processo de Engenharia de Software. 1996. 0 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Estadual de Maringá, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Itana Maria de Souza Gimenes.
21. C Consoni. Construção de uma Ferramenta Integrada para Apoiar o Desenvolvimento de Software. 1996. 0 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Estadual de Maringá, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Itana Maria de Souza Gimenes.
22. S A Ito. FORMLAB - Laboratório Integrado de Apoio a Métodos Formais. 1996. 0 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Estadual de Maringá, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Itana Maria de Souza Gimenes.
23. Andreia Costa Reder. Construção de um Protótipo de um Ambiente de Engenharia de Software. 1995. 0 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Estadual de Maringá, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Itana Maria de Souza Gimenes.
24. Luciana Andréia Fondazzi Martimiano. Projeto e Implementação de uma Ferramenta de Apoio ao Desenvolvimento de Software. 1995. 0 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Estadual de Maringá, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Itana Maria de Souza Gimenes.
25. Edicezar Leandro Nanni. Construção de uma Base para Ambientes de Engenharia de Software. 1995. 0 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Estadual de Maringá, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Itana Maria de Souza Gimenes.
26. Selma Bássiga Sabião. Construção de uma Ferramenta Integrada para Apoiar o Desenvolvimento de Software. 1995. 0 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Estadual de Maringá. Orientador: Itana Maria de Souza Gimenes.
27. Marcos Pinheiro Vilhanueva. Uma Análise dos Requisitos de Linguagens de Programação de Processos de Engenharia de Software. 1994. 0 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Estadual de Maringá, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Itana Maria de Souza Gimenes.

Outras informações relevantes 
Participação no comitê diretivo da Comissão Especial de Engenharia de Sofwtare de 1998-2002 e 2005-2010
Coordenadora do Programa de Pós-Graduação em Ciência da Computação da UEM de Julho 2006 a Junho 2010.
Página gerada pelo Sistema Currículo Lattes em 06/09/2010 às 24:14:37