Olá a todos.
Nessa semana foi aberta a temporada 2014 do nosso seminário.
Além de promover o seminário, essa primeira edição do ano teve como intuito apresentar o laboratório e as atuais linhas de pesquisas desenvolvidas no grupo. Além disso, foi contada um pouco da história do LabES até a sua formação atual composta por 11 professores doutores, 30 Mestrandos, 44 Doutorandos e 3 Pós-doutorandos.
Aos interessados, nesse <<link>> se encontra o material da apresentação realizada pelo aluno de doutorado Faimison Porto.
Obrigado a todos pela presença.
quarta-feira, 19 de março de 2014
quinta-feira, 21 de novembro de 2013
Material do Seminário do dia 06/11/2013
Olá pessoal,
Novamente gostaria de agradecer a participação de todos em mais um seminário do grupo. Particularmente, aos palestrantes Lívia e Venilton pela disponibilidade a apresentações com conteúdo científico relevante.
Aos interessados, seguem os materiais das palestras: <<Venilton>> e <<Lívia>>.
O próximo seminário ocorrerá no dia 27/11 e será coordenado pelo Carlos com a participação do Nemésio e do Pedro.
Obrigada a todos e até o próximo seminário!
Novamente gostaria de agradecer a participação de todos em mais um seminário do grupo. Particularmente, aos palestrantes Lívia e Venilton pela disponibilidade a apresentações com conteúdo científico relevante.
Aos interessados, seguem os materiais das palestras: <<Venilton>> e <<Lívia>>.
O próximo seminário ocorrerá no dia 27/11 e será coordenado pelo Carlos com a participação do Nemésio e do Pedro.
Obrigada a todos e até o próximo seminário!
segunda-feira, 4 de novembro de 2013
Chamada para seminários do LabES - dia 06/11/2013
Olá Pessoal,
Seguem as informações do próximo seminário do LabES.
Data: 06/11/2013
Local: Sala 4-005 no ICMC/USP
Horário: 17hs
Seminário 01:
Nome: Lívia Castro Degrossi
Título: An approach for retrieving information from different sources with an application to disaster management
Resumo: Currently, among all extreme events, floods can cause more damage and deaths than any other type of event. Constant monitoring of floods requires real time information. For this, it's necessary a variety of sensors types to monitor environmental variables. In particular, volunteer information offers a great opportunity for obtaining information about environmental variables, since citizens can act as "sensors". However, those information are dispersed in different data sources that are unrelated with each other, difficulting the access to them. Therefore, this research aims to develop a service-oriented framework to retrieve information from different sources, in particular volunteer information, and store them in a single one. Moreover, this framework is based on Sensor Observation Service (SOS) to make observations available.
Contamos com a presença de todos!
Abraços,
Seguem as informações do próximo seminário do LabES.
Data: 06/11/2013
Local: Sala 4-005 no ICMC/USP
Horário: 17hs
Seminário 01:
Nome: Lívia Castro Degrossi
Resumo: Currently, among all extreme events, floods can cause more damage and deaths than any other type of event. Constant monitoring of floods requires real time information. For this, it's necessary a variety of sensors types to monitor environmental variables. In particular, volunteer information offers a great opportunity for obtaining information about environmental variables, since citizens can act as "sensors". However, those information are dispersed in different data sources that are unrelated with each other, difficulting the access to them. Therefore, this research aims to develop a service-oriented framework to retrieve information from different sources, in particular volunteer information, and store them in a single one. Moreover, this framework is based on Sensor Observation Service (SOS) to make observations available.
Seminário 02:
Nome: Venilton Falvo Júnior
Título: Study and Establishment of a Software Product Line for Mobile Learning Applications
Resumo: Nowadays the popularity of mobile devices in the society has motivated the development of mobile learning (m-learning) applications. In spite of the benefits and facilities with regard to teaching and training, the existing learning applications still have to address issues and challenges related to the development, reuse and architectural standardization. On the other hand, the concept of Software Product Lines (SPL) focuses on software reuse and has been successfully applied for specific domains. In this context, this research shows M-SPLearning, i.e., a SPL particularly defined to the m-learning applications domain. The main goal is to promote the overall quality, effective reuse and standardization during the development and maintenance of these applications. M-SPLearning is being developed through a proactive systematic process, which includes: domain analysis, validation of domain analysis, architecture definition and components design. The main contribution of this work relies on providing guidance for the development and maintenance of mobile learning applications. Actually, the establishment of M-SPLearning intends to provide benefits with regard to the overall quality, domain comprehension, and reduction of the time spent in the development/maintenance of m-learning applications.
Nome: Venilton Falvo Júnior
Resumo: Nowadays the popularity of mobile devices in the society has motivated the development of mobile learning (m-learning) applications. In spite of the benefits and facilities with regard to teaching and training, the existing learning applications still have to address issues and challenges related to the development, reuse and architectural standardization. On the other hand, the concept of Software Product Lines (SPL) focuses on software reuse and has been successfully applied for specific domains. In this context, this research shows M-SPLearning, i.e., a SPL particularly defined to the m-learning applications domain. The main goal is to promote the overall quality, effective reuse and standardization during the development and maintenance of these applications. M-SPLearning is being developed through a proactive systematic process, which includes: domain analysis, validation of domain analysis, architecture definition and components design. The main contribution of this work relies on providing guidance for the development and maintenance of mobile learning applications. Actually, the establishment of M-SPLearning intends to provide benefits with regard to the overall quality, domain comprehension, and reduction of the time spent in the development/maintenance of m-learning applications.
Abraços,
Sofia.
domingo, 27 de outubro de 2013
Material do Seminário 23/10
Olá pessoal,
Gostaria de agradecer novamente a participação de todos em mais um seminário do grupo. Em particular, aos palestrantes (Faimison e Thiago) pela disponibilidade e apresentações com conteúdo científico relevante.
Aos interessados, seguem as apresentações: << Faimison >> e << Thiago >>.
O próximo seminário ocorrerá no dia 06/11 e será coordenado pela Sofia com participação do Nemésio e de um outro voluntário que se manifestar.
Obrigada a todos e até o próximo seminário.
Gostaria de agradecer novamente a participação de todos em mais um seminário do grupo. Em particular, aos palestrantes (Faimison e Thiago) pela disponibilidade e apresentações com conteúdo científico relevante.
Aos interessados, seguem as apresentações: << Faimison >> e << Thiago >>.
O próximo seminário ocorrerá no dia 06/11 e será coordenado pela Sofia com participação do Nemésio e de um outro voluntário que se manifestar.
Obrigada a todos e até o próximo seminário.
terça-feira, 22 de outubro de 2013
Chamada para seminários do LabES - dia 23/10/2013
Olá Pessoal,
Seguem as informações do próximo seminário do LabES.
Data: 23/10/2013
Local: Sala 4-001 no ICMC/USP
Horário: 17h
Seminário 01:
Nome: Faimison Porto
Título: Generation of checking sequences using identification sets.
Resumo: Finite state machine-based testing aims at generating checking sequences that guarantee the conformance between the implementation and the specification of a system. For that purpose, several methods have been proposed to generate checking sequences which ensure full coverage of possible faults in the implementation. Many existing methods are based on a special sequence, called distinguishing sequence, which does not exist for every minimal machine. Some methods are based on characterization sets since they exist for every machine. However, these methods generate checking sequences exponentially long. In this paper, we propose a method to generate checking sequences using identification sets. These sets exist for every minimal FSM and also lead to shorter checking sequences. We conducted an experimental study to compare the proposed method with the existing methods. The results show that on average our method generates checking sequences 31,7% to 99,9% shorter than the ones produced by existing methods.
Seminário 02:
Nome: Thiago Gottardi
Título: Model-Based Reuse for Crosscutting Frameworks: Assessing Reuse and Maintenance Effort
Resumo: New possibilities emerged after the advent of aspect-oriented programming and many frameworks were designed taking into account the new abstractions. Among these reuse techniques, Crosscutting Frameworks (CF) are aspect-oriented frameworks developed to encapsulate a single crosscutting concerns. However, the proposed CFs employ white-box strategies in their reuse process, what requires a substantial technical skills during the process, such as knowing the programming language, architectural details and internal nomenclature. To overcome this issue, we have proposed a model-driven approach to accelerate the reuse while hiding these complexities. Experiments were conducted to evaluate the approach. The results show an improvement of 97% in the productivity, however little difference was perceived concerning the effort for maintaining applications.
Seguem as informações do próximo seminário do LabES.
Data: 23/10/2013
Local: Sala 4-001 no ICMC/USP
Horário: 17h
Seminário 01:
Nome: Faimison Porto
Título: Generation of checking sequences using identification sets.
Resumo: Finite state machine-based testing aims at generating checking sequences that guarantee the conformance between the implementation and the specification of a system. For that purpose, several methods have been proposed to generate checking sequences which ensure full coverage of possible faults in the implementation. Many existing methods are based on a special sequence, called distinguishing sequence, which does not exist for every minimal machine. Some methods are based on characterization sets since they exist for every machine. However, these methods generate checking sequences exponentially long. In this paper, we propose a method to generate checking sequences using identification sets. These sets exist for every minimal FSM and also lead to shorter checking sequences. We conducted an experimental study to compare the proposed method with the existing methods. The results show that on average our method generates checking sequences 31,7% to 99,9% shorter than the ones produced by existing methods.
Seminário 02:
Nome: Thiago Gottardi
Título: Model-Based Reuse for Crosscutting Frameworks: Assessing Reuse and Maintenance Effort
Resumo: New possibilities emerged after the advent of aspect-oriented programming and many frameworks were designed taking into account the new abstractions. Among these reuse techniques, Crosscutting Frameworks (CF) are aspect-oriented frameworks developed to encapsulate a single crosscutting concerns. However, the proposed CFs employ white-box strategies in their reuse process, what requires a substantial technical skills during the process, such as knowing the programming language, architectural details and internal nomenclature. To overcome this issue, we have proposed a model-driven approach to accelerate the reuse while hiding these complexities. Experiments were conducted to evaluate the approach. The results show an improvement of 97% in the productivity, however little difference was perceived concerning the effort for maintaining applications.
Contamos com a presença de todos!
Abrs,
Alinne
Abrs,
Alinne
quinta-feira, 10 de outubro de 2013
Material do seminário dia 09/10/2013
Olá pessoal,
Novamente gostaria de agradecer a participação de todos pela participação em mais um seminário do grupo. Em particular, aos palestrantes (Aline e Carlos) pelas apresentações de alta qualidade e conteúdo científico relevante.
Aos interessados, seguem os materiais das palestras:<< Alinne >> e << Carlos >>.
O próximo seminário está agendado para o dia 23/10 sendo coordenado pela Alinne com participação do Faimison e de um outro voluntário que se manifestar até lá.
Obrigada a todos e até o próximo seminário.
segunda-feira, 7 de outubro de 2013
Chamada para seminários do LabES - dia 09/10/2013
Olá pessoal,
Seguem as informações sobre os próximos seminários do LabES:
Data: 09/10/2013 (quarta-feira)
Local: Sala 3-010 no ICMC/USP
Horário: 17h
Seminário 1:
Nome completo: Francisco Carlos Monteiro Souza
Título da apresentação: Geração de Dados de Teste para Teste de Mutação utilizando Técnicas de Busca e Meta-heurísticas
Resumo: O objetivo dessa proposta é contribuir para a automatização da geração de dados de teste e a identificação de mutantes equivalentes para o teste de mutação por meio do uso de técnicas de busca e meta-heurísticas fundamentadas nos conceitos de teste de software baseado em busca.
Seminário 2:
Nome: Alinne Cristinne Corrêa dos Santos
Título: Uma contribuição à definição e à automatização da atividade de teste para sistemas de Realidade Virtual
Resumo: Apesar da pesquisa na área de teste ser diversificada em várias linhas, ainda existem lacunas, principalmente relacionadas a problemas específicos de alguns domínios de aplicação como, por exemplo, ambientes de Realidade Virtual (RV). Nesse contexto, foi identificada a necessidade em definir e automatizar critérios de teste para auxiliar o desenvolvedor na criação ou na avaliação de conjuntos de dados de teste no escopo de sistemas de RV.
Contamos com a presença de todos!
Abraços,
Maria Adelina
Seguem as informações sobre os próximos seminários do LabES:
Data: 09/10/2013 (quarta-feira)
Local: Sala 3-010 no ICMC/USP
Horário: 17h
Seminário 1:
Nome completo: Francisco Carlos Monteiro Souza
Título da apresentação: Geração de Dados de Teste para Teste de Mutação utilizando Técnicas de Busca e Meta-heurísticas
Resumo: O objetivo dessa proposta é contribuir para a automatização da geração de dados de teste e a identificação de mutantes equivalentes para o teste de mutação por meio do uso de técnicas de busca e meta-heurísticas fundamentadas nos conceitos de teste de software baseado em busca.
Seminário 2:
Nome: Alinne Cristinne Corrêa dos Santos
Título: Uma contribuição à definição e à automatização da atividade de teste para sistemas de Realidade Virtual
Resumo: Apesar da pesquisa na área de teste ser diversificada em várias linhas, ainda existem lacunas, principalmente relacionadas a problemas específicos de alguns domínios de aplicação como, por exemplo, ambientes de Realidade Virtual (RV). Nesse contexto, foi identificada a necessidade em definir e automatizar critérios de teste para auxiliar o desenvolvedor na criação ou na avaliação de conjuntos de dados de teste no escopo de sistemas de RV.
Contamos com a presença de todos!
Abraços,
Maria Adelina
Assinar:
Postagens (Atom)