
INES - National Institute of Science and Technology for Software Engineering
-
INES at the 13th FTfJP workshop
(0)Publicado em June 30th, 2011Expenses, PublicationsINES 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.
Aspect-Oriented Programming, design-by-contract, evolution, exception handling -
INES Software Product Line projects acquire mobile devices
(0)Publicado em June 27th, 2011UncategorizedMobile 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, 2011UncategorizedINES 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/
conferences, research -
INES at CSBC 2011
(0)Publicado em June 16th, 2011UncategorizedThe 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.
CSBC 2011, WINES, workshop -
Business Intelligence Researcher visits LES (UFBA)
(0)Publicado em June 15th, 2011UncategorizedProfessor 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, 2011UncategorizedThe 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, 2011UncategorizedThe 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, 2011UncategorizedDr. 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, 2011UncategorizedINES 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, 2011UncategorizedTassio 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