INES - National Institute of Science and Technology for Software Engineering

RSS feed


Calendar

February 2017
M T W T F S S
« Nov    
 12345
6789101112
13141516171819
20212223242526
2728  

 
  • INES at FMi 2015

    (0)
    Publicado em July 8th, 2015About the Institute
    The paper “A lattice-based representation of temporal failures” was accepted for publication at 3rd IEEE International Workshop on Formal Methods Integration (FMi), part of the 16th IEEE International Conference on Information Reuse and Integration.
    This activity is part of the project  ”Reliability and Safety in Critical Software” (In portuguese, “Confiabilidade e Segurança em Software Crítico”).
    More details about the publication: Didier, A. L. R; Mota, A. A lattice-based representation of temporal failures, 3rd IEEE International Workshop on Formal Methods Integration (FMi), San Francisco, CA, U.S., 2015.
    , , ,
  • INES tem artigo na IEEE ICTAI 2009

    (0)
    Publicado em August 10th, 2009Publications

    O artigo A Morphological-Rank-Linear Approach for Software Development Cost Estimation foi aceito como artigo completo para publicação e apresentação na 21st IEEE International Conference on Tools with Artificial Intelligence (ICTAI´2009, http://ictai2009.njit.edu/).A conferência acontecerá em novembro, em New Jersey, USA. A conferência é uma das mais importantes e tradicionais na área de aplicações de inteligência artificial e inclui o tema “aplicações em engenharia de software”.

    O artigo propõe um novo método para estimativa de esforço de software e mostra que ele é superior a outros métodos recentemente reportados na literatura. O artigo está relacionado a uma das metas do projeto “Estimativa de esforço de projeto de software com técnicas de inteligência computacional e estatística“, coordenado pela UFRPE.

    Título: A Morphological-Rank-Linear Approach for Software Development Cost Estimation

    Autores: Ricardo A. Araújo, Adriano L. I. Oliveira e Sérgio C. B. Soares

    Os dados da publicação são: Ricardo A. Araújo, Adriano L. I. Oliveira, Sérgio C. B. Soares. A Morphological-Rank-Linear Approach for Software Development Cost Estimation. In Proceedings of the 21st IEEE International Conference on Tools with Artificial Intelligence, 2009. New Jersey, USA: IEEE Press.

    , , ,
  • INES at SBLP, SBES-Tools, and OOPSLA Student Research Competition

    (0)
    Publicado em August 7th, 2009About the Institute, News, Publications

    The INES project “Evolution and Refactoring tools” published the following papers:

    • Gustavo Soares, Rohit Gheyi, Tiago Massoni, Márcio Cornélio e Diego Cavalcanti. Generating Unit Tests for Checking Program Refactorings. In XIII Brazilian Symposium on Programming Languages - SBLP’09, Gramado-RS, Brazil, 2009.
    • Gustavo Soares, Diego Cavalcanti, Rohit Gheyi, Tiago Massoni, Dalton Serey e Márcio Cornélio. SafeRefactor – Tool for Checking Refactoring Safety. In XXIII Brazilian Symposium on Software Engineering, XVI Tools Session, Fortaleza, Brazil, 2009.
    • Diego Cavalcanti. Improving Safety when Refactoring Aspect-Oriented Programs. Object-oriented programming systems, languages, and applications (Student Research Competition), United States, 2009.

    , , ,
  • INES at SBCARS 2009

    (0)
    Publicado em August 4th, 2009Uncategorized

    O INES marca presença no SBCARS com dois artigos e um mini-curso.

    O primeiro artigo “Core Assets Development in Software Product Lines - Towards a Practical Approach for the Mobile Game Domain” apresenta uma abordagem para a implementação de core assets utilizando componentes de software. A abordagem foi validada no domínio de games para aplicações movéis.

    O segundo trabalho, “RiPLE: The RiSE Process for Product Line Engineering”, corresponde a uma primeira apresentação do processo proposto para linhas de produto. O processo ainda não contempla todas as disciplinas, porém, será uma interessante oportunidade para discussão.

    Os dois trabalhos fazem parte do projeto “Uma Investigação de Processos, Ferramentas e Métricas para o Desenvolvimento de Linhas de Produto de Software“, meta (Definir Processos para o Desenvolvimento de Linhas de Produto).

    Os dados das publicações são:

    • Nascimento, L. M.; Almeida, E. S.; Meira, S. R. L. Core Assets Development in Software Product Lines - Towards a Practical Approach for the Mobile Game Domain, 3rd Brazilian Symposium on Software Components, Architectures, and Reuse (SBCARS), Natal, Brazil, 2009.
    • Almeida, E.S.; S. R. L. Meira, Burégio, V. A. A.; Neiva, D.; Filho, E.; Balbino, M.; Neto, P. A. S.; Machado, I. V.; Burgos, T. H., Lobato, L. L. RiPLE: The RiSE Process for Product Line Engineering, 3rd Brazilian Symposium on Software Components, Architectures, and Reuse (SBCARS), Tutorial, Natal, Brazil, 2009.
    O segundo artigo da UFBA é  Variability Management in Aspect-Oriented Architecture Description Languages: An Integrated Approach”, resultado de pesquisa em colaboração com UFRN e PUC-Rio.
    • Adachi, Eiji ; Batista, Thais ; CHAVEZ, Christina ; Kulesza, Uirá ; Garcia, Alessandro . Um Estilo Arquitetural para Linhas de Produtos de Software. In: Anais do III Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS), 2009.
    , , ,
  • INES at ICSR 2010

    (0)
    Publicado em August 3rd, 2009Uncategorized

    O INES marca presença com dois trabalhos nos eventos paralelos na 11th International Conference on Software Reuse (ICSR).

    O primeiro trabalho corresponde a proposta de tese de Vinicius Garcia, a qual terá um impacto no projeto: “Uma Investigação de Processos, Ferramentas e Métricas para o Desenvolvimento de Linhas de Produto de Software“, principalmente, no aspecto de introdução de linhas de produto em empresas. O conhecimento adquirido nesta tese será essencial.

    O segundo trabalho tem impacto na área de testes de linhas de produto, principalmente, dos core assets, onde é proposto um framework sistemático para a certificação de componentes.

    Os dados da publicação são:

    • Garcia, V. C.; Almeida, E. S.; Meira, S. R. L. RiSE Adoption Process Framework for Software Reuse Adoption in Companies, 11th International Conference on Software Reuse (ICSR), Doctoral Symposium, Falls Church, U.S., 2009.
    • Alvaro, A.; Almeida, E. S.; Meira, S. R. L. An Initial Software Component Quality Framework, 11th International Conference on Software Reuse (ICSR), International Workshop on Software Reuse and Safety (RESAFE), Falls Church, U.S., 2009.
    , , ,
  • INES at SBES 2009 (Tools Session)

    (0)
    Publicado em July 29th, 2009About the Institute, News, Publications

    INES researchers will participate at tools session during the Brazilian Symposium on Software Engineering. The tool: BAST: A Tool for Bug Report Analysis and Search, presents an initial solution for the CR duplicated problem.

    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.

    More details on the publication:

    • Cavalcanti, Y. C.; Cunha, C. E. A.; Almeida, E. S.; Meira, S. R. L. BAST: A Tool for Bug Report Analysis and Search , 23rd Brazilian Symposium on Software Engineering, Tools Session, Fortaleza, Brazil, 2009.
      , , ,
    • INES at SPLC 2009

      (0)
      Publicado em June 22nd, 2009Uncategorized

      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, 13th International Software Product Line Conference (SPLC), 3rd 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.

      , , ,
    • INES at 35th IEEE EUROMICRO

      (0)
      Publicado em May 17th, 2009Uncategorized

      INES researchers have accepted papers at 35th IEEE EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA), Service and Component Based Software Engineering (SCBSE) track.

      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.

      More details for the publications:
      •    Martins, A. C; Garcia, V. C.; Almeida, E. S.; Meira, S. R. L. Suggesting Software Components for Reuse in Search Engines Using Discovered Knowledge Techniques, 35th IEEE EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA), Service and Component Based Software Engineering (SCBSE) Track, Patras, Greece, 2009.
      •    Neiva, D. F. S; Almeida, E. S.; Meira, S. R. L. An Experimental Study on Requirements Engineering for Software Product Lines, 35th IEEE EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA), Service and Component Based Software Engineering (SCBSE) Track, Short Paper, Patras, Greece, 2009.
      •    Silva, F. R. C; Almeida, E. S.; Meira, S. R. L. A Component Testing Approach Supported by a CASE Tool, 35th IEEE EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA), Service and Component Based Software Engineering (SCBSE) Track, Short Paper, Patras, Greece, 2009.

      , , ,
    • INES at SEKE 2009

      (0)
      Publicado em May 14th, 2009News, Publications

      The paper “A Systematic SOA-based Architecture Process” was accepted for publication at 21st International Conference on Software Engineering and Knowledge Engineering (SEKE).

      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.

      More details about the publication: Dias Jr., J. J. L.; Almeida, E. S.; Meira, S. R. L. A Systematic SOA-based Architecture Process, 21st International Conference on Software Engineering and Knowledge Engineering (SEKE), Service Oriented Architecture Track, Boston, U.S., 2009.

      , , ,