INES - National Institute of Science and Technology for Software Engineering

RSS feed


Calendar

June 2011
M T W T F S S
« May   Jul »
 12345
6789101112
13141516171819
20212223242526
27282930  

 
  • INES at the 13th FTfJP workshop

    (0)
    Publicado em June 30th, 2011Expenses, Publications

    INES researchers will be presenting a paper at the 13th workshop on Formal Techniques for Java-Like Programs. This workshop is part of ECOOP’2011 and is one of the main forums for discussing ideas about new techniques for the design, implementation, and evolution of Java programs that rely on a rigorous foundation. This year, FTfJP will be held in Lancaster, United Kingdom. INES will cover the expenses with registration at the workshop for one of the authors.

    More information about the workshop is available at http://www.cs.williams.edu/FTfJP2011/index.html

    Publication details are as follows:

    Title: On the Interplay of Exception Handling and Design by Contract: An Aspect-Oriented Recovery Approach

    Authors: Henrique Rebêlo, Roberta Coelho, Ricardo Lima, Gary T. Leavens, Marieke Huisman, Alexandre Mota, Fernando Castor

    Abstract:

    Design by Contract (DbC) is a technique for developing and improving functional software correctness through definition of “contracts” between client classes and their suppliers. Such contracts are enforced during runtime and if any of them is violated a runtime error should occur. Runtime assertions checkers (RACs) are a well-known technique that enforces such contracts. Although they are largely used to implement the DbC technique in contemporary languages, like Java, studies have shown that characteristics of contemporary exception handling mechanisms can discard contract violations detected by RACs. As a result, a contract violation may not be reflected in a runtime error, breaking the supporting hypothesis of DbC. This paper presents an error recovery technique for RACs that tackles such limitations. This technique relies on aspect-oriented programming in order to extend the functionalities of existing RACs stopping contract violations from being discarded. We applied the recovery technique on top of five Java-based contemporary RACs (i.e., JML/jml, JML/a jml, JContractor, CEAP, and Jose). Preliminary results have shown that the proposed technique could actually prevent the contract violations from being discarded regardless of the characteristics of the exception handling code of the target application.

    , , ,
  • INES Software Product Line projects acquire mobile devices

    (0)
    Publicado em June 27th, 2011Uncategorized

    Mobile devices (tablets) will be acquired by researchers associated to SPL (software product line) projects. The devices will be another platform option to evaluate SPL solutions derived by the projects.

  • INES at SPLC 2011

    (0)
    Publicado em June 21st, 2011Uncategorized

    INES researchers (Eduardo Almeida, Raphael Oliveira, Ivonei Silva, Ivan Machado, Tassio Vale) members from 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 will attend the 15th International Conference on Software Product Lines (SPLC), which is the premier conference on services.

    Home page of the event: http://www.splc2011.net/

    ,
  • INES at CSBC 2011

    (0)
    Publicado em June 16th, 2011Uncategorized

    The professors Juliano Iyoda and Sérgio Soares, INES researchers members from the project Tests Generation, Selection, Prioritization and Processing Product Line — in portuguese, Linhas de Produtos de Geração, Seleção, Priorização e Processamento de Testes, will present the achievements and plans for the future work of the project at the INES Workshop (WINES) on the XXXI Congress of the Brazilian Computer Society (CSBC 2011), that will be held in Natal, RN, Brazil from July 19th to 22nd, 2011.

    , ,
  • Business Intelligence Researcher visits LES (UFBA)

    (0)
    Publicado em June 15th, 2011Uncategorized

    Professor Asterio Tanaka (UNIRIO) is going to visit LES (UFBA) in June, 2011. During 1 day, Tanaka will have meetings with professors and students from this group, about research and Software Engineering Intelligence projects.

  • INES Workshop at XXXI CSBC

    (0)
    Publicado em June 15th, 2011Uncategorized

    The XXXI Congress of the Brazilian Computer Society will be held in Natal, RN, Brazil from July 19th to 22nd, 2011. There INES will hold a one-day workshop where the researchers of the Institute will present their achievements, their plans for future work, and interact with their peers.

    You can access the web site of the XXXI CSBC clicking on this link.

  • INES at COMPSAC 2011

    (0)
    Publicado em June 14th, 2011Uncategorized

    The paper “The Emerging Web of Social Machines” was accepted for publication at the 35th Annual IEEE Computer Software and Applications (COMPSAC).

    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: Meira, S. R. L.; Buregio V. A. A.; Nascimento L. M.; Neto M.; Figueiredo E. G. M.; Encarnação B. P.; Garcia V. C.; The Emerging Web of Social Machines, 35th Annual IEEE Computer Software and Applications (COMPSAC), Munich, Germany, 2011.

  • Profa. Leila Silva is going to visit CIN in June 2011

    (0)
    Publicado em June 4th, 2011Uncategorized

    Dr.  Leila Silva is going to visit UFPE in June, 2011. During five days, Leila will work with Dr. Augusto Sampaio in the context of the project Making Program Evolution Safer.

  • INES at IEEE Multidisciplinary Engineering Education Magazine (IEEE MEEM)

    (0)
    Publicado em June 3rd, 2011Uncategorized

    INES researchers, members from Development by Models and Ontologies in the building of educational application and Models, Processes and Tools for the Development of Context-Sensitive Systems projects, have an accepted paper at IEEE Multidisciplinary Engineering Education Magazine.

    Publication details: George Pacheco Pinto, Laís do Nascimento Salvador, Ricardo Amorim. A Model Driven Solution based on Ontology in the implementation of Units of Learning authoring tools.

  • INES at SERVICES 2011

    (0)
    Publicado em June 2nd, 2011Uncategorized

    Tassio Vale member 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 , will attend the World Congress on Services (SERVICES 2011), which is the premier conference on services.

    Home page of the event: http://www.servicescongress.org/2011/index.html