INES – National Institute of Science and Technology for Software Engineering

Social Networks as a Knowledge Management Tool for Software Development

On enterprises, a change also called the thrid industrial revolution is happening. This change represents a turn to the knowledge based economy, where knowledge is the most important asset, surpassing traditional resources like earth, capital and work. This collective knowledge and its management contribute the a continued improvement of productivity, raising the enterprise competitiveness.

Knowledge comes from the environment, because it comes form interaction between people and this environment, modifying both during these interactions. Knowledge resides on the mind, behaviour, perception and interaction of people, which is called tacit knowledge. The knowledge which is easily captured, formalized and documented is called explicit knowledge. In general, knowledge management processes focuses on explicit knowledge, which represents only 10% to 20% of all enterprise knowledge. The other 80% to 90% os knowledge is tacit and can not be processed by traditional information systems.

Social networks are tools that help to manage explicit knowledge, and also support people interaction. Because they are usually informal, non-structured and non-hierarchized, the information and knowledge lifecycle allows the social network members to express themselves in a really natural way, reducing the existing barriers of formalizing knowledge.

This project has as main objective to provide the needed mechanisms for using social networks environments as the main Knowledge Management Tool for enterprises and its software development projects. Aiming to achieve this goal, a social networks platform will be extended in order to provide the criation and management of software development projects. Knowledge Management processes will be researched and adapted to help defining a process which fits better to the proposed domain. In addition, a set of metrics and tools will be proposed, implemented, deployed and analysed in order to better support the defined process and evaluate its efficiency.

CAPES approves R$ 139.106,97 in scholarships to INES

CAPES published the result of postgraduate scholarships granted to INCTs.

According to CAPES, the budget availability is R$ 30,000,000.00 (thirty million reals), therefore, corresponding to 6% (six percent) of the total amount financed for each INCT by CNPq/MCT.

Thus, each INCT will receive from CAPES an amount equivalent to 6% of the budget approved by CNPq in postgraduate scholarships. For INES this represents four full masters scholarships (24 months) plus one masters scholarships of 19 months.

It is worth remembering that only for the second half of 2009, the INES generated a demand for 22 scholarships: 14 masters, a doctoral, five sandwich doctoral and two postdoctoral. This demand shows the great potential of attracting human resources and need for financing of INES.

Even having attended only a small part of the generated demand, such initiative is of great importance to the INCTs consolidation. INES expects such initiative to be repeated in other semesters.

Qualidade e Velocidade no Desenvolvimento de Software

O objetivo deste projeto consiste no estudo e no desenvolvimento de processos, técnicas e software de apoio, fundamentados em metodologias ágeis e modelos de qualidade, visando maior velocidade no desenvolvimento e melhoria da qualidade do produto de software.

O projeto inclui os seguintes subprojetos e andamento:

– Alert:  grupo de pesquisa em agilidade e qualidade no desenvolvimento de software envolvendo o desenvolvimento de 6 dissertações de mestrado e 1 tese de doutorado;

– FireScrum: desenvolvimento de ferramenta Open-Source para apoio à gestão de projetos com uso do framework Scrum;

– Evento Alert: realização de um evento para troca de conhecimento entre a indústria e a academia na área de agilidade no desenvolvimento de software (planejado para 2o semestre de 2009).

Projeto “Combinando Técnicas de Métodos Formais e Teste na Construção de Sistemas Embarcados de Tempo Real” recebe visitante

O projeto “Combinando Técnicas de Métodos Formais e Teste na Construção de Sistemas Embarcados de Tempo Real” (resumo aqui) recebe visita da Profa. Ana Cavalcanti para apoiar na pesquisa relativa às atividades de “Verificação Formal da Confiabilidade de Sistemas Tolerante a Falhas”.  Trabalho apoiado pelo grupo de safety assessment da Embraer.

INES at SPLC 2009

INES researchers will participate at 13th International Software Product Line Conference (SPLC),  San Francisco, U.S.. SPLC is the main conference related to software product lines. During the conference, the project members will participate in several workshops:

