Rede de Colaboração
Diretório de grupos de pesquisa
SciELO - artigos em texto completo |
Viviane Torres da Silva possui graduação em Engenharia de Computação pela Pontifícia Universidade Católica do Rio de Janeiro (1998), mestrado em Informática pela Pontifícia Universidade Católica do Rio de Janeiro (2000) e doutorado em Informática pela Pontifícia Universidade Católica do Rio de Janeiro (2004). Durante o período de 03/2006 a 09/2008 foi pesquisadora contratada da Universidade Complutense de Madrid e durante o período de 10/2008 a 01/2009 foi pesquisadora da Pontifícia Uiversidade Católica do Rio de Janeiro. Atualmente é professora adjunto da Universidade Federal Fluminense. Tem experiência na área de Ciência da Computação, com ênfase em Engenharia de Software, atuando principalmente nos seguintes temas: sistemas multi-agentes, modelagem, frameworks, padrões de projeto.
Última
atualização do currículo em 30/09/2011
Endereço para acessar este CV: http://lattes.cnpq.br/7802814360038820 |
Dados pessoais
| Nome | Viviane Torres da Silva |
| Nome em citações bibliográficas | SILVA, V. T. |
| Sexo | Feminino |
| Endereço profissional | Universidade Federal Fluminense, Centro Tecnológico. Rua Passo da Pátria 156 - Bloco E - 3º andar São Domingos 24210-240 - Niteroi, RJ - Brasil Telefone: (21) 26295677 URL da Homepage: http://www.ic.uff.br/~viviane.silva |
Formação acadêmica/Titulação
| 2000 - 2004 | Doutorado em Informática
.
Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil. Título: Uma Linguagem de Modelagem para Sistemas Multi-Agentes Baseada em Um Framework Conceitual para Agentes e Objetos, Ano de Obtenção: 2004. Orientador:  Carlos José Pereira de Lucena.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico ,CNPq ,Brasil . Palavras-chave: agentes de software; sistemas multi-agentes; análise e design; orientação a objetos; engenharia de software; linguagem de modelagem. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Engenharia de Software. Setores de atividade: Informática. |
| 1998 - 2000 | Mestrado em Informática
.
Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil. Título: ContentNet: Um Framework para Interoperabilidade de Conteúdos Educacionais utilizando padrão IMS., Ano de Obtenção: 2000. Orientador: Carlos José Pereira de Lucena.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico ,CNPq ,Brasil . Palavras-chave: framework; educação a distância; AULANET. 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. |
| 1993 - 1998 | Graduação em Engenharia de Computação
.
Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil. Título: Framework para envio e recebimento de pacotes entre Cliente e Servidor. Orientador: Carlos José Pereira de Lucena. |
Atuação profissional
| Instituto Militar de Engenharia, IME, Brasil. |
| Vínculo institucional |
| 2011 - 2013 | Vínculo: Colaborador, Enquadramento Funcional: Pesquisadora |
| Atividades |
| 2011 - 2013 | Atividades de Participação em Projeto, Seção de Engenharia de Computação, . |
|
Projetos de pesquisa Núcleo Emergente de Pesquisa em Sistemas Inteligentes: Modelagem de Sistemas Inteligentes |
| Universidad Rey Juan Carlos, URJC, Espanha. |
| Vínculo institucional |
| 2010 - 2012 | Vínculo: Colaborador, Enquadramento Funcional: Pesquisador |
| Atividades |
| 2010 - 2012 | Atividades de Participação em Projeto, Ciência de la Computación e Inteligencia Artificial, . |
|
Projetos de pesquisa OVAMAH: Adaptive Virtual Organizations: Mechanisms, Architectures and Tools. |
| Universidade Federal Fluminense, UFF, Brasil. |
| Vínculo institucional |
| 2009 - Atual | Vínculo: Servidor Público, Enquadramento Funcional: Professora Adjunto Ii, Carga horária: 40, Regime: Dedicação exclusiva. |
| Atividades |
| 03/2010 - Atual | Ensino, Ciência da Computação, Nível: Pós-Graduação. |
| Disciplinas ministradas Introdução a Sistemas Multi-agente |
| 08/2009 - Atual | Ensino, Ciência da Computação, Nível: Graduação. |
| Disciplinas ministradas Engenharia de Software I |
| 02/2009 - Atual | Pesquisa e desenvolvimento , Centro Tecnológico, . |
|
Linhas de pesquisa Engenharia de Software Orientada a Agentes Engenharia de Software Orientada a Objetos |
| 2010 - 2013 | Atividades de Participação em Projeto, Instituto de Ciência da Computação, . |
|
Projetos de pesquisa Explorando o conceito de Normas em Sistemas Multi-agente Abertos do ponto de vista da Engenharia de Software |
| 2010 - 2012 | Atividades de Participação em Projeto, Instituto de Ciência da Computação, . |
|
Projetos de pesquisa SCIADS: Sistema Computacional Inteligente de Assistência Domiciliar à Saúde Uma abordagem para o desenvolvimento de agentes emocionais utilizando a plataforma BDI |
| 2009 - 2011 | Atividades de Participação em Projeto, Instituto de Ciência da Computação, . |
|
Projetos de pesquisa Modelagem de Normas e Verificação de Conflitos |
| 2009 - 2010 | Atividades de Participação em Projeto, Instituto de Ciência da Computação, . |
|
Projetos de pesquisa Explorando o conceito de Normas em Sistemas Multi-agente Abertos Explorando o conceito de Normas em Sistemas Multi-agente Abertos do ponto de vista da Engenharia de Software (APQ1) |
| 08/2009 - 12/2009 | Ensino, Ciência da Computação, Nível: Pós-Graduação. |
| Disciplinas ministradas Sistemas Multi-agente - estudos avançados |
| 03/2009 - 07/2009 | Ensino, Ciência da Computação, Nível: Pós-Graduação. |
| Disciplinas ministradas Introdução a Sistemas Multi-Agentes |
| 03/2009 - 07/2009 | Ensino, Ciência da Computação, Nível: Graduação. |
| Disciplinas ministradas Organização de Computadores I Programação de Computadores III (Fortran) |
| Instituto de Investigación en Inteligencia Artificial, IIIA, Espanha. |
| Vínculo institucional |
| 2008 - 2009 | Vínculo: Colaboradora, Enquadramento Funcional: Pesquisadora, Carga horária: 2 |
| Atividades |
| 2005 - 2010 | Atividades de Participação em Projeto, Departamento de Sistemas multiagente, . |
|
Projetos de pesquisa Consolider Agreement Technologies |
| Universidad Complutense de Madrid, UCM, Espanha. |
| Vínculo institucional |
| 2006 - 2008 | Vínculo: Pesquisadora Juan de la Cierva, Enquadramento Funcional: Pesquisadora contratada, Carga horária: 40 |
| Outras informações | Contratada através do programa Juan de la Cierva do Ministerio de Educación y Ciencia español. |
| Atividades |
| 10/2006 - 09/2008 | Atividades de Participação em Projeto, Departamento de Sistemas Informaticos y Computacion, . |
|
Projetos de pesquisa Desarrollo de software de alta calidad, fiable, distribuido y seguro (DESAFIOS) |
| 03/2006 - 09/2008 | Pesquisa e desenvolvimento , Departamento de Sistemas Informaticos y Computacion, . |
|
Linhas de pesquisa Sistemas Multi-agentes Engenharia de Software |
| 01/2006 - 09/2008 | Atividades de Participação em Projeto, Departamento de Sistemas Informaticos y Computacion, . |
|
Projetos de pesquisa Programa en métodos para el desarrollo de software fiable de alta caliad y seguro (PROMESAS) |
| 10/2007 - 07/2008 | Ensino, Ingenieria Informatica, Nível: Graduação. |
| Disciplinas ministradas Sistemas Informáticos: Orientação do trabalho final da graduação |
| 06/2007 - 11/2007 | Conselhos, Comissões e Consultoria, Departamento de Sistemas Informaticos y Computacion, . |
|
Cargo ou função
Consultoria a empresa Indra S.A.. |
| 03/2006 - 05/2007 | Atividades de Participação em Projeto, Departamento de Sistemas Informaticos y Computacion, . |
|
Projetos de pesquisa Metalenguajes para el diseño y analisis integrado de sistemas móviles y distribuidos (MIDAS) |
| Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil. |
| Vínculo institucional |
| 2008 - 2009 | Vínculo: Colaboradora, Enquadramento Funcional: Pesquisadora, Carga horária: 8 |
| Vínculo institucional |
| 2004 - 2006 | Vínculo: Bolsista recém-doutor, Enquadramento Funcional: Pesquisadora, Carga horária: 40 |
| Outras informações | Bolsita CNPq nível pesquisador doutor através do projeto ESSMA (Engenharia de Software para Sistemas Multi-Agentes) número 552068/2002-0. |
| Vínculo institucional |
| 2000 - 2004 | Vínculo: Bolsista Doutorado, Enquadramento Funcional: Pesquisadora, Carga horária: 40, Regime: Dedicação exclusiva. |
| Outras informações | Bolsista de doutorado com orientação do prof. Carlos J. P. de Lucena |
| Vínculo institucional |
| 1998 - 2000 | Vínculo: Bolsista Mestrado, Enquadramento Funcional: Pesquisadora, Carga horária: 40, Regime: Dedicação exclusiva. |
| Outras informações | Bolsista de mestrado com orientação do prof Carlos J. P. de Lucena. |
| Vínculo institucional |
| 1996 - 1998 | Vínculo: Bolsista Iniciação Científica, Enquadramento Funcional: Estagiária, Carga horária: 20 |
| Outras informações | Bolsista iniciação científica através do Laboratória de Engenharia de Software coordenado pelo prof. Carlos J. P. de Lucena |
| Atividades |
| 10/2008 - Atual | Atividades de Participação em Projeto, Departamento de Informática, . |
|
Projetos de pesquisa Modelagem Computacional de Sistemas Biológicos e Sociais Baseada em Sistemas Multiagentes |
| 3/2003 - 7/2006 | Atividades de Participação em Projeto, Centro Técnico-Científico, Departamento de Informática. |
|
Projetos de pesquisa ESSMA: Engenharia de Software para Sistemas Multi-Agentes |
| 10/2005 - 2/2006 | Atividades de Participação em Projeto, Centro Técnico-Científico, Departamento de Informática. |
|
Projetos de pesquisa Uma Ferramenta para Modelagem e Implementação de SMA |
| 1/2005 - 2/2006 | Atividades de Participação em Projeto, Centro Técnico-Científico, Departamento de Informática. |
|
Projetos de pesquisa EMACA: Engenharia de Software para Aplicações Multi-Agentes Cooperativas (CAPES-COFECUB) |
| 8/2004 - 2/2006 | Treinamentos ministrados , Centro Técnico-Científico, Departamento de Informática. |
|
Treinamentos ministrados Assistente de professor na disciplina Engenharia de Software para Sistemas Multi-Agentes |
| 8/2000 - 2/2006 | Treinamentos ministrados , Centro Técnico-Científico, Departamento de Informática. |
|
Treinamentos ministrados Assistente de professor na disciplina Projeto de Sistema de Software |
| 3/2000 - 2/2006 | Pesquisa e desenvolvimento , Centro Técnico-Científico, Departamento de Informática. |
|
Linhas de pesquisa Engenharia de Software para Sistemas Multi-Agentes |
| 1/2003 - 12/2004 | Atividades de Participação em Projeto, Centro Técnico-Científico, Departamento de Informática. |
|
Projetos de pesquisa Eclipse Innovation Grants |
| 9/1999 - 3/2003 | Atividades de Participação em Projeto, Centro Técnico-Científico, Departamento de Informática. |
|
Projetos de pesquisa MOBILE: Frameworks em Technologia de Software: Métodos, Ferramentas e Soluções para domínios específicos |
| 3/2000 - 7/2000 | Treinamentos ministrados , Centro Técnico-Científico, Departamento de Informática. |
|
Treinamentos ministrados Assistente de professor na disciplina Princípios de Engenharia de Software |
| 8/1998 - 3/2000 | Pesquisa e desenvolvimento , Centro Técnico-Científico, Departamento de Informática. |
|
Linhas de pesquisa Educação a Distância e Interoperabilidade de Conteúdos Educacionais |
| 7/1996 - 3/2000 | Atividades de Participação em Projeto, Centro Técnico-Científico, Departamento de Informática. |
|
Projetos de pesquisa AulaNet: ambiente para autoria e consumo de cursos na Web |
Projetos de Pesquisa
| 2011 - 2013 | Núcleo Emergente de Pesquisa em Sistemas Inteligentes: Modelagem de Sistemas Inteligentes |
| Descrição: Este projeto têm por objetivo primário criar um núcleo de pesquisa em sistemas inteligentes entendidos como sendo aqueles projetados e implementados com componentes situados em um ambiente, com tarefas bem atribuídas, com recursos limitados e do qual se espera o melhor desempenho possível dentro das restrições do sistema. O grupo aplicará sua expertise em sistemas de comando e controle estudando como sistemas de comando e controle, e em particular o controle de acesso neste tipo de sistema, podem ser modelados, verificados e implementados utilizando técnicas de desenvolvimento dirigido à modelos aplicadas a interpretação de que sistemas inteligentes são sistemas multi-agente, isto é, compostos por entidades autônomas munidas de crenças, desejos e intenções.. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Ricardo Choren - Coordenador / Christiano Braga - Integrante / Viviane Torres da Silva - Integrante. . |
| 2010 - 2013 | Explorando o conceito de Normas em Sistemas Multi-agente Abertos do ponto de vista da Engenharia de Software |
| Descrição: Este projeto pretende abordar o conceito de normas em sistemas multi-agente abertos do ponto de vista da engenharia de software. O projeto está composto por quatro subprojetos: (i) a modelagem de normas juntamente com o design do sistema; (ii) o uso de normas para auxiliar na seleção de objetivos e no planejamento das ações a serem tomadas pelo agente; (iii) o uso de normas para auxiliar os agentes no processo de aprendizagem e (iv) a adaptação do comportamento dos agentes de acordo com as normas.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Mestrado acadêmico ( 3) . Integrantes: Karen Figueiredo - Integrante / Marcos Cortes - Integrante / Andre Coelho - Integrante / Viviane Torres da Silva - Coordenador. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.Número de orientações: 2. |
| 2010 - 2012 | SCIADS: Sistema Computacional Inteligente de Assistência Domiciliar à Saúde |
| Descrição: Este projeto enfoca a aplicação do paradigma de computaç4ao ubíqua em sistemas
de assistência domiciliar remota à saúde, onde dispositivos computacionais, sensores e atuadores, operam de forma cooperativa, permitindo o tele-monitoramento em tempo-real de pacientes em suas habitações. A tecnologia a ser desenvolvida tem o potencial de aumentar a qualidade de vida do paciente e do atendimento médico geral da população; adicionalmente, com sua utilização o custo de provisionamento dos serviços de saúde por entidades governamentais poderá ser reduzido.
. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Christiano Braga - Integrante / Leonardo Murta - Integrante / Orlando Loques - Coordenador / Viviane Torres da Silva - Integrante. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.. |
| 2010 - 2012 | Uma abordagem para o desenvolvimento de agentes emocionais utilizando a plataforma BDI |
| Descrição: O objetivo deste projeto é possibilitar a implementação de agentes emocionais estendendo a plataforma BDI.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Mestrado acadêmico ( 1) . Integrantes: Marcos Cortes - Integrante / Viviane Torres da Silva - Coordenador. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.. |
| 2010 - 2012 | OVAMAH: Adaptive Virtual Organizations: Mechanisms, Architectures and Tools. |
| Descrição: O objetivo deste projeto é prover soluções para os aspectos de reorganização em organizações de agentes dinâmicas.. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Ramón Hermoso - Integrante / Roberto Centeno - Integrante / Sascha Ossowski - Integrante / Alberto Fernandez - Integrante / Vicente Julian - Coordenador / Viviane Torres da Silva - Integrante. Financiador(es): Ministério de Ciencia e Innovación - Auxílio financeiro.. |
| 2009 - 2011 | Modelagem de Normas e Verificação de Conflitos |
| Descrição: O objetivo deste projeto é a definição de uma linguagem de modelagem que
possibilite o design das normas do sistema juntamente com o sistema em si. É objetivo ainda deste projeto aplicar técnicas para a verificação de conflitos existentes entre as normas projetadas utilizando a linguagem. A fim de auxiliar na modelagem das normas e na aplicação das técnicas para a verificação de conflitos, uma ferramenta será implementada.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Mestrado acadêmico ( 1) . Integrantes: Viviane Torres da Silva - Coordenador. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.Número de orientações: 1. |
| 2009 - 2010 | Explorando o conceito de Normas em Sistemas Multi-agente Abertos |
| Descrição: Este projeto pretende abordar o conceito de normas em sistemas multi-agente abertos a partir do ponto de vista da Engenharia de Software. O projeto está comporto por três sub-projetos: (i) a modelagem de normas juntamente com o design do sistema, (ii) o uso de normas para auxiliar na seleção de objetivos e no planejamento das ações a serem tomadas pelo agente, e (iii) o uso de normas para auxiliar os agentes a testar o comportamento que foi adaptado.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Mestrado acadêmico ( 3) . Integrantes: Viviane Torres da Silva - Coordenador. Financiador(es): Universidade Federal Fluminense - Auxílio financeiro.Número de orientações: 1. |
| 2009 - 2010 | Explorando o conceito de Normas em Sistemas Multi-agente Abertos do ponto de vista da Engenharia de Software (APQ1) |
| Descrição: Sistemas multi-agente abertos são sociedades onde agentes autônomos, heterogêneos e independentes podem executar e interagir para alcançar seus objetivos. Com o intuito de lidar com a heterogeneidade, autonomia e diversidade de interesses entre estas entidades, sistemas multi-agente abertos definem um conjunto de normas de comportamento. As normas descrevem o comportamento esperado dos agentes do sistema identificando as obrigações, permissões e proibições dos mesmos, i.e., as normas descrevem as ações que os agentes são obrigados a executar, as que são permitas e as proibidas. Associados a uma norma podem estar as punições
que o agente irá receber ao violar a norma e também os prêmios que o agente irá receber ao cumprir com a norma.
Este projeto pretende abordar o conceito de normas em sistemas multi-agente abertos do ponto de vista da engenharia de software. O projeto está composto por três subprojetos: (i) a modelagem de normas juntamente com o design do sistema, (ii) o uso de normas para auxiliar na seleção de objetivos e no planejamento das ações a serem tomadas pelo agente, e (iii) o uso de normas para auxiliar os agentes no processo de aprendizagem.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Mestrado acadêmico ( 2) . Integrantes: Viviane Torres da Silva - Coordenador. Financiador(es): Fundação Carlos Chagas Filho de Amparo à Pesq. do Estado do Rio de Janeiro - Auxílio financeiro.Número de orientações: 1. |
| 2008 - 2010 | Consolider Agreement Technologies |
| Descrição: Sistemas de governança são aplicações que possuem o intuito de governar o comportamento dos agentes em sistemas multi-agentes abertos. Os agentes destes sistemas são agentes heterogêneos e tipicamente implementados por diferentes desenvolvedores. Com objetivo de lidar com a diversidade de implementações dos agentes e os possíveis problemas que os diferentes comportamentos podem causar ao sistema, os sistemas de governança definem um conjunto de normas (ou leis) que devem ser seguidas pelos agentes do sistema. O objetivo deste projeto é prover tecnologias para o desenvolvimento de sistemas multi-agentes governados através do uso de normas.. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Ramón Hermoso - Integrante / Roberto Centeno - Integrante / Carles Sierra - Coordenador / Sascha Ossowski - Integrante / Marc Esteva - Integrante / Viviane Torres da Silva - Integrante. Financiador(es): Ministerio de Educacion Y Ciencia - Auxílio financeiro.. |
| 2008 - 2009 | Modelagem Computacional de Sistemas Biológicos e Sociais Baseada em Sistemas Multiagentes |
| Descrição: Este projeto se situa na área da análise, especificação e desenvolvimento de modelos, algoritmos e ferramentas computacionais para solução de sistemas complexos nos domínios biológicos, ambientais e sociais utilizando Sistemas Multiagentes. Serão tratados problemas tais como a simulação e visualização do comportamento evolutivo de células tronco; simulações e jogos de papéis baseadas em agentes computacionais para a gestão participativa de áreas protegidas (eg. parques nacionais no Brasil) e o desenvolvimento de novas possibilidades de interação, inovação e criação de conteúdo de forma colaborativa em comunidades virtuais de larga escala. Desta forma, o objetivo principal deste projeto é o desenvolvimento de pesquisas e aplicações que demonstrem a aplicabilidade da tecnologia de agentes de software a domínios reais, complexos e relevantes. Os resultados deste projeto prevêem a criação de fundamentos e o desenvolvimento de tecnologias que possam contribuir para o desenvolvimento dos modelos computacionais previstos no projeto. Alguns exemplos de técnicas e fundamentos que serão desenvolvidas no âmbito deste projeto são: linguagens de modelagem, arquitetura para implementação, métodos e abordagens para o suporte ao processo de desenvolvimento, e modelos computacionais baseados em organizações multiagentes. Dada a multidisciplinaridade dos domínios de aplicação escolhidos (simulação de células-tronco, comunidades virtuais de larga escala e a gestão participativa de áreas protegidas), participam deste projeto um grupo de cientistas das áreas de Biologia, Computação e Ciências Sociais. . Situação: Concluído; Natureza: Pesquisa. Integrantes: Carlo Lucena - Coordenador / Viviane Torres da Silva - Integrante. . |
| 2006 - 2008 | Desarrollo de software de alta calidad, fiable, distribuido y seguro (DESAFIOS) |
| Descrição: Desenvolvimento de software.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Narcio Marti Oliet - Coordenador / Viviane Torres da Silva - Integrante. Financiador(es): Ministerio de Educacion Y Ciencia - Auxílio financeiro.. |
| 2006 - 2008 | Programa en métodos para el desarrollo de software fiable de alta caliad y seguro (PROMESAS) |
| Descrição: Criação de métodos para o desenvolvimento de software. Situação: Concluído; Natureza: Pesquisa. Integrantes: Narcio Marti Oliet - Coordenador / Viviane Torres da Silva - Integrante. Financiador(es): Comunidad de Madrid - Auxílio financeiro.. |
| 2005 - 2006 | EMACA: Engenharia de Software para Aplicações Multi-Agentes Cooperativas (CAPES-COFECUB) |
| Descrição: Este projeto visa, primeiramente, desenvolver os fundamentos e as tecnologias da Engenharia de Software para Sistemas Multi-agentes Cooperativos e exibir o potencial destas tecnologias em diversas áreas de aplicação, tais como Comércio Eletrônico, Computação Móvel, Assistentes Pessoais, Educação à Distância e Otimização de Sistemas. O segundo objetivo é propor e refinar novas técnicas para o desenvolvimento de aplicações cooperativas utilizando abstrações do paradigma orientado a agentes. O projeto busca inovar tecnologicamente em uma área central para o futuro da indústria de software e este aspecto se fará sentir no aperfeiçoamento dos perfis dos pesquisadores envolvidos neste projeto.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação ( 0) / Especialização ( 0) / Mestrado acadêmico ( 4) / Mestrado profissionalizante ( 0) / Doutorado ( 6) . Integrantes: Alessandro Fabricio Garcia - Integrante / Ricardo Choren - Integrante / Carlos José Pereira de Lucena - Coordenador / Arndt von Staa - Integrante / Jean Pierre Briot - Integrante / Amal El Fallah Seghrouchni - Integrante / Frédéric Peschanski - Integrante / Zahia Guessoum - Integrante / Viviane Torres da Silva - Integrante. Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Bolsa / Comité Français D'evaluation de La Coopération Universitaire Avec Brésil - Bolsa.. |
| 2005 - 2006 | Uma Ferramenta para Modelagem e Implementação de SMA |
| Descrição: O objetivo deste projeto é o desenvolvimento de uma ferramenta CASE para modelagem e implementação de sistemas multi-agentes (SMA). A ferramenta chamada de VisualAgent será composta por três módulos cujas as principais características são:
o Módulo gráfico: ambiente gráfico que possibilita a modelagem de SMA utilizando a linguagem de modelagem MAS-ML (Multi-Agent System Modeling Language) [16];
o Módulo de validação de modelos: módulo capaz de prover suporte a validação de modelos de design criados utilizando a linguagem de modelagem MAS-ML [2];
o Módulo de transformação: módulo responsável por transformar os modelos de design MAS-ML em código. A ferramenta utilizará o framework ASF(Agent Society Framework) [14] par dar suporte a implementação de agentes.
. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação ( 0) / Especialização ( 0) / Mestrado acadêmico ( 0) / Mestrado profissionalizante ( 0) / Doutorado ( 0) . Integrantes: Viviane Torres da Silva - Coordenador. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.. |
| 2003 - 2008 | ESSMA: Engenharia de Software para Sistemas Multi-Agentes |
| Descrição: Projeto é coordenado pelo prof. Carlos Lucena no escopoo no laboratório de engenharia de software (LES/PUC-Rio). O objetivo do projeto é o desenvolvimento de técnicas de engenharia de software para sistemas multi-agentes.. Situação: Concluído; Natureza: Desenvolvimento. Alunos envolvidos: Graduação ( 0) / Especialização ( 0) / Mestrado acadêmico ( 0) / Mestrado profissionalizante ( 0) / Doutorado ( 0) . Integrantes: Alessandro Fabricio Garcia - Integrante / Ricardo Choren - Integrante / Gustavo Robichez - Integrante / Leandro Daflon - Integrante / Carlos José Pereira de Lucena - Coordenador / Cláudio Sant'anna - Integrante / Anarosa Brandao - Integrante / Arndt von Staa - Integrante / Mariela Inês Cortés - Integrante / Felipe Nascimento - Integrante / Viviane Torres da Silva - Integrante. Número de produções C, T & A: 13. |
| 2003 - 2006 | Metalenguajes para el diseño y analisis integrado de sistemas móviles y distribuidos (MIDAS) |
| Descrição: Desenvolvimento de metalinguajes para a analise e projeto de sistemas moveis e distribuidos. Situação: Concluído; Natureza: Pesquisa. Integrantes: Narcio Marti Oliet - Coordenador / Viviane Torres da Silva - Integrante. Financiador(es): Ministerio de Educacion Y Ciencia - Auxílio financeiro.. |
| 2003 - 2004 | Eclipse Innovation Grants |
| Descrição: Promover a pesquisa em ambientes de Engenharia de Software e aplicar a proposta da plataforma Eclipe em cursos e atividades relativas ao Grupo de Pesquisa. Situação: Concluído; Natureza: Desenvolvimento. Alunos envolvidos: Graduação ( 0) / Especialização ( 0) / Mestrado acadêmico ( 0) / Mestrado profissionalizante ( 0) / Doutorado ( 0) . Integrantes: Carlos José Pereira de Lucena - Integrante / Viviane Torres da Silva - Coordenador. . |
| 1999 - 2003 | MOBILE: Frameworks em Technologia de Software: Métodos, Ferramentas e Soluções para domínios específicos |
| Descrição: O objetivo do projeto era o desenvolvmento de frameworks orientados a objetos para aplicações de domínio específicos a ser definido pelo desenvolvedor do framework.. Situação: Desativado; Natureza: Pesquisa. Alunos envolvidos: Graduação ( 0) / Especialização ( 0) / Mestrado acadêmico ( 0) / Mestrado profissionalizante ( 0) / Doutorado ( 0) . Integrantes: Alessandro Fabricio Garcia - Integrante / Ruy Milidiu - Integrante / Hugo Fuks - Integrante / Carlos Laufer - Integrante / Marcelo Blois - Integrante / Ricardo Choren - Integrante / Fabio Ferraz - Integrante / Gustavo Robichez - Integrante / Leandro Daflon - Integrante / Rodrigo Assis - Integrante / Christina Chavez - Integrante / Marcus Fontoura - Integrante / Carlos José Pereira de Lucena - Coordenador / Arndt von Staa - Integrante / Otávio Silva - Integrante / Mariela Inês Cortés - Integrante / Sergio Crespos - Integrante / Viviane Torres da Silva - Integrante. Número de produções C, T & A: 20. |
| 1996 - 2000 | AulaNet: ambiente para autoria e consumo de cursos na Web |
| Descrição: Projeto coordenado pelos profs. Carlos Lucena e Hugo Fuks que visa o desenvolvimento de um ambiente para autoria e consumo de cursos na Web chamado AulaNet.. Situação: Concluído; Natureza: Desenvolvimento. Alunos envolvidos: Graduação ( 0) / Especialização ( 0) / Mestrado acadêmico ( 0) / Mestrado profissionalizante ( 0) / Doutorado ( 0) . Integrantes: Hugo Fuks - Integrante / Carlos Laufer - Integrante / Marcelo Blois - Integrante / Ricardo Choren - Integrante / Fabio Ferraz - Integrante / Gustavo Robichez - Integrante / Leandro Daflon - Integrante / Rodrigo Assis - Integrante / sergio crespo - Integrante / Lucas Macedo - Integrante / Neide Santos - Integrante / Marcus Fontoura - Integrante / Carlos José Pereira de Lucena - Coordenador / Viviane Torres da Silva - Integrante. Número de produções C, T & A: 7. |
Revisor de periódico
| 2009 - 2009 | Periódico: Journal of Systems and Software |
| 2007 - 2007 | Periódico: International journal of agent-oriented software engineering |
| 2008 - 2008 | Periódico: IEEE Transactions on Software Engineering |
| 2008 - 2008 | Periódico: Software and Systems Modeling (Print) |
| 2008 - 2008 | Periódico: ACM Transactions on Software Engineering and Methodology |
| 2010 - 2010 | Periódico: Computer Standards & Interfaces |
| 2010 - 2010 | Periódico: Journal of Algorithms in Cognition, Informatics and Logics |
| 2010 - 2010 | Periódico: Autonomous Agents and Multi-Agent Systems |
Á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. |
| Francês | Lê Razoavelmente. |
| Espanhol | Compreende Bem, Fala Bem, Lê Bem, Escreve Bem. |
Prêmios e títulos
| 2010 | Bolsa de Produtividade Ciêntífica - Nìvel II, CNPq. |
| 2007 | Apto a assumir a posição de professor Contratado Doutor nas universidades espanholas, Agencia Nacional de Evaluación de la Calidad y Acreditación: Evaluación del Profesorado (orgão espan. |
| 2005 | Concurso para professor assistente. Edital ATAc/ICMC/USP No 040/2004. (primeira colocada), USP-SC: Universidade Estadual de São Carlos. |
| 2005 | Programa Juan de la Cierva (aprovação no programa), MEC (Ministerio de Educación y Ciencia). |
| 2005 | Nomination for the Best Tool Award, SBES. |
| 2001 | Nomination for the Best Paper Award, SBES. |
Produção em C,T & A
| Produção bibliográfica |
| Artigos completos publicados em periódicos |
| 1. |  SILVA, V. T. . From the Specification to the Implementation of Norms: An Automatic Approach to Generate Rules from Norms to Govern the Behaviour of Agents. Autonomous Agents and Multi-Agent Systems , v. 17, p. 113-155, 2008. |
| 2. | SILVA, V. T. ; CHOREN, Ricardo ; LUCENA, Carlos José Pereira de . MAS-ML: A Multi-Agent System Modelling Language. International Journal of Agent-Oriented Software Engineering, v. 2, p. 382-421, 2008. |
| 3. | SILVA, V. T. ; LUCENA, Carlos José Pereira de . Modeling Multi-Agent Systems. Communications of ACM, v. 50 (5), p. 103-108, 2007. |
| 4. | SILVA, V. T. ; DURAN, Feranda ; GUEDES, José ; LUCENA, Carlos José Pereira de . Governing Multi-Agent Systems. Journal of the Brazilian Computer Society, v. 2 (13), p. 19-34, 2007. |
| 5. |  SARDINHA, José ; CHOREN, Ricardo ; SILVA, V. T. ; MILIDIU, Ruy ; LUCENA, Carlos . A Combined Specification Language and Development Framework for Agent-based Application Engineering. Journal of Systems and Software, v. 79(11), p. 1565-1577, 2006. |
| 6. | SILVA, V. T. ; MARIA, Beatriz de ; LUCENA, Carlos José Pereira de . A MDE-Baed Apporach for Developing Multi-Agent Systems. Eletronic Communication of the EASST, v. 3, p. 12-26, 2006. |
| 7. | SILVA, V. T. ; LUCENA, Carlos . From a Conceptual Framework for Agents and Objects to a Multi-Agent System Modeling Language. Journal Of Autonomous Agents And Multi Agent Systems, Kluwer Academic Publishers, v. 9, p. 145-189, 2004. |
| 8. | SILVA, V. T. ; GARCIA, A. ; CHAVEZ, Christina ; LUCENA, Carlos . Engineering Multi-Agent Object-Oriented Systems: An Aspect-Based Approach. Journal of the Brazilian Computer Society, v. 8(1), n. 1, p. 57-72, 2002. |
| 9. | SILVA, V. T. ; LUCENA, Carlos ; FUKS, Hugo . ContentNet: a framework for the interoperability of educational content using standard IMS. Computers & Education, Elsevier Science, v. 37, n. 3, p. 273-295, 2001. |
| 10. | SILVA, V. T. ; LUCENA, Carlos . ContentNet: um Framework para Interoperabilidade de Conteúdos Educacionais utilizando o padrão IMS. Revista Brasileira de Informática na Educação, Rio de Janeiro, v. 7, n. 6, p. 37-52, 2000. |
| 11. | LUCENA, Carlos ; FUKS, Hugo ; MILIDIU, Ruy ; LAUFER, Carlos ; BLOIS, M. ; CHOREN, Ricardo ; SILVA, V. T. ; FERRAZ, F. ; ROBICHEZ, Gustavo ; DAFLON, L. . O AulaNet e as Novas Tecnologias de Informação Apliacadas a Educação baseada na Web. Revista Brasileira de Informática na Educação, Rio de Janeiro, v. 6 (36), p. 11-26, 1999. |
| Livros publicados/organizados ou edições |
| 1. | Padget, J. ; Vasconcelos, W. ; Stathis, K. ; SILVA, V. T. ; MATSON, E. ; POLLERES, A. . Coordination, Organizations, Institutions, and Norms in Agent Systems V. Alemanha: Springer-Verlag (LNAI), 2010. v. 6069. |
| Trabalhos completos publicados em anais de congressos |
| 1. | Centeno, R. ; Hermoso, R ; SILVA, V. T. . Building Reputation-based Agreements: Collective Opinions as Information Sources. In: Workshop Coordination, Organization, Institutions and Norms in Agent Systems (COIN@AAMAS), 2011. Coordination, Organization, Institutions and Norms in Agent Systems IV, 2011. v. 6541. p. 58-76. |
| 2. | FIGUEIREDO, K. ; SILVA, V. T. ; LUCENA, C. . Modeling Norms in Multi-agent Systems with Norm-ML. In: Workshop on Coordination, Organization, Institutions and Norms in agent systems (COIN@AAMAS), 2011. Coordination, Organization, Institutions and Norms in Agent Systems IV, 2011. v. 6541. p. 39-57. |
| 3. | FONSECA, B. ; SILVA, V. T. ; LUCENA, Carlos . NBDI: An Architecture for Goal-Oriented Normative Agents. In: 3rd International Conference on Agents and Artificial Intelligence (ICAART), 2011. Proceedings of the 3rd International Conference on Agents and Artificial Intelligence (ICAART), 2011. p. 116-126. |
| 4. | FIGUEIREDO, K. ; SILVA, V. T. . Norm-ML: A Modeling Language to Model Norms. In: 3rd International Conference on Agents and Artificial Intelligence (ICAART), 2011. Proceedings of the 3rd International Conference on Agents and Artificial Intelligence (ICAART), 2011. p. 232-238. |
| 5. | COSTA, Andrew ; NUNES, C. ; SILVA, V. T. ; FONSECA, B. ; LUCENA, Carlos José Pereira de . JAAF+T: A Framework to Implement Self-Adaptive Agents that Apply Self-Test. In: Annual ACM Symposium on Applied Computing 2010, 2010, Sierre. Proceedings of the 25th Annual ACM Symposium on Applied Computing 2010, Agent-Oriented Software Engineering Methodologies Infrastructures and Processes (AOMIP) track, 2010. v. 2. p. 928-935. |
| 6. | SILVA, V. T. ; BRAGA, C. ; FIGUEIREDO, K. . A Modeling Language to Model Norms. In: Workshop on Coordination, Organization, Institutions and Norms in agent systems (COIN@AAMAS), 2010, Toronto. Proceedings of Workshop on Coordination, Organization, Institutions and Norms in agent systems (COIN 10) at International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS10), 2010. p. 25-32. |
| 7. | Centeno, R. ; Hermoso, R ; SILVA, V. T. . Reputation-based Agreements: From Individual to Collective Opinions. In: Workshop on Coordination, Organization, Institutions and Norms in agent systems (COIN@AAMAS), 2010, Toronto. Proceedings of Workshop on Coordination, Organization, Institutions and Norms in agent systems (COIN 10) at International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS10), 2010. p. 1-9. |
| 8. | COSTA, Andrew ; SILVA, V. T. ; GARCIA, A. ; LUCENA, C. . Improving Test Models for Large Scale Industrial Systems: An Inquisitive Study. In: 13th International Conference on Model Driven Engineering Languages and Systems (MODELS), 2010, Oslo. Proceedings of the ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems (MODELS), 2010. v. 6394. p. 301-315. |
| 9. | NETO, B. ; SILVA, V. T. ; LUCENA, C. . Implementing Normative Agents by Using Jason. In: Brazilian Symposium on Artificial Intelligence (SBIA), 2010. Proceedings of Brazilian Symposium on Artificial Intelligence (SBIA), 2010. v. 6404. p. 143-152. |
| 10. | GONCALES, E. ; CORTÉS, Mariela Inês ; CAMPOS, G. ; SILVA, V. T. . Extending MAS-ML to Model proactive and reactive software Agents. In: 12th International Conference on Enterprise Information Systems (ICEIS), 2010, Madeira. Proceedings of the 12th International Conference on Enterprise Information Systems (ICEIS), 2010. v. 2. p. 75-84. |
| 11. | KANN, H ; MURTA, L. ; SILVA, V. T. . Uma Abordagem Distribuída para Refatoração Automática de Código Fonte Guiada por Atributos de Qualidade. In: Workshop de Teses e Dissertações em Qualidade de Software (WTDQS) do Simpósio Brasileiro de Qualidade de Software (SBQS), 2010, Belém. Workshop de Teses e Dissertações em Qualidade de Software (WTDQS) do Simpósio Brasileiro de Qualidade de Software (SBQS), 2010. |
| 12. | FIGUEIREDO, K. ; SILVA, V. T. . Modeling and Validating Norms in Multi-agent Systems. In: Workshop de Teses e Dissertações em Engenharia de Software do Simpósio Brasileiro de Engenharia de Software (SBES), 2010, Bahia. Workshop de Teses e Dissertações em Engenharia de Software do Simpósio Brasileiro de Engenharia de Software (SBES), 2010. |
| 13. | GONCALES, E. ; FARIAS, K. ; CORTÉS, Mariela Inês ; SILVA, V. T. ; FEITOSA, R. . Modelagem de Organizações de Agentes Inteligentes: uma Extensão da MAS-ML Tool. In: In Workshop on Autonomous Software Systems (AutoSoft) do Simpósio Brasileiro de Engenharia de Software (SBES), 2010, Bahia. In Workshop on Autonomous Software Systems (AutoSoft) do Simpósio Brasileiro de Engenharia de Software (SBES), 2010. p. 1-10. |
| 14. | FIGUEIREDO, K. ; SILVA, V. T. . NomML: a Modeling Language to Model Norms. In: I Workshop sobre Sistemas de Software Autônomos (AutoSoft), 2010. Workshop on Autonomous Software Systems (AutoSoft) do Simpósio Brasileiro de Engenharia de Software (SBES), 2010. p. 11-20. |
| 15. | NETO, B. ; COSTA, Andrew ; TEIXEIRA, M. ; SILVA, V. T. ; LUCENA, C. . JAAF: A Framework to Implement Self-Adaptive Agents. In: International Conference on Software Engineering and Knowledge Engineering, 2009, Boston. the 21st International Conference on Software Engineering and Knowledge Engineering, 2009. |
| 16. | Centeno, R. ; SILVA, V. T. ; Hermoso, R . A Reputation Model for Organisational Supply Chain Formation. In: Workshop on Coordination, Organization, Institutions and Norms in agent systems (COIN) at International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS09), 2009, Budapeste. Workshop on Coordination, Organization, Institutions and Norms in agent systems (COIN 09), 2009. p. 33-48. |
| 17. | Centeno, R. ; Hermoso, R ; SILVA, V. T. . Creating and Using Reputation-Based Agreements in Organisational Environments. In: International Conference on Principles of Practice in Multi-agent Systems (PRIMA), 2009, Nagoya. Proceedings of the 12th International Conference on Principles of Practice in Multi-agent Systems (PRIMA), 2009. p. 624-631. |
| 18. | Hermoso, R ; Centeno, R. ; SILVA, V. T. . Reputation-based Agreement for Agent Organisations. In: Workshop on Agreement Technology at Conferencia de la Asociación Española para la Inteligencia Artificial (CAEPIA), 2009. Proceedings of the Workshop on Agreement Technology, 2009. p. 82-93. |
| 19. | SILVA, V. T. ; BRAGA, C. . Modeling and Validating Norms. In: Normative Multi-Agent Systems, 2009. Dagstuhl Seminar Proceedings 09121, 2009. |
| 20. | SILVA, V. T. ; Hermoso, R ; Centeno, R. . A Hybrid Reputation Model Based on the Use of Organization. In: Workshop on Coordination, Organization, Institutions and Norms in agent systems (COIN@AAMAS), 2009. Coordination, Organization, Institutions and Norms in Agent Systems III, 2009. v. 5428. p. 111-125. |
| 21. | SILVA, V. T. . Implementing Norms that Govern Non-Dialogical Actions. In: Workshop on Coordination, Organization, Institutions and Norms in agent systems (COIN 07), 2008, Honululu, Hawaii. Coordination, Organization, Institutions and Norms in Agent Systems III, 2008. v. 4870. p. 232-244. |
| 22. | DURAN, Feranda ; SILVA, V. T. ; LUCENA, Carlos José Pereira de . Using Testimonies to Enforce the Behavior of Agents. In: Workshop on Coordination, Organization, Institutions and Norms in Agent Systems, 2008, Hawaii. Coordination, Organization, Institutions and Norms in Agent Systems III, 2008. v. 4870. p. 218-231. |
| 23. | COSTA, Andrew ; LUCENA, Carlos José Pereira de ; SILVA, V. T. ; ALENCAR, Paulo . A Hybrid Diagnostic-Recommendation System for Agent Execution in Multi-Agent Systems. In: International Conference on Software and Data Techniques (ICSOFT), 2008, Porto. International Conference on Software and Data Techniques (ICSOFT), 2008. p. 159-168. |
| 24. | COSTA, Andrew ; LUCENA, Carlos José Pereira de ; SILVA, V. T. ; AZAVEDO, S. ; SOARES, F . Computing Reputation in the Art Context: Agent Design to Handle Negotiation Challenges. In: Eleventh International Workshop on Trust in Agent Societies (TRUST08) at International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS08), 2008, Escorial. Eleventh International Workshop on Trust in Agent Societies (TRUST08) at International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS08), 2008. p. 121-131. |
| 25. | CLAVEL, M. ; SILVA, V. T. ; BRAGA, C. ; EGEA, M. . Model-Driven Security in Practice: an Industrial Experience. In: Fourth European Conference on Model Driven Architecture Foundations and Applications (ECMDA), 2008. Industrial Track, 2008. v. 5095. p. 326-337. |
| 26. | SILVA, V. T. ; Hermoso, R ; Centeno, R. . A Hybrid Reputation Model Based on the Use of Organization. In: Workshop on Coordination, Organization, Institutions and Norms in agent systems (COIN 07), 2008, Estoril. Proceedings of Workshop on Coordination, Organization, Institutions and Norms in agent systems (COIN 08), 2008. p. 135-151. |
| 27. | GUEDES, José ; SILVA, V. T. ; LUCENA, C. . A Reputation Model Based on Testimonies. In: Workshop of Agent-Oriented Information Systems (AOIS@AAMAS), 2008. Agent-Oriented Information Systems, 2008. v. 4898. p. 37-52. |
| 28. | COSTA, Andrew ; LUCENA, C. ; SILVA, V. T. ; AZAVEDO, S. ; SOARES, F . Art Competition: Agent Designs to Handle Negotiation Challenges. In: Workshop on Trust in Agent Society (TRUST@AAMAS), 2008. Trust in Agent Society, 2008. v. 5396. p. 244-272. |
| 29. | SILVA, V. T. ; CHOREN, Ricardo ; LUCENA, C. . Using MAS-ML Dynamic Diagrams to Model MAS Behavioral Properties. In: Workshop of Agent-Oriented Information Systems (AOIS@AAMAS), 2008. Agent-Oriented Information Systems, 2008. v. 4898. p. 1-18. |
| 30. | BRANDAO, Anarosa ; SILVA, V. T. ; LUCENA, C. . Observed-MAS: an Ontology-based Method for Analyzing Multi-Agent Systems Design Models. In: Workshop on Agent-Oriented Software Enigneering (AOSE@AAMAS), 2007. Agent-Oriented Software Enigneering, 2007. v. 4405. p. 122-139. |
| 31. | BRANDAO, Anarosa ; SILVA, V. T. ; LUCENA, Carlos José Pereira de . An Ontology-based Method for Analyzing Multi-Agent Systems Desing Models. In: Workshop on Agent-Oriented Software Engineering, 2006, Japan. Proceedings of the Workshop AOSE@AAMAS, 2006. |
| 32. | SILVA, V. T. ; CHOREN, Ricardo ; LUCENA, Carlos José Pereira de . Using MAS-ML Dynamic Diagrams to Model MAS Behavioral Properties. In: Workshop on Agent-Oriented Information Systems, 2006, Japan. Proceedings of the Workshop AOIS@AAMAS, 2006. |
| 33. | SILVA, V. T. ; LUCENA, Carlos José Pereira de ; GUEDES, José . A Reputation Model Based on Testimonies. In: Workshop on Agent-Oriented Information Systems, 2006, Luxembourg. Proceedings of the Workshop AOIS@CAiSE, 2006. |
| 34. | MARIA, Beatriz Alves de ; SILVA, V. T. ; LUCENA, Carlos José Pereira de . A MDE-Based Approach for Developing. In: Workshop on Graph Computation Models (SeTra), 2006, Rio Grande do Norte. Proceedings of Workshop on Graph Computation Models, 2006. |
| 35. | PAES, Rodrigo ; ROBICHEZ, Gustavo ; LUCENA, Carlos José Pereira de ; ALENCAR, Paulo ; ALMEIDA, Hugo ; SILVA, V. T. . Specifying Laws in Open Multi-Agent Systems. In: Workshop on Agents, Norms and Institutions for Regulated Multiagent Systems (ANI@REM), 2005, Ultrech. Proceeding of the Workshop on Agents, Norms and Institutions for Regulated Multiagent Systems (ANI@REM), 2005. |
| 36. | BRANDAO, Anarosa ; SILVA, V. T. ; LUCENA, Carlos José Pereira de . Multi-Agent System Design Verification Using Knowledge-based Reasoning. In: International Conference on Software Engineering & Knowledge Engineering, 2005, Taipei, Taiwan. Proceeding of the International Conference on Software Engineering & Knowledge Engineering, 2005. |
| 37. | SILVA, V. T. ; CHOREN, Ricardo ; LUCENA, Carlos José Pereira de . Using the UML 2.0 Activity Diagram to Model Agent Plans and Actions. In: Fourth International Conference on Autonomous Agents and Multi-Agents Systems, 2005, Ultrech. Proceeding of the fourth International Conference on Autonomous Agents and Multi-Agents Systems, 2005. |
| 38. | MARIA, Beatriz Alves de ; SILVA, V. T. ; LUCENA, Carlos José Pereira de . MDA Based Approach for Developing Multi-Agent Systems. In: Forum of the 17th Conference on Advanced Information Systems Engineering, 2005, Porto. Proceeding of the Forum of the 17th Conference on Advanced Information Systems Engineering, 2005. |
| 39. | SILVA, V. T. ; LUCENA, Carlos José Pereira de . Classifying and Verifying Agent Contracts. In: Workshop on Agents, Norms and Institutions for Regulated Multiagent Systems (ANI@REM), 2005, Ultrech. Proceeding of the Workshop on Agents, Norms and Institutions for Regulated Multiagent Systems (ANI@REM), 2005. |
| 40. | MARIA, Beatriz Alves de ; SILVA, V. T. ; LUCENA, Carlos José Pereira de . VisualAgent: A Software Development Environment for Multi-Agent Systems. In: Brazilian Symposium on Software Engineering (SBES2005), 2005, Uberlândia. Tool Track, 2005. |
| 41. | SILVA, V. T. ; LUCENA, Carlos José Pereira de . Governance in Multi-Agent Systems Based on Witnesses. In: First Workshop on Software Engineering for Agent Oriented Systems (SEAS@SBES), 2005, Uberlandia. First Workshop on Software Engineering for Agent Oriented Systems, 2005. |
| 42. | SILVA, V. T. ; CHOREN, Ricardo ; LUCENA, Carlos . A UML Based Approach for Modeling and Implementing Multi-Agent Systems. In: International Conference on Autonomous Agents and Multi-Agents Systems, 2004, New York. Proceeding of the third International Conference on Autonomous Agents and Multi-Agents Systems, 2004. |
| 43. | SILVA, V. T. ; BRANDAO, Anarosa ; LUCENA, Carlos José Pereira de . Ontologies as Specifications for the Verification of Multi-Agent Systems Design. In: OOPSLA, 2004, Vancouver. Proceedings of the Workshop on Ontologies as Software Engineering Artifacts, 2004. |
| 44. | GARCIA, A. ; SANT'ANNA, Cláudio ; CHAVEZ, C. ; SILVA, V. T. ; STAA, A. ; LUCENA, C. . Separation of Concerns in Multi-Agent Systems: An Empirical Study. In: Workshop on Software Engineering for Multi-Agent Systems (SELMAS@ICSE), 2004. Software Engineering for Multi-Agent Systems II, 2004. v. 2940. p. 49-72. |
| 45. | SILVA, V. T. ; CHOREN, Ricardo ; LUCENA, C. . Using the MAS-ML to Model a Multi-Agent System. In: Workshop on Software Engineering for Multi-Agent Systems (SELMAS@ICSE), 2004. Software Engineering for Multi-Agent Systems II, 2004. v. 2940. p. 129-148. |
| 46. | GARCIA, A. ; SANT'ANNA, Cláudio ; CHAVEZ, Christina ; SILVA, V. T. ; LUCENA, C. ; STAA, A. . Agents and Objects: An Empirical Study on the Design and Implementation of Multi-Agent Systems. In: ACM International Conference on Software Engineering, 2003, Portland. Procceding of Software Engineering for Large-scale Multi-Agent Systems (SELMAS), 2003. |
| 47. | SILVA, V. T. ; GARCIA, A. ; BRANDAO, Anarosa ; CHAVEZ, C. ; LUCENA, C. ; ALENCAR, Paulo . Taming Agents and Objects in Software Engineering. In: Workshop on Software Engineering for Multi-Agent Systems (SELMAS@ICSE), 2003. Software Engineering for Multi-Agent Systems, 2003. v. 2603. p. 1-26. |
| 48. | GARCIA, Alessandro Fabricio ; CHAVEZ, C. ; SILVA, O. ; SILVA, V. T. ; LUCENA, Carlos . Promoting Advanted Sepration of Concerns in Intra-Agent and Inter-Agent Software Engineering. In: Objet-Oriented Programming, Systems, Languages and Applications, 2001, Tampa, Florida. Workshop on Advanted Separtion of Concerns in OO Systems, 2001. v. 14. p. 25-30. |
| 49. | GARCIA, A. ; SILVA, V. T. ; LUCENA, Carlos ; MILIDIU, Ruy . An Aspect-Based Approach for Developing Multi-Agent Object-Oriented Systems. In: Simpósio Brasileiro de Engenharia de Software (SBES), 2001, Rio de Janeiro. Simpósio Brasileiro de Engenharia de Software(SBES), 2001. p. 177-192. |
| 50. | LUCENA, Carlos José Pereira de ; FUKS, Hugo ; LAUFER, Carlos ; BLOIS, Marcelo ; CHOREN, Ricardo ; SILVA, V. T. ; ASSIS, R. ; FERRAZ, F. ; ROBICHEZ, Gustavo ; DAFLON, L. . Applying Digital Information Technology to Education: A Web-based Course. In: International Conference on Engineering and Computer Education (ICECE), 2000. Proceedings International Conference on Engineering and Computer Education (ICECE), 2000. |
| 51. | LUCENA, Carlos ; FUKS, Hugo ; LAUFER, Carlos ; BLOIS, Marcelo ; CHOREN, Ricardo ; SILVA, V. T. ; ASSIS, R. ; FERRAZ, F. ; ROBICHEZ, Gustavo ; DAFLON, L. . Using AulaNet for web based course development.. In: V International Workshop On Groupware, 1999, Rio de Janeiro. V International Workshop On Groupware, 1999. |
| 52. | LUCENA, Carlos ; FUKS, Hugo ; MILIDIU, Ruy ; LAUFER, Carlos ; BLOIS, Marcelo ; CHOREN, Ricardo ; SILVA, V. T. ; FERRAZ, F. ; ROBICHEZ, Gustavo ; DAFLON, L. . O AulaNet e as novas tecnologias de informação aplicadas à educação baseada na Web.. In: V Congresso Internacional de Educação À Distância, Associação Brasileira de Educação À Distância (abed)., 1999, Rio de Janeiro. V Congresso Internacional de Educação À Distância, Associação Brasileira de Educação À Distância (abed)., 1999. |
| 53. | LUCENA, Carlos ; FUKS, Hugo ; MILIDIU, Ruy ; LAUFER, Carlos ; CHOREN, Ricardo ; SILVA, V. T. ; FERRAZ, F. ; ROBICHEZ, Gustavo ; DAFLON, L. . AulaNet: ajudando professores a fazerem o seu dever de casa. In: Seminário Integrado de Software e Hardware, Sociedade Brasileira de Computação (sbc)., 1999, Rio de Janeiro. XXVI Semish, 1999. |
| 54. | LUCENA, Carlos ; FUKS, Hugo ; MILIDIU, Ruy ; LAUFER, Carlos ; BLOIS, Marcelo ; CHOREN, Ricardo ; SILVA, V. T. ; FERRAZ, F. ; ROBICHEZ, Gustavo ; DAFLON, L. . Orchestrating technology for web based education.. In: Proceedings do Amcis'99 - 1999 Americas Conference On Information Systems, 1999, Cancum. Proceedings do Amcis'99 - 1999 Americas Conference On Information Systems, 1999. |
| 55. | SILVA, V. T. ; LUCENA, Carlos ; FUKS, Hugo ; MILIDIU, Ruy ; LAUFER, Carlos ; BOIS, M. ; CHOREN, Ricardo ; FERRAZ, F. ; ROBICHEZ, Gustavo ; DAFLON, L. . AulaNet: helping teachers to do their homework. . In: Multimedia Computer Techniques In Engineering Education Workshop., 1999. In: Multimedia Computer Techniques In Engineering Education Workshop., 1999. |
| 56. | LUCENA, Carlos ; FUKS, Hugo ; MILIDIU, Ruy ; LAUFER, Carlos ; BLOIS, Marcelo ; CHOREN, Ricardo ; SILVA, V. T. ; FERRAZ, F. ; ROBICHEZ, Gustavo ; DAFLON, L. . AulaNet technologies: future trends. In: International Conference On Engineering And Computer Education, 1999, Rio de Janeiro. Icece'99, 1999. |
| 57. | LUCENA, Carlos ; FUKS, Hugo ; MILIDIU, Ruy ; LAUFER, Carlos ; BLOIS, Marcelo ; FOUNTOURA, M. ; CHOREN, Ricardo ; CRESPO, S. ; SILVA, V. T. . AulaNet -An Environment for the Development and Maintenance of Courses on the Web. In: ICEE'98 - International Conference On Engineering Education 1998, 1998, Rio de Janeiro. ICEE'98 - International Conference On Engineering Education 1998, 1998. |
| Resumos expandidos publicados em anais de congressos |
| 1. | NETO, B. ; COSTA, Andrew ; TEIXEIRA, M. ; LUCENA, C. ; SILVA, V. T. . JAAF-S: A Framework to implement Autonomic Agents able to deal with web services. In: International Conference on Software and Data Techniques, 2009, Sofia. 4th International Conference on Software and Data Techniques, 2009. |
| 2. | CLAVEL, M. ; EGEA, M. ; SILVA, V. T. . The MOVA Tool: A Rewriting-Based UML Modeling, Measuring, and Validation Tool. In: Workshop de Demonstraciones de Herramientas de las Jornadas de Ingeniería del Software y Bases de Datos, 2007, Zaragoza. Zaragoza, 2007. p. 393-394. |
| Resumos publicados em anais de congressos |
| 1. | GONCALES, E. ; CORTÉS, Mariela Inês ; CAMPOS, G. ; GOMES, G. ; SILVA, V. T. . Towards the Modeling Reactive and Proactive Agents by Using MAS-ML. In: Annual ACM Symposium on Applied Computing 2010, 2010, Sierre. Proceedings of the 25th Annual ACM Symposium on Applied Computing 2010, Agent-Oriented Software Engineering Methodologies Infrastructures and Processes (AOMIP) track, 2010. v. 2. p. 936-937. |
| Apresentações de Trabalho |
| 1. | SILVA, V. T. . Implementing Norms that Govern Non-Dialogical Actions. 2008. (Apresentação de Trabalho/Seminário). |
| 2. | SILVA, V. T. . Implementing Norms that Govern Non-Dialogical Actions. 2008. (Apresentação de Trabalho/Seminário). |
| 3. | SILVA, V. T. . Introdução a Engenharia de Software para Sistemas Multi-Agentes. 2004. (Apresentação de Trabalho/Conferência ou palestra). |
| 4. | SILVA, V. T. . E-commerce & E-business . 2001. (Apresentação de Trabalho/Conferência ou palestra). |
| Demais tipos de produção bibliográfica |
| 1. | SARDINHA, José ; SILVA, V. T. ; LUCENA, Carlos José Pereira de . A Combined Specification Language and Development Framework for Agent-based Application Engineering. Rio de Janeiro: Departamento de Informática, PUC-Rio, MCC05/05, 2005 (Relatório Técnico). |
| 2. | SILVA, V. T. ; LUCENA, Carlos . Modeling Multi-Agent Systems. Rio de Janeiro: Departamento de Informática, PUC-Rio, MCC06/04, 2004 (Relatório Técnico). |
| 3. | SILVA, V. T. ; LUCENA, Carlos ; ALENCAR, Paulo ; COWAN, Donald . A Model-Based Transformational Approach for Implementing Multi-Agent Systems. Waterloo, CA: University of Waterloo, CS2004-12, 2004 (Relatório Técnico). |
| 4. | MARIA, Beatriz de ; SILVA, V. T. ; LUCENA, Carlos José Pereira de . Usando MDA no Desenvolvimento de Sistemas Multi-Agentes. Rio de Janeiro: Departamento de Informática, PUC-Rio, MCC39/04, 2004 (Relatório Técnico). |
| 5. | SILVA, V. T. ; CORTÉS, Mariela Inês ; LUCENA, Carlos José Pereira de . An object-oriented framework for implementing agent societies. Rio de Janeiro: Departamento de Informática, PUC-Rio, MCC32/04, 2004 (Relatório Técnico). |
| 6. | SILVA, V. T. ; LUCENA, C. . Extending UML to Model Multi-Agent Systems. Rio de Janeiro: Departamento de Informática, PUC-Rio, MCC08/04, 2004 (Relatório Técnico). |
| 7. | SILVA, V. T. ; LUCENA, Carlos . MAS-ML: A Multi-Agent System Modeling Language. Anaheim, USA: Doctoral Symposium, OOPSLA 2003, 2003 (Doctoral Symposium). |
| 8. | SILVA, V. T. ; CHOREN, Ricardo . Using the MAS-ML to model a Multi-Agent System. Rio de Janeiro: Departamento de Informática, PUC-Rio, MCC24/03, 2003 (Relatório Técnico). |
| 9. | SILVA, V. T. ; CHOREN, Ricardo ; LUCENA, Carlos José Pereira de . A UML Based Approach for Modeling and Implementing Multi-Agent Systems. Rio de Janeiro: Departamento de Informática, PUC-Rio, MCC51/03, 2003 (Relatório Técnico). |
| 10. | SILVA, V. T. ; LUCENA, Carlos José Pereira de . Extending the UML Sequence Diagram to Model the Dynamic Aspects of Multi-Agent Systems. Rio de Janeiro: Departamento de Informática, PUC-Rio, MCC15/03, 2003 (Relatório Técnico). |
| 11. | GARCIA, Alessandro Fabricio ; SANT'ANNA, Cláudio ; CHAVEZ, Christina ; SILVA, V. T. ; LUCENA, Carlos . Agents and Objects: An Empirical Study on Software Engineering. Rio de Janeiro: Departamento de Informática, PUC-Rio, MCC06/03, 2003 (Relatório Técnico). |
| 12. | SILVA, V. T. ; LUCENA, Carlos José Pereira de . From a Conceptual Framework for Agents and Objects to a Multi-Agent System Modeling Language. Waterloo, CA: University of Waterloo, CS2003-03, 2003 (Relatório Técnico). |
| 13. | SILVA, V. T. ; LUCENA, Carlos José Pereira de ; ALENCAR, Paulo ; COWAN, Donald . A Roadmap to a Modeling Language for Multi-Agent Systems Engineering. Waterloo, CA: University of Waterloo, CS2003-04, 2003 (Relatório Técnico). |
| 14. | SILVA, V. T. ; LUCENA, Carlos . MAS-ML: A Multi-Agent System Modeling Language. Anaheim, USA: Poster, OOPSLA 2003, 2003 (Poster). |
| 15. | SILVA, V. T. ; GARCIA, Alessandro Fabricio ; BRANDAO, Anarosa ; LUCENA, Carlos José Pereira de ; ALENCAR, Paulo . Theoretical Foundations for Agents and Objects in Software Engineering. Rio de Janeiro: Departamento de Informática, PUC-Rio, MCC30/02, 2002 (Relatório Técnico). |
| 16. | SILVA, V. T. ; LUCENA, Carlos . Multi-Level Role Modeling in Multi-Agent Systems. Rio de Janeiro: Departamento de Informática, PUC-Rio, MCC05/02, 2002 (Relatório Técnico). |
| 17. | SILVA, V. T. ; GARCIA, Alessandro Fabricio ; BRANDAO, Anarosa ; LUCENA, Carlos José Pereira de ; ALENCAR, Paulo . Theoretical Foundations for Agents and Objects in Software Engineering. Rio de Janeiro: Departamento de Informática, PUC-Rio, MCC30/02, 2002 (Relatório Técnico). |
| 18. | SILVA, V. T. ; LUCENA, Carlos . Um Modelo Orientado a Objetos para Sistemas Multi-agentes. Rio de Janeiro: PUC-Rio, MCC30/01, 2001 (Relatório Técnico). |
| 19. | SILVA, V. T. ; GARCIA, A. ; LUCENA, Carlos . An Aspect-Oriented Design Approach for Multi-Agent Systems. Rio de Janeiro: Departamento de Informáica, PUC-Rio, MCC14/01, 2001 (Relatório Técnico). |
| 20. | GARCIA, A. ; CHAVEZ, Christina ; SILVA, O. ; SILVA, V. T. ; LUCENA, Carlos . Promoting Advanced Separation of Concerns in Intra-Agent and Inter-Agent Software Engineering. Tampa: OOPSLA, 2001 (Poster). |
| 21. | SILVA, V. T. ; LUCENA, Carlos . Um Modelo Orientado a Objetos para Sistemas Multi-agentes. Rio de Janeiro: PUC-Rio, MCC30/01, 2001 (Relatório Técnico). |
| 22. | SILVA, V. T. ; SILVA, O. ; GARCIA, A. ; CHAVEZ, Christina ; LUCENA, Carlos . Separation of Concerns in Multi-Agent Software Engineering. Poster, OOPSLA 2001, 2001 (Poster). |
| 23. | SILVA, V. T. ; LUCENA, Carlos . ContentNet: um framework para interoperabilidade de conteúdos educacionais utilizando a plataforma EDUCAUSE-IMS. Rio de Janiero: Departamento de Informática, PUC-Rio, MCC31/99, 1999 (Relatório Técnico). |
| 24. | LUCENA, Carlos ; FUKS, Hugo ; MILIDIU, Ruy ; LAUFER, Carlos ; BLOIS, Marcelo ; CHOREN, Ricardo ; SILVA, V. T. ; DAFLON, L. . AulaNet: ajudando professores a fazerem seu dever de casa. Rio de Janeiro: Departamento de Informática, PUC-Rio, MCC42/98, 1998 (Relatório Técnico). |
| 25. | LUCENA, Carlos ; MILIDIU, Ruy ; MACEDO, L. ; SANTOS, N. ; LAUFER, Carlos ; FONTOURA, M. ; CRESPO, S. ; CARDIA, E. ; SILVA, V. T. . AulaNet: An Environment for the Developent and Maintenance of Courses on the WWW. Rio de Janeiro: Departamento de Informática, PUC-Rio, MCC45/97, 1997 (Relatório Técnico). |
| Produção técnica |
| Softwares sem registro de patente |
| 1. | MARIA, Beatriz Alves de ; SILVA, V. T. ; LUCENA, Carlos José Pereira de . VisualAgent. 2005. |
| 2. | LUCENA, Carlos José Pereira de ; FUKS, Hugo ; MILIDIU, Ruy ; LAUFER, Carlos ; BLOIS, Marcelo ; CHOREN, Ricardo ; SILVA, V. T. . AulaNet. 1997. |
| Demais tipos de produção técnica |
| 1. | SILVA, V. T. . Introdução a Sistemas Multi-Agentes. 2010. (Curso de curta duração ministrado/Especialização). |
| 2. | SILVA, V. T. . Padrões de Projeto e Frameworks. 2004. (Curso de curta duração ministrado/Especialização). |
| 3. | SILVA, V. T. . Active Server Pages. 1999. (Curso de curta duração ministrado/Especialização). |
| Demais trabalhos |
| 1. | LUCENA, Carlos José Pereira de ; SILVA, V. T. ; CHOREN, Ricardo . Introdução a Engenharia de Software para Sistemas Multi-Agentes. 2004 (Mini-tutorial). |
| 2. | SILVA, V. T. . Construção de Cursos Baseados na Web Usando o Ambiente AulaNet, . 1998 (Mini-tutorial). |
Bancas
| Participação em bancas examinadoras |
| Dissertações |
| 1. | LUCENA, Carlos José Pereira de; SILVA, V. T.; MILIDIU, Ruy. Participação em banca de Bruno de Souza e Silva Borsato. Reputação de Agentes Aplicada ao Mercado Simulado de Capitais. 2009. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro. |
| 2. | GARCIA, Ana Cristina Bicharra; SICHMAN, Jaime; SILVA, V. T.. Participação em banca de Yuri da Silva Ferreira. Um estudo investigativo sobre a comunicação em. 2009. Dissertação (Mestrado em Ciência da Computaçao) - Universidade Federal Fluminense. |
| 3. | LUCENA, Carlos José Pereira de; SILVA, V. T.. Participação em banca de Roberta Claudino Barreto Pessanha Gomes. Uma Linha de Produto de Sistemas de Gerenciamento de Projetos de Software baseados em Agentes. 2009. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro. |
| 4. | CORTÉS, Mariela Inês; SILVA, V. T.; CAMPOS, G.. Participação em banca de Enyo José Tavares Gonçalves. Modelagem de arquiteturas internas de agentes utilizando a linguagem MAS-ML. 2009. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual do Ceará. |
| 5. | CHOREN, Ricardo; SILVA, V. T.; BLOIS, Marcelo. Participação em banca de Leonardo Lima Santos. Geração de Modelagem de Sistemas Multi-Agentes a partir de Cenários. 2006. Dissertação (Mestrado em Engenharia de Sistemas - Informatica) - Instituto Militar de Engenharia. |
| 6. | CHOREN, Ricardo; SILVA, V. T.; BLOIS, Marcelo. Participação em banca de Mauro Monteiro Silva. Plataforma Orientada a Serviços para o Desenvolvimento de Agente Pró-Ativos. 2006. Dissertação (Mestrado em Engenharia de Sistemas - Informatica) - Instituto Militar de Engenharia. |
| 7. | SILVA, V. T.; BARBOSA, Simone; LUCENA, Carlos José Pereira de; CASANOVA, Antônio. Participação em banca de Daniela Francisco Brauner. Uma Arquitetura para Catálogos de Objetos baseados em Ontologias. . 2005. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro. |
| 8. | SILVA, V. T.; GARCIA, Ana Cristina Bicharra. Participação em banca de André Vargas Matos da Cunha Leiradella. Um Modelo para Classificação e Controle de Agentes Pessoais Computacionais.. 2005. Dissertação (Mestrado em Computação) - Universidade Federal Fluminense. |
| Teses de doutorado |
| 1. | BAZZAN, A.; SILVA, V. T.. Participação em banca de Fabiana Lorenzi. Uma abordagem de recomendação multiagente baseada em suposições e confiança para cenários dinâmicos. 2010. Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul. |
| 2. | BRICK, E.; PESSOA, A.; DALTO, E.; SALIBY, E.; FUKUDA, F.; SILVA, V. T.. Participação em banca de Denis Gonçalvez Cople. Um framework para analise de custo de Ciclo de Vida Baseado em Reuso e Interoperabilidade. 2010. Tese (Doutorado em Engenharia de Produção) - Universidade Federal Fluminense. |
| 3. | LUCENA, Carlos José Pereira de; SILVA, V. T.. Participação em banca de Maíra Athanázio Cerqueira Gatti. Engineering Self-Organizing Emergent Multi-Agent System. 2009. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro. |
| Trabalhos de Conclusão de Curso de graduação |
| 1. | SILVA, V. T.; MURTA, L.; BRAGA, C.. Participação em banca de Mariana de Souza Marinho e Maria Gabriela de Alcântara. Uma Ferramenta para Modelagem de Normas. 2010. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense. |
| 2. | SILVA, V. T.; MURTA, L.; AGUIAR, T.. Participação em banca de Simone Miranda e André Martins de Oliveira. Uma Ferramenta de Auxílio no Diagnóstico de Hipertensão Arterial. 2010. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense. |
| 3. | SILVA, V. T.. Participação em banca de Rafael Barros Pereora. Um Comparativo entre Metodologias Orientadas a Agentes: Modelagem do Guardian Angel. 2005. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade do Estado do Rio de Janeiro. |
| 4. | SILVA, V. T.. Participação em banca de Alexandre Rademaker. Um Simulador de Leilões. 2002. Trabalho de Conclusão de Curso (Graduação em Bacharel em Informática) - Universidade Federal do Rio de Janeiro. |
| Participação em bancas de comissões julgadoras |
| Concurso público |
| 1. | COSTA, V.; BRAGA, C.; SILVA, V. T.. Professor Assistente. 2009. Universidade Federal de Goiás. |
Eventos
| Participação em eventos |
| 1. | International Conference on Autonomous Agents and Multi-Agent Systems. 2010. (Congresso). |
| 2. | I Workshop sobre Sistemas de Software Autônomos (AutoSoft).Organização do workshop. 2010. (Seminário). |
| 3. | Workshop on Coordination, Organization, Institutions and Norms in agent systems.A Modeling Language to Model Norms. 2010. (Outra). |
| 4. | Normative Multi-Agent Systems.Modeling and Validating Norms. 2009. (Outra). |
| 5. | ICSOFT International Conference on Software and Data Technologies.Apresentaçao de artigo. 2008. (Congresso). |
| 6. | International Conference on Autonomous Agents and Multi-Agents Systems. 2008. (Congresso). |
| 7. | Normative Multi-Agent Systems Seminar.Dagstuhl Seminar. 2008. (Seminário). |
| 8. | Workshop on Coordination, Organization, Institutions and Norms in agent systems (COIN 07).A Hybrid Reputation Model Based on the Use. 2008. (Seminário). |
| 9. | International Conference on Autonomous Agents and Multi-Agents Systems. 2007. (Congresso). |
| 10. | Workshop on Coordination, Organization, Institutions and Norms in agent systems (COIN 07).Implementing Norms that Govern Non-Dialogical Actions. 2007. (Seminário). |
| 11. | Workshop on Graph Computation Models (SeTra).A MDE-Based Approach for Developing. 2006. (Seminário). |
| 12. | International Conference on Autonomous Agents and Multi-Agents Systems.Classifying and Verifying Agent Contracts. 2005. (Congresso). |
| 13. | Simpósio Brasileiro de Engenharia de Software (SBES). 2005. (Congresso). |
| 14. | First Workshop on Software Engineering for Agent Oriented Systems (SEAS@SBES).Governance in Multi-Agent Systems Based on Witnesses. 2005. (Seminário). |
| 15. | International Conference on Autonomous Agents and Multi-Agent Systems.International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS). 2004. (Congresso). |
| 16. | Simpósio Brasileiro de Linguagem de Programação (SBLP). 2004. (Simpósio). |
| 17. | Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA).MAS-ML: A Multi-Agent System Modeling Language. 2003. (Congresso). |
| 18. | Simpósio Brasileiro de Linguagem de Programação (SBLP). 2003. (Simpósio). |
| 19. | International Conference on Autonomous Agents (AGENTS). 2001. (Congresso). |
| 20. | Simpósio Brasileiro de Engenharia de Software (SBES).An Aspect-Based Approach for Developing Multi-Agent Object-Oriented Systems. 2001. (Congresso). |
| 21. | ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA). 2000. (Congresso). |
| 22. | International Conference on Engineering and Computer Education (ICECE).Applying Digital Information Technology to Education: A Web-based Course. 2000. (Congresso). |
| 23. | Simpósio Brasileiro de Informática na Educação (SBIE).Construção de Cursos Baseados na Web Usando o Ambiente AulaNet. 1998. (Congresso). |
| Organização de eventos |
| 1. | BRANDAO, Anarosa ; CHOREN, Ricardo ; CORTÉS, Mariela Inês ; LUCENA, Carlos José Pereira de ; SICHMAN, Jaime ; SILVA, V. T. . Workshop on Autonomous Software Systems (AutoSoft) do Simpósio Brasileiro de Engenharia de Software (SBES). 2010. (Congresso). |
| 2. | STATHIS, Kostas ; SILVA, V. T. ; MATSON, eric . Seventh Workshop on Coordination, Organization, Institutions and Norms in agent systems at International Joint Conference on Artificial Intelligence (COIN@IJCAI). 2009. (Congresso). |
| 3. | SILVA, V. T. ; BRANDAO, Anarosa ; BOIS, M. ; LUCENA, Carlos José Pereira de . Fifth Workshop on Software Engineering for Agent-oriented Systems. 2009. (Congresso). |
| 4. | LUCENA, Carlos José Pereira de ; BLOIS, Marcelo ; CHOREN, Ricardo ; SILVA, V. T. . Second Workshop on Software Engineering for Agent-oriented Systems (SEAS 2006). 2006. (Congresso). |
| 5. | LUCENA, Carlos José Pereira de ; BLOIS, Marcelo ; CHOREN, Ricardo ; SILVA, V. T. . First Workshop on Software Engineering for Agent-oriented Systems (SEAS 2005). 2005. (Congresso). |
Orientações
| Orientações em andamento |
| Dissertação de mestrado |
| 1. | André Coelho. Uma abordagem para a verificação e resolução de conflitos entre normas em tempo de execução. Início: 2010. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal Fluminense. (Orientador). |
| 2. | Marcos Cortes. Agentes emocionais que se baseiam na arquitetura BDI. Início: 2009. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal Fluminense. (Orientador). |
| Tese de doutorado |
| 1. | Karen Figueiredo. Sistemas de Reputação. Início: 2011. Tese (Doutorado em Ciência da Computação) - Universidade Federal Fluminense, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador). |
| Supervisões e orientações concluídas |
| Dissertação de mestrado |
| 1. | Karen da silva Figueireido. Modelando e Validando Normas em Sistemas Multi-Agentes.
2011.
Dissertação (Mestrado em Ciência da Computação) - Universidade Federal Fluminense, . Orientador: Viviane Torres da Silva. |
| 2. | Enyo José Tavares Gonçalves. Modelagem de arquiteturas internas de agentes utilizando a linguagem MAS-ML. 2009. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual do Ceará, . Co-Orientador: Viviane Torres da Silva. |
| 3. | Heliomar Kann. Uma Abordagem Distribuída para Refatoração Automática de Código Fonte Guiada por Atributos de Qualidade. 2009. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal Fluminense, . Co-Orientador: Viviane Torres da Silva. |
| 4. | Andrew Diniz da Costa. Sistema Híbrido de Diagnóstico e Recomendação para Sistemas Multi-Agentes. 2008. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Co-Orientador: Viviane Torres da Silva. |
| 5. | Fernanda Duran. Governança em Sistemas Multi-Agentes. 2007. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, . Co-Orientador: Viviane Torres da Silva. |
| 6. | José Guedes. Reputação em Sistemas Multi-Agentes. 2007. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, . Co-Orientador: Viviane Torres da Silva. |
| 7. | Beatriz De Maria. Usando a Abordagem MDA no Desenvolvimento de Sistemas Multi-Agentes.. 2005. 0 f. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, . Co-Orientador: Viviane Torres da Silva. |
| 8. | Felipe Nascimento. RFID/EPC e Sistemas Multi-Agentes: rastreabilidade na cadeia de distribuição.. 2005. 0 f. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, . Co-Orientador: Viviane Torres da Silva. |
| Tese de doutorado |
| 1. | Aluízio Haendchen. Um Framework de Integração Middleware para Sistemas Multi-Agentes de Larga Escala. . 2005. 0 f. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, . Co-Orientador: Viviane Torres da Silva. |
| 2. | Anarosa Brandao. Um método para estruturação e análise de modelos de sistemas multi-agentes baseado em ontologias. . 2005. 0 f. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, . Co-Orientador: Viviane Torres da Silva. |
| Trabalho de conclusão de curso de graduação |
| 1. | Simone Miranda e André Martins de Oliveira. Uma Ferramenta de Auxílio no Diagnóstico de Hipertensão Arterial. 2010. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal Fluminense. Orientador: Viviane Torres da Silva. |
| 2. | Mariana de Souza Marinho e Maria Gabriela de Alcântara. Uma Ferramenta para Modelagem de Normas. 2010. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal Fluminense. Orientador: Viviane Torres da Silva. |
| 3. | Manuel Félix Díaz Jara, Inmaculada Magro García, Jorge Luis. Describiendo e implementando normas para sistemas multi-agente. 2008. Trabalho de Conclusão de Curso. (Graduação em Informática) - Universidade Complutense de Madrid. Orientador: Viviane Torres da Silva. |
| 4. | Andrew Diniz da Costa. Estendendo o ASF para Implementação de Sistemas Distribuídos e Agentes Móveis. 2006. Trabalho de Conclusão de Curso. (Graduação em Engenharia de Computação) - Pontifícia Universidade Católica do Rio de Janeiro. Orientador: Viviane Torres da Silva. |
| 5. | Oscar Costa Couto. Sistema de Sincronização dos Dados Acadêmicos do SAL e do AulaNet. 2003. Trabalho de Conclusão de Curso. (Graduação em Engenharia de Computação) - Pontifícia Universidade Católica do Rio de Janeiro. Orientador: Viviane Torres da Silva. |
| Página gerada pelo Sistema Currículo Lattes em 12/02/2012 às 24:57:02 |