Itana Maria de Souza Gimenes

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


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 Open University, Inglaterra (2011) e 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: Educação profissional, Educação Aberta e Recursos Educacionais Abertos; reutilização, desenvolvimento baseado em componentes, arquitetura de software e linha de produto de software. Pro-Reitora de Extensão e Cultura da Universidade Estadual de Maringá Gestão 2014 - 2018. (Texto informado pelo autor)


Identificação


Nome
Itana Maria de Souza Gimenes
Nome em citações bibliográficas
GIMENES, I. M. S.;GIMENES, ITANA M. S.;Gimenes, Itana Maria De Souza;Gimenes, Itana;Gimenes, Itana Maria

Endereço


Endereço Profissional
Universidade 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


1988 - 1992
Doutorado em Computer Science.
The University Of York, UOY, Grã-Bretanha.
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
Setores de atividade: Informática.
1983 - 1987
Mestrado 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
Setores de atividade: Informática.
1977 - 1981
Graduação em Bacharelado Em Processamento de Dados.
Universidade Federal da Bahia, UFBA, Brasil.


Pós-doutorado


2011 - 2012
Pós-Doutorado.
The Open University, OU, Grã-Bretanha.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Grande área: Ciências Exatas e da Terra
2004 - 2005
Pós-Doutorado.
University of Waterloo, U.WATERLOO, Canadá.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Grande área: Ciências Exatas e da Terra


Atuação Profissional



Universidade de São Paulo, USP, Brasil.
Vínculo institucional

2014 - Atual
Vínculo: , Enquadramento Funcional:


Universidade Estadual de Maringá, UEM, Brasil.
Vínculo institucional

2014 - Atual
Vínculo: Servidor Público, Enquadramento Funcional: Pro-Reitora de Extensão e Cultura, Carga horária: 40, Regime: Dedicação exclusiva.

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

3/2007 - Atual
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Métodos Formais I
07/2006 - Atual
Direção e administração, Centro de Tecnologia, .

Cargo ou função
Coordenador de Programa.
07/2006 - Atual
Direção e administração, Centro de Tecnologia, .

Cargo ou função
Coordenador de Programa.
3/2006 - Atual
Ensino, Ciência da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Engenharia de Software
5/1986 - Atual
Pesquisa e desenvolvimento , Centro de Tecnologia, Departamento de Informática.

Linhas de pesquisa
Engenharia de Software
7/2002 - 6/2004
Direção e administração, Centro de Tecnologia, Departamento de Informática.

Cargo ou função
Chefe de Departamento.
3/2002 - 12/2002
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Métodos Formais I
3/2001 - 12/2001
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Compiladores
Engenharia de Software IV
Ambientes de Desenvolvimento de Software
3/2000 - 12/2000
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Engenharia de Software IV
Ambientes de Engenharia de Software
5/1996 - 5/2000
Direção e administração, Centro de Tecnologia, Departamento de Informática.

Cargo ou função
Vice-Diretora.
3/1999 - 12/1999
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Banco de Dados
Banco de Dados I
Ambientes de Desenvolvimento de Software
3/1998 - 12/1998
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Introdução à Engenharia de Software
Ambientes de Desenvolvimento de Software
3/1997 - 12/1997
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Métodos Formais II
Ambientes de Desenvolvimento de Software
3/1995 - 12/1996
Ensino, 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
3/1994 - 12/1994
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Iniciação à Ciência da Computaçào
Banco de Dados
3/1993 - 12/1993
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Linguagens de Programação
3/1988 - 7/1988
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Sistemas Operacionais
3/1986 - 12/1987
Ensino, 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/1986
Ensino, 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/1983
Serviç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/1981
Serviç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


2014 - Atual
Pesquisa, Integração e Capacitação de Recursos Humanos em Tecnologias Educacionais e Engenharia de Software