1. Doctoral Symposium – chair (Eduardo Almeida)
2. Third International Workshop on Dynamic Software Product Lines (DSPL)
3. Third Service-Oriented Architectures and Software Product Lines (SOAPL) — Enhancing Variation Workshop

This activity is part of the project  “An Investigation of Methods, Processes, Tools, and Metrics for the Development of Software Product Lines (SPL)” — in portuguese, Uma Investigação de Processos, Ferramentas e Métricas para o Desenvolvimento de Linhas de Produto de Software.

The INES team will be composed of: Eduardo Almeida, Flavio Medeiros, Ivonei Silva, Leandro Marques, Vanilson Buregio.

Engenharia de Software Baseada em Evidências

A evolução e disseminação da engenharia de software experimental tem produzido um grande aumento na disponibilidade de dados e evidências experimentais na área. Esse projeto desenvolverá metodologias de combinação e extração de evidências secundárias em engenharia de software experimental, assim como a construção de conhecimento experimental sobre estas atividades. As açoes estão divididas em dois grandes grupos: (1) desenvolvimento de metodologias e (2) aplicação das metodologias desenvolvidas.

Inaugurado Núcleo INES em Petrolina

Em pleno clima junino que já tomou conta da cidade, foi inaugurado neste dia 22/06, o Núcleo INES em Petrolina, que vai possibilitar, dentre outros objetivos, a interiorização das ações e resultados do INES para essa importante região do nordeste.

O Núcleo/Laboratório foi implantado na Faculdade de Ciências Aplicadas e Sociais de Petrolina (FACAPE), como uma das ações previstas para o projeto “Desenvolvimento dirigido por modelos e ontologias na construção de aplicações educacionais”, executado pela Facape/UFBA/Univasf, sob a coordenação do Prof. Dr. Ricardo Amorim (Facape).

A inauguração do espaço contou com a presença do Prefeito de Petrolina, Dr. Júlio Lóssio, do Deputado Estadual Augusto César Filho, Vice-presidente da Comissão de Ciência, Tecnologia e Informática da Assembléia Legislativa de Pernambuco, do Diretor de Assuntos Estratégicos da Hemobrás – Empresa Brasileira de Hemoderivados e Biotecnologia, Dr. Augusto César Elihimas de Carvalho, do Diretor-Presidente da Facape, Prof. Rinaldo Remigio, além de secretários municipais, coordenadores de curso, professores e alunos da IES.

Inicialmente o Prof. Dr. Ricardo Amorim fez uma breve apresentação do INES, destacando a sua importância para o cenário produtivo de software no País, a interligação das instituições de ensino e pesquisa do Nordeste e como a cadeia produtiva de software do país vai ter um impacto positivo a partir dos diversos projetos em execução no INES.

O prof. Jorge Cavalcanti (Univasf) destacou a relevância não apenas para a Facape, mas para toda a região do vale do São Francisco, da implantação do Núcleo do INES, que simboliza um importante marco para a pesquisa e desenvolvimento no vale. O professor disse que o Núcleo irá em busca de novos projetos, que assegurem a participação de mais professores e alunos da região no INES e  que conta também com o apoio institucional e político da Prefeitura de Petrolina.

O Prefeito Júlio Lóssio agradeceu a iniciativa dos pesquisadores em buscar esse núcleo para Petrolina, que conta com resultados expressivos do INES para a Região e que a Facape, como Autarquia Municipal, contará com o apoio do executivo para projetos de interesse da administração. O prefeito também ressaltou e agradeceu a presença do Dep. Augusto César Filho e do Diretor da Hemobrás, Augusto César Carvalho.

O Diretor da Facape, Prof. Rinaldo Remígio também parabenizou os professores pela iniciativa e pela ação efetiva; disse que a Faculdade continuará apoiando o Núcleo e agradeceu de modo particular ao prof. Jorge Cavalcanti, que embora tenha deixado a Facape e ido para a Univasf, muito contribuiu para, junto com os professores  Dr. Ricardo  Amorim, Dra. Dinani Amorim e Jocélio Passos, instalar o Núcleo INES na Facape.

INES at SPLC 2009

INES researchers has an accepted paper at 13th International Software Product Line Conference (SPLC), 3rd Service-Oriented Architectures and Software Product Lines (SOAPL) Workshop.