Projeto certificado pelo(a) coordenador(a) Jose Carlos Maldonado em 17/01/2018.
Descrição: Resumo do Projeto: O desenvolvimento de tecnologias educacionais é uma atividade complexa do ponto de vista técnico. Entre os problemas encontrados, destaca-se a grande exigência por requisitos de qualidade, principalmente em aplicações educacionais que possuem inúmeros usuários com necessidades distintas, constantes mudanças de requisitos, sensibilidade ao contexto, separação de interesses, compartilhamento de recursos, uso de diferentes dispositivos de acesso, entre outros aspectos. Tais problemas demandam aplicações cuja construção exige soluções que são intensivas em software. Além disso, o movimento de Educação Aberta traz consigo a proposta de Recursos Educacionais Abertos (REAs) e Cursos Abertos Online e Massivos (do inglês, Massive Open Online Courses ? MOOCs), que preconizam impactos significativos na educação tradicional e adicionam requisitos diferenciados em relação aos ambientes de apoio ao ensino e aprendizagem existentes. Nessa perspectiva, este projeto de cooperação acadêmica tem como principal objetivo fomentar a pesquisa, a integração e a capacitação de recursos humanos de alto nível nas áreas de Tecnologias Educacionais e Engenharia de Software. A integração das duas áreas de pesquisa ocorre à medida que processos, métodos e ferramentas de Engenharia de Software são investigados e aplicados na produção de Tecnologias Educacionais. O projeto possui caráter multi e interdisciplinar, envolvendo Pesquisa, Desenvolvimento e Inovação (P&D&I) em diferentes linhas de interesse da Computação e com aplicação direta no contexto educacional. Espera-se, a partir de sua execução, contribuir de maneira efetiva para o estabelecimento e adoção de práticas e mecanismos inovadores de ensino e aprendizagem, que possibilitem o aumento da qualidade e a redução dos custos de produção de recursos educacionais..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (10) / Doutorado: (5) .
Integrantes: Itana Maria de Souza Gimenes - Integrante / José Carlos Maldonado - Coordenador / Edson Alves de Oliveira Junior - Integrante / Ademir Aparecido Constantino - Integrante / Rosana Teresinha Vaccare Braga - Integrante / Thelma Elita Colanzi Lopes - Integrante / Seiji Isotani - Integrante / Ig Ibert Bittencourt Santana Pinto - Integrante / Ellen Francine Barbosa - Integrante.Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Outra.
2013 - Atual
SyMPLES: Uma Linha de Produto de Apoio ao Desenvolvimento de Sistemas Embarcados
Descrição: Este projeto propõe a integração das abordagens LPS e MDE aplicada ao domínio de sistemas embarcados de forma a envolver linguagens de especificação e ferramentas específicas para este domínio..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (2) .
Integrantes: Itana Maria de Souza Gimenes - Coordenador.Financiador(es): Fundação Araucária de Apoio ao Desenvolvimento Científico e Tecnológico - Bolsa.
2011 - 2014
Projeto Sistemático de Veículos Autônomos para Monitoramento de Culturas com Comunicação Segura (ProjUAV)
Descrição: Este projeto tem como objetivo geral o desenvolvimento de técnicas de construção de UAVs como meio de dominar esta tecnologia e buscar contribuições científicas e tecnológicas..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (3) .
Integrantes: Itana Maria de Souza Gimenes - Coordenador / L A F Martimiano - Integrante / João Angelo Martini - Integrante / Anderson Faustino - Integrante / Márcio Oyamada - Integrante.Financiador(es): Fundação Araucária de Apoio ao Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2009 - 2014
INCT: 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: Concluído; Natureza: Pesquisa.
2009 - 2012
PROCAD
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: Itana Maria de Souza Gimenes - Coordenador / Tania Calvi Tait - Integrante / Elisa H M Huzita - Integrante / José Carlos Maldonado - Integrante / Avelino Zorzo - Integrante / Ellen Francine Barbosa - Integrante.Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro.
2008 - 2010
Uma 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.
2007 - 2009
Infra-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 profissional: (0) / Doutorado: (1) .
Integrantes: Itana Maria de Souza Gimenes - Coordenador.Financiador(es): Fundação Araucária de Apoio ao Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
Número de produções C, T & A: 1 / Número de orientações: 4
2005 - 2007
Suporte à 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 profissional: (0) / Doutorado: (0) .
Integrantes: Itana Maria de Souza Gimenes - Integrante / Cristina Dutra de Águiar Ciferri - Integrante / Tania Calvi Tait - Integrante / Elisa Hatsue Moriya Huzita - Coordenador / Antonio Mendes Silva Filho - Integrante / Marcos Antonio Quinaia - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2001 - 2003
INTERSUL-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 profissional: (0) / Doutorado: (0) .
Integrantes: Itana Maria de Souza Gimenes - Coordenador / Elisa H M Huzita - Integrante / Wesley Romão - Integrante / Maria Madalena Dias - Integrante / Alex A Freitas - Integrante / Roberto Pacheco - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
1997 - 1999
EXPSEE-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 profissional: (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.
1997 - 1998
UXMAL (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 profissional: (0) / Doutorado: (0) .
Integrantes: Itana Maria de Souza Gimenes - Coordenador.
1996 - 1998
Desenvolvimento 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 profissional: (0) / Doutorado: (0) .
Integrantes: Itana Maria de Souza Gimenes - Coordenador.Financiador(es): Ministério da Ciência, Tecnologia, Inovações e Comunicações - Auxílio financeiro.
1996 - 1997
Projeto 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 profissional: (0) / Doutorado: (0) .
Integrantes: Itana Maria de Souza Gimenes - Coordenador.
1994 - 1997
FORMLAB - 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 profissional: (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 - 1996
Construçã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 profissional: (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.


Projetos de desenvolvimento


2009 - 2010
SAV: Sistema de Automação de Vinícola
Situação: Em andamento; Natureza: Desenvolvimento.


Membro de corpo editorial


2012 - Atual
Periódico: Journal of Software Engineering Research and Development


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


Prêmios e títulos


2013
Contribuição Relevante para Engenharia de Software no Brasil, Sociedade Brasileira de Computação.
2012
Melhor artigo do Simpósio Brasileiro de Qualidade de Software, Sociedade Brasileira de Computação.


Produções



Produção bibliográfica
Citações

SCOPUS

Artigos completos publicados em periódicos

1.
GIRON, A. A.2017GIRON, A. A. ; GIMENES, I. M. S. ; OLIVEIRAJR, E. . Case Study of Test Case Generation Based on Metamodel for Model Transformations. JOURNAL OF SOFTWARE, v. 12, p. 364-378, 2017.

2.
MARCOLINO, A. S.2017MARCOLINO, A. S. ; GIMENES, I. M. S. ; BARBOSA, E. F. ; OLIVEIRAJR, E. A. . Variability Resolution and Product Configuration with SMarty: An Experimental Study on UML Class Diagrams. JOURNAL OF COMPUTER SCIENCES, v. 13, p. 211-226, 2017.

3.
SPLENDOR, FABIO2015SPLENDOR, FABIO ; ALMEIDA MARTINS, NARDENIO ; DE SOUZA GIMENES, ITANA MARIA ; MARTINI, JOAO ANGELO . Design of an Autopilot for Cessna 182. Revista IEEE América Latina, v. 13, p. 27-36, 2015.

4.
OLIVEIRA JÚNIOR, E. A.2013OLIVEIRA JÚNIOR, E. A. ; GIMENES, I. M. S. ; MALDONADO, J. C. ; MASIERO, PAULO CESAR ; BARROCA, Leonor . Systematic Evaluation of Software Product Line Architectures. Journal of Universal Computer Science (Print), v. 19, p. 25-52, 2013.

5.
Silva, G. C.2013Silva, G. C. ; GIMENES, I. M. S. ; DE TOLEDO, MARIA BEATRIZ FELGAR ; FANTINATO, Marcelo . Inter-organizational Negotiation of Web-services. International Journal of U- and E-Service, Science and Technology, v. 6, p. 97-114, 2013.

6.
FANTINATO, Marcelo2012FANTINATO, Marcelo ; FANTINATO, Marcelo ; TOLEDO, Maria Beatriz Felgar de ; GIMENES, I. M. S. ; THOM, Lucinéia Heloisa ; ROCHA, Roberto dos Santos ; Garcia, Diego Zuquim Guimaraes . A Survey on Reuse in the Business Process Management Domain. International Journal of Business Process Integration and Management (Print), v. 6, p. 52-76, 2012.

7.
LANCELOTI, L. A.2012LANCELOTI, L. A. ; GIMENES, I. M. S. ; OLIVEIRA JUNIOR, E. A. . Um Parser XMI para Modelos UML de Linha de Produto de Software: Como processar arquivos XMI contendo variabilidades de uma linha de produto de software. Engenharia de Software Magazine, v. 52, p. 54-61, 2012.

8.
Goncalves, Tiago Lopes2011Goncalves, Tiago Lopes ; Gimenes, Itana Maria De Souza ; FANTINATO, Marcelo ; TRAVASSOS, Guilherme Horta ; TOLEDO, Maria Beatriz Felgar de . Experimental studies of e-contract establishment in the PL4BPM context. International Journal of Web Engineering and Technology, v. 6, p. 243-265, 2011.

9.
Fragal, V.2011Fragal, V. ; FANTINATO, Marcelo ; GIMENES, I. M. S. ; MARTIMIANO, L. A. F. ; DE TOLEDO, MARIA BEATRIZ FELGAR . O Estabelecimento de Contratos Eletrônicos com o Ambiente FeatureContract. Revista Eletrônica de Iniciação Científica, v. 11, p. 1-15, 2011.

10.
VECCHIATO, Daniel Avila2011VECCHIATO, Daniel Avila ; TOLEDO, Maria Beatriz Felgar de ; FANTINATO, Marcelo ; GIMENES, I. M. S. ; FANTINATO, Marcelo . From Negotiation to Renegotiation Using a Feature-based BPM Infrastructure. IADIS International Journal on WWWInternet, v. 9, p. 1-16, 2011.

11.
Marchione, Felipe Goncalves2010Marchione, Felipe Goncalves ; FANTINATO, Marcelo ; TOLEDO, Maria Beatriz Felgar de ; Gimenes, Itana Maria De Souza . E-contracting with price configuration for Web services and QoS. International Journal of Web and Grid Services (Print), v. 6, p. 357, 2010.

12.
OLIVEIRA JÚNIOR, E. A.2010OLIVEIRA 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), v. 16, p. 2374-2393, 2010.

13.
Capretz, Miriam2009Capretz, 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 trial. RECIIS. Electronic journal of communication information and innovation in health (English edition. Online), v. 6, p. 229-223, 2009.

14.
ZAUPA, Fabio Gabriel2008 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.

15.
FANTINATO, Marcelo2008 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.

16.
ROMÃO, W.2004ROMÃ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.

17.
GIMENES, I. M. S.;GIMENES, ITANA M. S.;Gimenes, Itana Maria De Souza;Gimenes, Itana;Gimenes, Itana Maria2004GIMENES, 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.

18.
GIMENES, I. M. S.;GIMENES, ITANA M. S.;Gimenes, Itana Maria De Souza;Gimenes, Itana;Gimenes, Itana Maria2003GIMENES, 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.

19.
OLIVEIRA JUNIOR, E. A.2003OLIVEIRA JUNIOR, E. A. ; GIMENES, I. M. S. . Um Sistema Gerenciador de Workflow de Acordo com o Método Catalysis. Acta Scientiarum (UEM), Maringá-PR, v. 25, n.1, p. 113-122, 2003.

20.
GIMENES, I. M. S.;GIMENES, ITANA M. S.;Gimenes, Itana Maria De Souza;Gimenes, Itana;Gimenes, Itana Maria2002 GIMENES, I. M. S.; BARROCA, Leonor . Enterprise Frameworks for Workflow Management Systems. Software, Practice & Experience, Inglaterrra, v. 32, n.8, p. 755-769, 2002.

21.
GIMENES, I. M. S.;GIMENES, ITANA M. S.;Gimenes, Itana Maria De Souza;Gimenes, Itana;Gimenes, Itana Maria2000GIMENES, 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.

22.
GIMENES, I. M. S.;GIMENES, ITANA M. S.;Gimenes, Itana Maria De Souza;Gimenes, Itana;Gimenes, Itana Maria2000GIMENES, 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.

23.
GIMENES, I. M. S.;GIMENES, ITANA M. S.;Gimenes, Itana Maria De Souza;Gimenes, Itana;Gimenes, Itana Maria1998GIMENES, 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.

24.
GIMENES, I. M. S.;GIMENES, ITANA M. S.;Gimenes, Itana Maria De Souza;Gimenes, Itana;Gimenes, Itana Maria1998GIMENES, 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.

25.
GIMENES, I. M. S.;GIMENES, ITANA M. S.;Gimenes, Itana Maria De Souza;Gimenes, Itana;Gimenes, Itana Maria1998GIMENES, 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.

26.
GIMENES, I. M. S.;GIMENES, ITANA M. S.;Gimenes, Itana Maria De Souza;Gimenes, Itana;Gimenes, Itana Maria1997GIMENES, 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.

27.
GIMENES, I. M. S.;GIMENES, ITANA M. S.;Gimenes, Itana Maria De Souza;Gimenes, Itana;Gimenes, Itana Maria1996GIMENES, 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.

28.
GIMENES, I. M. S.;GIMENES, ITANA M. S.;Gimenes, Itana Maria De Souza;Gimenes, Itana;Gimenes, Itana Maria1996GIMENES, 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.

29.
GIMENES, I. M. S.;GIMENES, ITANA M. S.;Gimenes, Itana Maria De Souza;Gimenes, Itana;Gimenes, Itana Maria1996GIMENES, 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.

30.
GIMENES, I. M. S.;GIMENES, ITANA M. S.;Gimenes, Itana Maria De Souza;Gimenes, Itana;Gimenes, Itana Maria1996GIMENES, 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.

31.
GIMENES, I. M. S.;GIMENES, ITANA M. S.;Gimenes, Itana Maria De Souza;Gimenes, Itana;Gimenes, Itana Maria1990GIMENES, 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.
TOLEDO, Maria Beatriz Felgar de ; Garcia, D. Z. G. ; GIMENES, I. M. S. ; FANTINATO, Marcelo ; Silva, G. C. ; HIGASHINO, W. A. . Sistemas de Gestão de Processos de Negócio e a Tecnologia de Serviços Web. 1. ed. Rio de Janeiro, RJ: Ciência Moderna, 2013. v. 1. 248p .

2.
GIMENES, I. M. S.. Anais do XXI Simpósio Brasileiro de Engenharia de Software. 1. ed. Porto Alegre: Sociedade Brasileira de Computação, 2007. v. 1. 328p .

3.
GIMENES, I. M. S.; HUZITA, Elisa H M (Org.) . Desenvolvimento Baseado em Componentes: Conceitos e Técnicas. 1. ed. Rio de Janeiro: Ciência Moderna, 2005. v. 1. 350p .

4.
GIMENES, I. M. S.. Anais do XII Simpósio Brasileiro de Engenharia de Software. 1. ed. Porto Alegre - RS: Sociedade Brasileira de Computação, 1998. v. 1. 346p .

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

Capítulos de livros publicados
1.
GIMENES, I. M. S.; SILVA, R. F. . Abertura e Aprendizagem Colaborativa Apoiadas por Novas Tecnologias para Educação. In: Yaegashi, S. F. R.; Bianchini, L. G. B.; Santos, A. R.; Silva, S. F. K.. (Org.). Novas Tecnologias Digitais: Reflexões, sobre mediação, aprendizagem e desenvolvimento. 1ed.Curitiba: CRV, 2017, v. 1, p. 143-174.

2.
BARROCA, Leonor ; GIMENES, ITANA M. S. . Computing Postgraduate Programmes in the UK and Brazil: Learning from Experience in Distance Education with Web 2.0 Support. In: Azab, N. A.. (Org.). Cases on Web 2.0 in Developing Countries: Studies on Implementation, Application, and Use. 1ed.Hershey, PA: IGI Global, 2013, v. 1, p. 147-171.

3.
GIMENES, ITANA M. S.; BARROCA, Leonor ; Feltrim, V. D. . Tendências na Educação a Distância e Educação Aberta em Computação. In: Souza, A. F.; Galante, R.; Cesar Junior, M. F.; Pozo, A. T. R.. (Org.). XXXI Jornadas de Atualização em Informática. 1ed.Porto Alegre: SBC, 2012, v. 1, p. 5-45.

4.
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. 1ed.Hershey, PA: IGI Global, 2010, v. 1, p. 883-891.

5.
GIMENES, I. M. S.. Como ser bem sucedido na carreira docente de nível superior. In: Almeida, E. S., Masiero, P.. (Org.). A CARREIRA DE PESQUISADOR EM ENGENHARIA DE SOFTWARE: princípios, conceitos e direções. 1ed.Salvador, BA: Clube dos Autores, 2010, v. 1, p. 222-250.

6.
FANTINATO, Marcelo ; TOLEDO, Maria Beatriz Felgar de ; GIMENES, ITANA M. S. . Contratos Eletrônicos no Contexto de BPM e SOA. In: Simone G Domingues Prado. (Org.). VII Escola Regional de Informática. 1ed.Bauru: SBC, 2010, v. 1, p. 19-40.

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

8.
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. 1ed.Rio de Janeiro: Ciência Moderna, 2005, v. , p. 1-26.

9.
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. 1ed.Rio de Janeiro: Ciência Moderna, 2005, v. , p. 27-56.

10.
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. 1ed.Porto Alegre: Sociedade Brasileira de Computação, 2002, v. 2, p. 01-31.

11.
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. 1ed.São Paulo: Prentice Hall, 2001, v. 1, p. 43-47.

12.
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. 1ed.Porto Alegre-RS: Sociedade Brasileira de Computação, 2000, v. 1, p. 147-178.

Textos em jornais de notícias/revistas
1.
GIMENES, I. M. S.; PINTO, I. I. B. S. . DesafiE! II Workshop de desafios da computação aplicado a educação. Revista Computação Brasil, www.sbc.org.br, p. 36 - 40, 01 ago. 2013.

2.
DE SOUZA GIMENES, ITANA MARIA; OLIVEIRAJR, E. A. ; Zorzo, A. ; Braga, R. T. V. . Linha de Produto de Software para Aplicações Críticas. Computação Brasil, Porto Alegre, p. 76 - 155.

Trabalhos completos publicados em anais de congressos
1.
Zukello, A. ; Gimenes, Itana . OERecommender: um Sistema de Recomendação de REAs para MOOCs. In: X Latin-American Community on Learning Objects, 2015, Maceió, AL. Anais do X Latin-American Community on Learning ObjectsI. Porto Alegre, RS: SBC, 2015. v. 1. p. 1-15.

2.
Chiquito, A. ; GIMENES, I. M. S. ; OLIVEIRA JUNIOR, EDSON A. . SyMPLES-CVL: a SysML and CVL based Approach for Product-Line Development of Embedded Systems. In: Software Components, Architectures and Reuse (SBCARS), 2015 Ninth Brazilian Symposium on, 2015, Belo Horizonte. Proceedings of the Software Components, Architectures and Reuse (SBCARS), 2015 Ninth Brazilian Symposium on. USA: IEEE, 2015. v. 1. p. 1-10.

3.
GIMENES, I. M. S.; BARROCA, Leonor ; Barbosa, E. F. ; OLIVEIRA JUNIOR, EDSON A. . Learning Design for Software Engineering Courses. In: International Conference on Computer Supported Education, 2014, Barcelona. Proceedings of the International Conference on Computer Supported Education. Portugal: INSTICC, 2014. v. 1. p. 241-249-9.

4.
MARCOLINO, A. ; O JUNIOR, E. A. ; DE SOUZA GIMENES, ITANA MARIA . Variability Identification and Representation in Software Product Line UML Sequence Diagrams: Proposal and Empirical Study. In: XXVIII Simpósio Brasileiro de Engenharia de Software, 2014, Maceió. Proceeding of the 2014 Brazilian Symposium on Software Engineering. California: IEEE, 2014. v. 1. p. 141-150.

5.
MARCOLINO, A. ; OLIVEIRAJR, E. A. ; GIMENES, ITANA M. S. ; Barbosa, E. F. . Empirically Based Evolution of a Variability Management Approach at UML Class Level.. In: Annual International Computers, Software & Applications Conference, 2014, Vasteras-Suécia. Proceedings of the 38th Annual International Computers, Software & Applications Conference. CA: IEEE Conference Publishing Services, 2014. v. 1. p. 354-363.

6.
OLIVEIRAJR, E. A. ; GIMENES, ITANA M. S. . Empirical Validation of Product-Line Architecture Extensibility Metrics. In: International Conference on Enterprise Information Systems, 2014, Lisboa, Portugal. Proceedings of the International Conference on Enterprise Information Systems. Lisboa. Lisboa: INSTICC, 2014. v. 1. p. 111-118.

7.
MARCOLINO, A. ; OLIVEIRAJR, E. A. ; GIMENES, ITANA M. S. . Towards the Effectiveness of the SMarty Approach for Variability Management at Sequence Diagram Level. In: International Conference on Enterprise Information Systems, 2014, Lisboa. Proceedings of the International Conference on Enterprise Information Systems. Lisboa: INSTICC, 2014. v. 1. p. 249-256.

8.
Gazzola, M. G. ; CIFERRI, C. D. Á. ; DE SOUZA GIMENES, ITANA MARIA . SeeOER: Uma Arquitetura para Mecanismo de Busca na Web por Recursos Educacionais Abertos. In: Simpósio Brasileiro de Informática na Educação, 2014, Dourados. Anais do Simpósio Brasileiro de Informática na Educação. Porto Alegre: SBC, 2014. v. 1. p. 1-10.

9.
LANCELOTI, L. A. ; MALDONADO, José Carlos ; GIMENES, ITANA M. S. ; OLIVEIRA JUNIOR, E. A. . SMartyParser: an XMI Parser for UML-based Software Product Line Variability Models. In: International Workshop on Variability Modelling of Software-intensive Systems. In: 7th International Workshop on Variability Modelling of Software-intensive Systems., 2013, Pisa. Proceedings of the 7th International Workshop on Variability Modelling of Software-intensive Systems. New York: ACM, 2013. v. 1. p. 48-52.

10.
SILVA, R. F. ; Fragal, V. ; O JUNIOR, E. A. ; GIMENES, I. M. S. ; OQUENDO, F. . SyMPLES: a SysML-based Approach for Developing Embedded Systems Software Product Lines. In: 15th International Conference on Enterprise Information Systems (ICEIS), 2013, Angers, França. Proceedings of the 15th International Conference on Enterprise Information Systems (ICEIS). Lisboa, Portugal: SCITEPRESS ? Science and Technology Publications, 2013. v. 2. p. 184-191.

11.
Fragal, V. ; SILVA, R. F. ; GIMENES, I. M. S. ; O JUNIOR, E. A. . Application Engineering for Embedded Systems: Transforming SysML Specification to Simulink within a Product-line based Approach. In: 15th International Conference on Enterprise Information Systems (ICEIS), 2013, Angers, França. Proceedings of the 15th International Conference on Enterprise Information Systems (ICEIS). Lisboa, Portugal: SCITEPRESS ? Science and Technology Publications, 2013. v. 2. p. 85-92.

12.
MARCOLINO, A. ; OLIVEIRA JUNIOR, EDSON A. ; GIMENES, I. M. S. ; MALDONADO, J. C. . Towards the Effectiveness of a Variability Management Approach at Use Case Level. In: International Conference on Software Engineering and Knowledge Engineering, 2013, Boston, USA. Proceedings of the International Conference on Software Engineering and Knowledge Engineering. Sokie, IL: Knowledge Systems Institute Graduate School, 2013. v. 1. p. 214-219.

13.
GIMENES, I. M. S.. PROJETO DE APRENDIZAGEM DE UM CURSO DE ENGENHARIA DE SOFTWARE EXPERIMENTAL. In: Congresso Internacional ABED de Educação a Distância, 2013, Salvador, BA. Anais do 19o. Congresso Internacional ABED de Educação a Distância. São Paulo, SP: ABED, 2013. p. 1-10.

14.
O JUNIOR, E. A. ; PAZIN, M. ; GIMENES, I. M. S. ; KULESZA, Uirá . SMartySPEM: a SPEM-based Approach for Variability Management in Software Process Lines. In: International Conference on Product-Focused Software Development and Process Improvement. In: International Conference on Product-Focused Software Development and Process Improvement, 2013, Paphos, Chipre. Paphos, Chipre, 2013. v. 1. p. 169-183.

15.
MARCOLINO, A. ; O JUNIOR, E. A. ; GIMENES, I. M. S. ; CONTE, T. . Towards Validating Complexity-based Metrics for Software Product Line Architectures. In: Simpósio Brasileiro de Componentes. In: impósio Brasileiro de Componentes, Arquitetura e Reutilização de Software, 2013, Brasilia, DF. Anais do impósio Brasileiro de Componentes, Arquitetura e Reutilização de Software. Porto Alegre, RS: Sociedade Brasileira de Computação, 2013. v. 1. p. 1-16.

16.
GIRON, A. ; GIMENES, I. M. S. ; OYAMADA, M. ; O JUNIOR, E. A. ; MARTIMIANO, L. A. F. . Avaliando o Desempenho e o Consumo de Potência de um VANT Simulado na BeagleBoard. In: Simpósio Brasileiro de Engenharia de Sistemas Computacionais. In: III Simpósio Brasileiro de Engenharia de Sistemas Computacionais, 2013, Nitero, RJ. nais do III Simpósio Brasileiro de Engenharia de Sistemas Computacionais. Porto Alegre, RS: Sociedade Brasileira de Computação, 2013. v. 1. p. 1-10.

17.
MARACCI, F. ; GIMENES, I. M. S. . Abordagem para reutilização de processos de negócio. In: Computer on The Beach, 2013, Itajaí. Proceedings of the Computer on The Beach. Itajaí, SC: Itajaí, 2013. v. 1. p. 178-187.

18.
Silva, G. C. ; GIMENES, ITANA M. S. ; FANTINATO, Marcelo ; TOLEDO, Maria Beatriz Felgar de . Towards a Process for Negotiation of E-contracts Involving Web Services. In: VIII Simpósio Brasileiro de Sistemas de Informação, 2012, São Paulo. Anais do VIII Simpósio Brasileiro de Sistemas de Informação. Porto Alegre: SBC, 2012. v. 1.

19.
Capellari, M. L. ; GIMENES, I. M. S. ; SIMÃO, Adenilso Silva ; Endo, A. T. . Towards Incremental FSM-based Testing of Software Product Lines. In: Simpoósio Brasileiro de Qualidade de Software, 2012, Fortaleza. Anais do XI Simpósio Brasileiro de Qualidade de Software. Porto Alegre: SBC, 2012. v. 1. p. 9-23.

20.
OLIVEIRA JUNIOR, E. A. ; GIMENES, I. M. S. ; MALDONADO, J. C. . Empirical Validation of Variability-based Complexity Metrics for Software Product Line Architecture. In: Software Engineering and Knowledge Engineering (SEKE), 2012, San Francisco. Proceedings of Software Engineering and Knowledge Engineering (SEKE) 2012. Skokie, IL: Knowledge Engineering Institute Graduate School, 2012. p. 622-627.

21.
OLIVEIRA JUNIOR, E. A. ; GIMENES, I. M. S. ; MALDONADO, J. C. . Software Product Line Evaluation: Categorization and Evolution over the Years. In: International Conference on Distributed Multimedia Systems, 2012, Miami, FL. Proceeding of the International Conference on Distributed Multimedia Systems. Skokie, IL: Knowledge Systems Graduate School, 2012. v. 1. p. 83-88.

22.
FIORI, D. R. ; OLIVEIRA JUNIOR, E. A. ; GIMENES, I. M. S. ; MALDONADO, J. C. . Variability Management in Software Product Line Activity Diagrams. In: International Conference on Distributed Multimedia Systems, 2012, Miami, FL. Proceedings of the International Conference on Distributed Multimedia Systems. Skokie, IL: Knowledge Systems Graduate School, 2012. v. 1. p. 89-94.

23.
GIMENES, ITANA M. S.; BARROCA, Leonor ; Barbosa, E. F. . The future of human resources qualifications in Software Engineering ? meeting demands from industry and benefiting from educational and technological advances. In: 26o. Simpósio Brasileiro de Engenharia de Software (SBES) - Trilha Especial, 2012, Natal, RN. Anais do 26o. Simpósio Brasileiro de Engenharia de Software (SBES) - Trilha Especial. USA: IEEE, 2012. v. 1. p. 1-5.

24.
Barbosa, E. F. ; GIMENES, I. M. S. ; BARROCA, Leonor . Towards the Development of Open Educational Resources: Challenges and Issues. In: I Workshop Recursos Educacionais Abertos: Questões para globalização e localização, 2012, Rio de Janeiro, RJ. Anais do I Workshop Recursos Educacionais Abertos: Questões para globalização e localização. Porto Alegre: SBC, 2012. v. 1. p. 1-5.

25.
Fragal, V. ; OLIVEIRA JÚNIOR, E. A. ; GIMENES, I. M. S. . Mapping Software Product Line Features to Unmanned Aerial Vehicle Models. In: I Brazilian Conference on Critical Embedded Systems (CBSEC), 2011, São Carlos, SP. Proceedings of the I Brazilian Conference on Critical Embedded Systems (CBSEC). Porto Alegre, Brazil: SBC, 2011. v. 1. p. 1-10.

26.
OLIVEIRA JÚNIOR, E. A. ; GIMENES, I. M. S. ; MALDONADO, J. C. . A Meta-Process to Support Trade-Off Analysis in Software Product Line Architecture. In: International Conference on Software Engineering and Knowledge Engineering, 2011, Miami. `Proceedings of the International Conference on Software Engineering and Knowledge Engineering, 2011, Miami, USA. Proceeding of the International Conference on Software Engineering and Knowledge Engineering, 2011, Miami. `Proceedings of the International Conference on Software Engineering and Knowledge Engineering, 2011. v. 1. p. 687-692.

27.
Contieri Junior, A. C. ; Correia, G. G. ; Lopes, T. E. C. ; GIMENES, I. M. S. ; OLIVEIRA JÚNIOR, E. A. ; FERRARI, S. ; MASIERO, Paulo Cezar ; GARCIA, A. F. . Extending UML Components to Develop Software Product-Line Architectures: Lessons Learned. In: European Conference on Software Architecture, 2011, Essen, Alemanha. Software Architecture - Proceedings of the 5th European Conference, ECSA 2011. Berlin Heidelberg: Springer Verlag, 2011. v. 6903. p. 130-138.

28.
FREITAS, M. ; GIMENES, I. M. S. ; FANTINATO, Marcelo ; GARCIA, A. F. . Improving QoS Monitoring Based on the Aspect-Orientated Paradigm. In: 12th International Conference on Enterprise Information Systems, 2011, Funchal, Madeira. Lecture Notes in Business Information Processing - Enterprise Information Systems - Revised Selected Papers. Berlin Heidelberg: Springer Verlag, 2011. v. 73. p. 421-435.

29.
Braga, R. T. V. ; BRANCO, K. R. L. J. C. ; TRINDADE JUNIOR, O. ; GIMENES, I. M. S. . Evolving Tiriba Design towards a Product line of Small Electric-Powered UAVs. In: 1a Conferência Brasileira de Sistemas Embarcados Críticos, 2011, São Carlos, SP. I Brazilian Conference on Critical Embedded Systems (CBSEC). São Paulo - SP : EPUSP: EPUSP, 2011. p. 67-72.

30.
OLIVEIRA JUNIOR, E. A. ; GIMENES, I. M. S. ; MALDONADO, J. C. . Avaliação Sistemática de Arquitetura de Linha de Produto de Software. In: Conferencia Latinoamericana de Informática, 2011, Quito. Analles de la Conferencia Latinoamericana de Informática, 2011. v. 1. p. 77-92.

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

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

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

34.
Vecchiato, D. A. ; TOLEDO, Maria Beatriz Felgar de ; FANTINATO, Marcelo ; GIMENES, I. M. S. . A Feature-based Toolkit for Electronic Contract Negotiation and Renegotiation. In: IADIS International Conference WWW/Internet 2010 (IADIS ICWI), 2010, Romênia. Proceedings of the IADIS International Conference WWW/Internet 2010, 2010. v. 1. p. 3-10.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

86.
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.
Rodrigues, E. M. ; Zorzo, A. ; OLIVEIRA JUNIOR, E. A. ; GIMENES, ITANA M. S. ; MALDONADO, J. C. . PlugSPL: An Automated Environment for Supporting Plugin-based Software Product Lines. In: Software Engineering and Knowledge Engineering (SEKE. In: Proceedings of the Software Engineering and Knowledge Engineering (SEKE), 2012, San Francisco, USA. Proceedings of Software Engineering and Knowledge Engineering (SEKE) 2012. Skokie, IL: Knowledge Engineering Institute Graduate School, 2012. p. 647-650.

2.
OIZUMI, WILLIAN N. ; CONTIERI JUNIOR, ANTONIO C. ; CORREIA, GUILHERME G. ; COLANZI, THELMA E. ; FERRARI, SANDRA ; GIMENES, ITANA M. S. ; OLIVEIRA JUNIOR, EDSON A. ; GARCIA, ALESSANDRO FABRICIO ; MASIERO, PAULO CESAR . On the Proactive Design of Product-Line Architectures with Aspects: An Exploratory Study. In: 2012 IEEE 36th Annual Computer Software and Applications Conference COMPSAC 2012, 2012, Izmir. 2012 IEEE 36th Annual Computer Software and Applications Conference. v. 1. p. 273-278.

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

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

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

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

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

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

9.
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.
Silva, G. C. ; GIMENES, ITANA M. S. . Towards an approach based on eletronic contracts to address the vendor lock-in cloud computing. In: IADIS International Conference WWW/Internet 2012, 2012, Madrid. Proceeding of the IADIS International Conference WWW/Internet 2012. Madrid: International Association for Development of the Information Society, 2012. v. 1. p. 537-539.

2.
GIMENES, I. M. S.; BARROCA, Leonor ; Barbosa, E. F. . International Workshop on Distance Learning Support for Postgraduate Programs in Software Engineering (e-gradSE). In: 24th IEEE-CS Conference on Software Engineering Education and Training, 2011, Waikiki. Proceedings of the 24th IEEE-CS Conference on Software Engineering Education and Training. Piscatay, NJ: IEEE, 2011. v. 1. p. 517-519.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Apresentações de Trabalho
1.
GIMENES, ITANA M. S.. Climbing the tree of unreachable fruits, reusing processes. 2014. (Apresentação de Trabalho/Conferência ou palestra).

2.
DE SOUZA GIMENES, ITANA MARIA. Recursos Educacionais Abertos e o Projeto Oportunidad. 2014. (Apresentação de Trabalho/Outra).

3.
GIMENES, I. M. S.. Os Dilemas Didáticos da Engenharia de Software: nós no Pódio e eles nas nuvens. 2013. (Apresentação de Trabalho/Conferência ou palestra).

4.
DE SOUZA GIMENES, ITANA MARIA. Mulheres na Tecnologia - Mesa Redonda. 2013. (Apresentação de Trabalho/Outra).

5.
DE SOUZA GIMENES, ITANA MARIA. Recursos Educatcionais Abertos. 2013. (Apresentação de Trabalho/Conferência ou palestra).

6.
OLIVEIRA JÚNIOR, E. A. ; GIMENES, I. M. S. ; MALDONADO, J. C. . Software Product Line Evaluation: Categorization and Evolution over the Years. 2012. (Apresentação de Trabalho/Simpósio).

7.
DE SOUZA GIMENES, ITANA MARIA. Recursos Educatcionais Abertos. 2012. (Apresentação de Trabalho/Conferência ou palestra).

Outras produções bibliográficas
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
Entrevistas, mesas redondas, programas e comentários na mídia
1.
Inamorato, A. ; Meier, M. ; Assumpção, C. M. ; DE SOUZA GIMENES, ITANA MARIA . A educação aberta no Brasil: identificando desafios, buscando oportunidades (ABED-ABERTA). 2014. (Programa de rádio ou TV/Mesa redonda).


Demais tipos de produção técnica
1.
GIMENES, I. M. S.. Educação e Ciência Aberta - o impacto das novas tecnologias no apoio e disseminação de conhecimento. 2013. (Editoração/Outra).

2.
GIMENES, I. M. S.; Mendonça, M. . IET Special Issue: Selected papers from SBES´07. 2009. (Editoração/Periódico).

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

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

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

6.
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 de trabalhos de conclusão
Mestrado
1.
VINCENZI, A. M. R.; GIMENES, I. M. S.; SOUZA, S. R. S.. Participação em banca de Nilton Mendes de Souza. RAModelTI: agregando informações de teste de software no Modelo para Arquiteturas de Referência (RAModel). 2017. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.

2.
Silva, M. A. G.; Fabri, J. A.; GIMENES, I. M. S.. Participação em banca de Narci Nogueira da Silva. Desenvolvimento de Objetos de Aprendizagem para a Aprendizagem Baseada em Problemas no Ensino de Computação para Engenharias. 2017. Dissertação (Mestrado em Programa de Pós-graduação em Informática da UTFPR-Cornélio Procópio) - Universidade Tecnológica Federal do Paraná.

3.
O JUNIOR, E. A.; DE SOUZA GIMENES, ITANA MARIA; CONTE, T.. Participação em banca de Anderson da Silva Marcolino. Validação Experimental da abordagem SMarty para gerenciamento de variabilidade em linhas de produto de software baseadas em UML. 2014. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Maringá.

4.
DE TOLEDO, MARIA BEATRIZ FELGAR; DE SOUZA GIMENES, ITANA MARIA; Carvalho, A. M. B. R.. Participação em banca de Wilson Vendramel. Uma Investigação Empírica sobre a Adoção de Gestão de Processos de Negócio nas Organizações. 2013. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

5.
MASIERO, Paulo Cezar; BRANCO, K. R. L. J. C.; GIMENES, I. M. S.. Participação em banca de Eduardo Miranda Steiner. Gerenciamento de configuração de uma linha de produtos de software de veículos aéreos não tripulados. 2012. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.

6.
Reinehr, S.; Malucelli, A.; GIMENES, ITANA M. S.. Participação em banca de Cleiton dos Santos Garcia. Proposta de uma linha de processo de software para desenvolvimento de aplicações SOA e BPM. 2012. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Paraná.

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

8.
GIMENES, I. M. S.; DELAMARO, M. E.; MALDONADO, José Carlos. 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.

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

10.
DIAS, M. M.; GIMENES, I. M. S.; BORBA, S. P.. 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á.

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

12.
GIMENES, I. M. S.; MORON, Célio; TRREVELIN, Luis. 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.

13.
GIMENES, I. M. S.; MASIERO, Paulo Cezar; SIMÃO, Adenilso Silva. 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.

14.
GIMENES, I. M. S.; WERNER, Cláudia; BECKER, Karin; OLIVEIRA, Toacy; MATTOSO, Marta; TRAVASSOS, Guilherme Horta. 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.

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

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

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

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

19.
GIMENES, I. M. S.; DIAS, M. M.; PACHECO, R. C. 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á.

20.
GIMENES, I. M. S.; HUZITA, Elisa Hatsue Moriya; RENAUX, D. P. B.. 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á.

21.
GIMENES, I. M. S.; FORTES, R. P. M.; CHAIM, M. L.. 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.

22.
GIMENES, I. M. S.; VSCONCELOS, A. M. L.; CASTRO, J. F. B.. 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.

23.
GIMENES, I. M. S.; GUIMARÃES, C.; TOLEDO, Maria Beatriz Felgar de. 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.

24.
GIMENES, I. M. S.; MASIERO, Paulo Cezar; PIMENTEL, M. G. C.. 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.

25.
GIMENES, I. M. S.; CASTRO, J. F. B.; VSCONCELOS, A. M. L.. 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.

26.
GIMENES, I. M. S.; CALSAVARA, A.; GODWIN, R.. 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á.

27.
GIMENES, I. M. S.; TOLEDO, Maria Beatriz Felgar de; EDELWEISS, N.; PALAZZO, J. C. O.. 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.

28.
RIBEIRO, J. R. P.; GIMENES, I. M. S.; MORON, Célio. 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.

29.
SILVA, N. C.; GIMENES, I. M. S.; MORON, Célio. 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.

30.
MELHORETTO, S. M.; GIMENES, I. M. S.; BETINI, R.; ROCHA, A. R.. 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á.

31.
PALUDO, M. A.; GIMENES, I. M. S.; BURNETT, R.; PRICE, R. T.. 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á.

32.
SETTI, M. G.; GIMENES, I. M. S.; RENAUX, D. P. B.. 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á.

33.
POMPERMAIER, L. B.; GIMENES, I. M. S.; PRICE, R. T.. 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.

34.
FREITAS, A. L. C.; GIMENES, I. M. S.; PRICE, A. M. A.; HEUSER, C. A.. 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.

35.
ALCÂNTARA, A. A.; GIMENES, I. M. S.; MEIRA, S. R. L.. 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.

36.
LIMA, C. A. G.; GIMENES, I. M. S.; NUNES, D. J.. 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.

37.
LIMA, J. C. D.; GIMENES, I. M. S.; PALAZZO, J. C.. 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.

38.
SANTANDER, V. F. A.; GIMENES, I. M. S.; MASIERO, Paulo Cezar; PRADO, A. F.. 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.

39.
GUIMARÃES, M. S.; GIMENES, I. M. S.; MARTINS, E.; RUBIRA, Cecília. 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.

40.
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.
GIMENES, I. M. S.; WERNER, Cláudia; Quintero, C. E. C.; AVGERIOU, P.; NAKAGAWA, E. Y.. Participação em banca de Milena Guessi Margarido. Sintese de arquiteturas de software para sistemas-de-sistemas: um método automatizado por resolução de restrições. 2017. Tese (Doutorado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.

2.
DE SOUZA GIMENES, ITANA MARIA; VERGILIO, S.; GARCIA, ALESSANDRO FABRICIO; Pozo, A. T. R.; Souza, J. T.. Participação em banca de Thelma Elita Colanzi Lopes. Uma abordagem de otimização multiobjetivo para projeto arquitetural de linha de produto de software. 2014. Tese (Doutorado em Informática) - Universidade Federal do Paraná.

3.
FABBRI, S. C. P. F.; MALDONADO, J. C.; GIMENES, ITANA M. S.; CAURIN, G. A. P.; VINCENZI, A. M. R.. Participação em banca de Erick Aceiro Antonio. RTSS: Uma Família de Técnicas de Leitura para Suporte à Inspeção de Modelos SysML e SIMULINK. 2014. Tese (Doutorado em Ciência da Computação) - Universidade Federal de São Carlos.

4.
Macedo, R; Castelo Branco, Sergio; Gorender, Sergio; DE SOUZA GIMENES, ITANA MARIA. Participação em banca de Sandro Santos Andrade. Projeto Arquitetural Automatizado de Sistemas Self-Adaptive - Uma Abordagem Baseada em busca. 2014. Tese (Doutorado em Ciência da Computação - Ufba - Unifacs) - Universidade Federal da Bahia.

5.
Zorzo, A.; PRIKLADNICKI, R.; GIMENES, I. M. S.; SIMÃO, Adenilso Silva. Participação em banca de Elder de Macedo Rodrigues. PleTs - A Product Line of Model-Based Testing Tools. 2013. Tese (Doutorado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul.

6.
DE SOUZA GIMENES, ITANA MARIA; RUBIRA, Cecília; Brito, P. H. S.; Carvalho, A. M. B. R.; DE TOLEDO, MARIA BEATRIZ FELGAR. Participação em banca de Amanda Sávio Nascimento e Silva. Uma Infraestrutura Autoadaptativa Baseada em Linhas de Produto de Software para Composição de Serviços Tolerantes a Falhas. 2013. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas.

7.
SIMÃO, Adenilso Silva; VERGILIO, S.; MARTINS, E.; GHEYI, R.; GIMENES, I. M. S.. Participação em banca de André Takeshi Endo. Teste Baseado em Modelo de Aplicações Orientadas a Serviço. 2013. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo.

8.
MALDONADO, J. C.; Kon, Fábio; Giraffa, L. M. M.; Isotani, Seiji; GIMENES, I. M. S.. Participação em banca de Marco Aurélio Graciotto Silva. LOD: uma abordagem para desenvolvimento de objetos de aprendizagem mutimídia e interativos. 2012. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo.

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

10.
GIMENES, I. M. S.; GARCIA, A. F.; LUCENA, Carlos José Pereira de; Leite, J. C. S.; Staa, A. v.. 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.

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

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

13.
GIMENES, I. M. S.; STADZISZ, P. C.; FURQUIM, J.; TACLA, C. A.. 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á.

14.
GIMENES, I. M. S.; MARIA, J.; KELNER, J.; VASCOCELOS, A. M. L.; SOARES, J.. 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.

15.
GIMENES, I. M. S.; LISBÔA, M. L. B.; HERBERT, J. S.; PRICE, A. M. A.. 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.

16.
GIMENES, I. M. S.; VSCONCELOS, A. M. L.; MOURA, H. P.; NUNES, D. J.; RIBEIRO, F. M.. 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.

17.
GIMENES, I. M. S.; CASTRO, J. F. B.; PRICE, A. M. A.; NUNES, D. J.. 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.
SOUZA, S. R. S.; Lucrédio, D.; GIMENES, ITANA M. S.. Participação em banca de Vanderson Hafemann Fragal. Geração de Teste Baseado em Modelos para as Dimensões de Evolução em Linha de Produto de Software. 2014. Exame de qualificação (Doutorando em Ciencia da Computacao) - Universidade de São Paulo.

2.
GIMENES, I. M. S.; Zorzo, A.; Prikladinick, R.. Participação em banca de Elder de Macedo Rodrigues. PleTs-A Software Product Line for Model-Based Testing Tool. 2012. Exame de qualificação (Doutorando em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul.

3.
Kon, Fábio; Isotani, Seiji; GIMENES, ITANA M. S.. Participação em banca de Mauricio Massaru Arimoto. Uma contribuição para o desenvolvimento ágil de recursos educacionais abertos. 2012. Exame de qualificação (Doutorando em Ciencia da Computacao) - Universidade de São Paulo.

4.
GIMENES, I. M. S.; TOLEDO, Maria Beatriz Felgar de; RUBIRA, Cecília; PIRES, Paulo de Figueiredo. 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.

5.
GIMENES, I. M. S.; VSCONCELOS, A. M. L.; ROSA, N. 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.

6.
GIMENES, I. M. S.; ORGAMBIDE, A. C. F.; WILLMERDORF, R. B.. 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.

7.
GIMENES, I. M. S.; VSCONCELOS, A. M. L.; MOURA, H. P.. 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.

Qualificações de Mestrado
1.
GIMENES, I. M. S.; OLIVEIRAJR, E.; Lopes, T. E. C.. Participação em banca de Viviane da Rocha Furtado. Sobre a Qualidade de experimentos e quasi-experimentos controlados em linha de produto de software. 2017. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Estadual de Maringá.

2.
STEINMACHER, I. F.; Leal, G. C. L.; GIMENES, I. M. S.. Participação em banca de Anderson Bergamini Neira. Estudo exploratório sobre o comportamento dos desenvolvedores da plataforma Topcoder. 2017. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Estadual de Maringá.

3.
GIMENES, I. M. S.; Leal, G. C. L.; OLIVEIRA JUNIOR, E. A.. Participação em banca de Bruno Henrique Cavalcante. Um conjunto de Diretrizes para desenvolvimento de software em startups. 2017. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Estadual de Maringá.

Outros tipos
1.
GIMENES, I. M. S.; DIAS, M. M.; CIFERRI, C. D. Á.. 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.
GIMENES, I. M. S.; HUZITA, Elisa H M; DIAS, M. M.. 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.
GIMENES, I. M. S.; SILVA FILHO, A. M.; HUZITA, Elisa H M. 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.; MELNIKOFF, S. S. S.; AMBROSIO, M. H.; Perioto, P.; GIMENES, I. M. S.. Teoria dos Grafos:'planarização. 2007. Universidade Estadual de Maringá.

2.
JINO, M.; AMBROSIO, M. H.; Perioto, P.; GIMENES, I. M. S.; MELNIKOFF, S. S. S.. Professor Titular em Engenharia de Software. 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.
GIMENES, I. M. S.; BRUZAROSCO, Donizete Carlos; SIMÃO, Adenilso Silva. 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.
GIMENES, I. M. S.; CONSTANTINO, A. A.. 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.
GIMENES, I. M. S.; MASIERO, Paulo Cezar; JINO, M.. 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.
GIMENES, ITANA M. S.; Muzilli, O.. Comissão de Especialistas do processo de avaliação de mérito científico de Projetos TIC do TECNOVA-PR. 2014. Fundação Araucária de Apoio ao Desenvolvimento Científico e Tecnológico.

2.
Gomes, O. M.; Figueiredo Filho, A.; Neves, C. S.; GIMENES, I. M. S.; Queiroz, M. M. F.. 21o. Prêmio Paranaense de Ciência e Tecnologia. 2007. Secretaria de Ciência e Tecnologia.

3.
GIMENES, I. M. S.. Teste Seletivo de Professor Colaborador na área/matéria: Processo de Engenharia de Software. 1997. Universidade Estadual de Maringá.

4.
GIMENES, I. M. S.. Teste Seletivo de Professor Colaborador na área/matéria: Software Básico,. 1997. Universidade Estadual de Maringá.

5.
GIMENES, I. M. S.. Teste Seletivo de Professor Colaborador na área/matéria: Sistemas Distribuídos. 1997. Universidade Estadual de Maringá.

6.
GIMENES, I. M. S.. Banca Examinadora do concurso para professor colaborador na matéria: Linguagens de Programação. 1995. Universidade Estadual de Maringá.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
Gerenciamento de Equipes.Gerenciamento de Equipe. 2015. (Outra).

2.
EMPRETEC.Participante. 2014. (Seminário).


Organização de eventos, congressos, exposições e feiras
1.
GIMENES, I. M. S.; PINTO, I. I. B. S. . II Workshop de desafios da computação aplicada a educação - DesafiE 2013. 2013. (Outro).

2.
Franch, X. ; GIMENES, I. M. S. ; Pablo, J. . XIII Congreso Iberoamericano en "Software Engineering". 2010. (Congresso).

3.
GIMENES, I. M. S.. XXII Simpósio Brasileiro de Engenharia de Software. 2007. (Congresso).

4.
GIMENES, I. M. S.. XII Simpósio Brasileiro de Engenharia de Software. 1998. (Congresso).

5.
GIMENES, I. M. S.. XIII Simpósio Brasileiro de Banco de Dados. 1998. (Congresso).



Orientações



Orientações e supervisões em andamento
Dissertação de mestrado
1.
Osvaldo Fernando Cossa. Um método para a gestão de processos de negócios em universidades públicas. Início: 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Maringá. (Orientador).


Orientações e supervisões concluídas
Dissertação de mestrado
1.
Marcelo Lessa Ribeiro. Arquitetura de software e métodos ágeis. 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Maringá, . Orientador: Itana Maria de Souza Gimenes.

2.
André Cruz Mendes. Avaliação da Efetividade de Video-conferencia na Educação a Distancia. 2014. 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.

3.
Vanderson Hafmann Fragal. Técnicas de geração de código utilizando LPS e MDE para sistemas embarcados. 2013. 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.

4.
Alexandre Augusto Giron. Transformações de modelos SysML para Simulink. 2013. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Maringá, . Orientador: Itana Maria de Souza Gimenes.

5.
Alisson Gaspar Chiquitto. Ontologias para Smarty Systems. 2013. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Maringá, . Orientador: Itana Maria de Souza Gimenes.

6.
Fábio Splendor. Projeto de um Veículo Aéreo Não-Tripulado para Coleta de Dados. 2013. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Maringá, . Orientador: Itana Maria de Souza Gimenes.

7.
Ariel Gustavo Zuchello. OERecommender: um sistema de recomendação de REA para MOOC. 2013. 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.

8.
Wagner Laras. Monitoramento de Contratos Eletrônico. 2012. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Maringá, . Orientador: Itana Maria de Souza Gimenes.

9.
Maycon Luis Capellari. Teste de Linha de Produto para Sistemas Embarcados. 2012. 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.
Rogério Ferreira da Silva. SyMPLES: Uma Abordagem de Desenvolvimento de Linha de Produto para Sistemas Embarcados baseada em SysML. 2012. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Maringá, . Orientador: Itana Maria de Souza Gimenes.

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

12.
Alexandre Huff. Um Ambiente de Apoio à Realização de Experimentos Científicos em um Cluster de Computadores de Alto Desempenho. 2010. Dissertação (Mestrado 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.
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.

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

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

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

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

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

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

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

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

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

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

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

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

26.
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, . Coorientador: Itana Maria de Souza Gimenes.

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

28.
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, . Coorientador: Itana Maria de Souza Gimenes.

29.
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. Coorientador: Itana Maria de Souza Gimenes.

30.
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, . Coorientador: 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.
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.

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

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

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.
Murilo Gleyson Gazzola. Implementação de um repositório de recursos de treinamento de acesso aberto para o INCT-SEC. 2013. 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.

2.
Tiago Momesso de Menezes. Um sistema administrativo de apoio a COAVIT (SAV) - controle de produção. 2010. Iniciação Científica. (Graduando em Informática) - Universidade Estadual de Maringá, Fundação Aracáuria. Orientador: Itana Maria de Souza Gimenes.

3.
Paulo Henrique Knippelberg Pinho. Representação de processos de negócios na ferramenta FeatureContract. 2010. 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.

4.
Mariellen Sakurai. Um sistema administrativo de apoio a COAVIT (SAV). 2009. Iniciação Científica. (Graduando em Informática) - Universidade Estadual de Maringá, Fundação Aracáuria. Orientador: Itana Maria de Souza Gimenes.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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



Inovação



Projetos de pesquisa


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



Artigos
Artigos completos publicados em periódicos
1.
Silva, G. C.2013Silva, G. C. ; GIMENES, I. M. S. ; DE TOLEDO, MARIA BEATRIZ FELGAR ; FANTINATO, Marcelo . Inter-organizational Negotiation of Web-services. International Journal of U- and E-Service, Science and Technology, v. 6, p. 97-114, 2013.


Livros e capítulos
1.
BARROCA, Leonor ; GIMENES, ITANA M. S. . Computing Postgraduate Programmes in the UK and Brazil: Learning from Experience in Distance Education with Web 2.0 Support. In: Azab, N. A.. (Org.). Cases on Web 2.0 in Developing Countries: Studies on Implementation, Application, and Use. 1ed.Hershey, PA: IGI Global, 2013, v. 1, p. 147-171.


Apresentações de Trabalho
1.
DE SOUZA GIMENES, ITANA MARIA. Recursos Educacionais Abertos e o Projeto Oportunidad. 2014. (Apresentação de Trabalho/Outra).


Entrevistas, mesas redondas, programas e comentários na mídia
1.
Inamorato, A. ; Meier, M. ; Assumpção, C. M. ; DE SOUZA GIMENES, ITANA MARIA . A educação aberta no Brasil: identificando desafios, buscando oportunidades (ABED-ABERTA). 2014. (Programa de rádio ou TV/Mesa redonda).



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 16/11/2018 às 23:13:11