The paper “Towards an Approach for Service-Oriented Product Line Architectures” presents an approach to develop product lines architecture based on services.

Medeiros, F. M., Almeida, E. S., Meira, S. R. L., Towards an Approach for Service-Oriented Product Line Architectures, 13^th International Software Product Line Conference (SPLC), 3^rd Service-Oriented Architectures and Software Product Lines (SOAPL) Workshop, San Francisco, U.S., 2009.

This activity is part of the project  “An Investigation of Methods, Processes, Tools, and Metrics for the Development of Software Product Lines (SPL)” — in portuguese, Uma Investigação de Processos, Ferramentas e Métricas para o Desenvolvimento de Linhas de Produto de Software.

Project “Tools for Automatic Evolution and Refactoring” Hires new undergraduate researcher

The project “Evolution and Refactoring tools” (resume here) hires one undergraduate researcher to work on analysis and test generation for detecting behavioral changes and compilation errors during refactoring activities in aspect oriented programs.

Combinando Técnicas de Métodos Formais e Teste na Construção de Sistemas Embarcados de Tempo Real

O uso de dispositivos controlados por software é cada vez maior em nossa sociedade, em particular, os sistemas embarcados. Estes sistemas realizam funções complexas e usualmente críticas para as quais falhas são inaceitáveis, podendo resultar em perdas de vidas humanas e injúria, grandes perdas econômicas para um negócio e/ou danos ao meio-ambiente. Desta forma, o investimento em métodos e ferramentas que propiciem o desenvolvimento de sistemas fidedignos dentro dos prazos e custos estabelecidos é ainda um grande desafio. Em particular, restrições de tempo na operação destes sistemas, que determinam o seu correto funcionamento, demandam o uso de métodos e ferramentas que guiem todo o processo de concepção e validação. Tais métodos necessitam ser rigorosos, sistemáticos e ter um enfoque em práticas de verificação e validação, bem como garantia de qualidade.

A combinação de métodos formais e testes pode promover a produção de sistemas com alto padrão de qualidade de forma efetiva e dentro dos custos previstos. Especificações informais notadamente dificultam a detecção de defeitos e inviabilizam a automação em atividades de verificação e geração de código. Adicionalmente, especificações formais têm sido apontadas como fundamentais para o desenvolvimento de uma teoria de teste funcional. Gerar casos de teste a partir de especificações formais e fazer uma seleção dos mesmos tem se mostrado possível e bastante promissor além de que esta é mais uma forma de justificar os custos da construção destas especificações.

Especificações formais permitem descrever sistemas em vários níveis de abstração, oferecendo as bases teórica e prática para um desenvolvimento incremental, através de um processo de refinamentos sucessivos. Porém, na grande maioria dos casos, o produto final desejado de um desenvolvimento é um programa executável. Por este motivo, é preciso uma etapa de síntese de código em linguagem de programação a partir do modelo formal, o que pode ser realizado através de tradutores automáticos. Esta tradução pode não ser trivial, e é usualmente feita através de um processo ad hoc que não oferece as mesmas garantias de correção que as etapas formais anteriores. 

Este projeto visa atacar esses pontos no desenvolvimento formal e testes de sistemas embarcados, aplicando os resultados obtidos em estudos de casos originados de casos reais da indústria.

O projeto é direcionado ao uso de modelos formais e técnicas de teste baseado em modelos para sistemas embarcados. O principal objetivo é compartilhar conhecimento e experiência de forma a obter avanços neste domínio de pesquisa. Avanços são esperados em várias direções norteadas por necessidades levantadas a partir de casos de uso reais indicados por nossos parceiros industriais, a saber: (a) considerar novos aspectos e padrões de modelos que são úteis para desenvolvimento e verificação; (b) melhoramento das técnicas de geração de testes; tratamento de modelos parciais; (c) seleção de testes no sentido de reduzir o tamanho dos conjuntos de teste (test suites) sem sacrificar a efetividade do mesmo; (d) geração assistida de artefatos de hardware e software baseada em modelos; (e) aplicação das técnicas desenvolvidas no projeto em diferentes domínios de aplicação.