INES - National Institute of Science and Technology for Software Engineering

UFPB Researchers at WOES 2010

UFPB researchers that are members from the INES project named as “Distributed Development based on Software Product Lines” has a paper accepted at 1st Brazilian Workshop on Optimization in Software Engineering (WOES).

Publication details:

PEREIRA, T. A. B. ; ELIAS, G. . Uma Estratégia de Otimização para Agrupamento de Componentes de Software Baseada em DSM. In: I Workshop Brasileiro de Otimização em Engenharia de Software, 2010, Salvador.

Abstract: In distributed Software Product Line (SPL) projects, dependencies between components influence on communication needs between their respective development teams. Thus, an alternative to reduce such needs is to cluster tightly coupled components into loosely coupled modules as long as each module is developed by a single team. In such a context, since numerous clustering possibilities exist, this paper describes an optimization strategy for clustering software components based on the technique named numerical DSM (Design Structure Matrix), which is adopted to represent dependencies among components of the SPL architecture.

Awarded project of INES will be presented at EQPS Brasília

Context group researchers will have a meeting at Recife

Members of the Project: “Models, Processes and Tools for Developing Context Sensitive Systems”  meet at UFPE-Recife to discuss developed and ongoing activities within the scope of the INES project.

The agenda includes two meetings and a master defense.

Dates: 03/09 and 06/09.

Place: Centro de Informática, UFPE, Recife.

Prof. Vaninha Vieira will attend the meetings, representing UFBA.

INES at ICTAC 2010

INES researchers Marcel Oliveira and Ivan Júnior had a paper accepted at ICTAC’2010 (International Colloquium on Theoretical Aspects of Computing - ictac2010.dimap.ufrn.br). They will will be presenting this paper in Natal, Brazsil, in September 2010.

Publication’ details are:

JU. S. da Costa, I. M. Júnior, and M. V. M. Oliveira. Specification and Verification of a MPI
Implementation for a MP-SoC. In: 7th International Colloquium on Theoretical Aspects of Computing (ICTAC’2010), 2010, Natal. LNCS (Volume to be announced). Heidelberg : Springer-Verlag, 2010.

Abstract: System-on-Chip is a solution that integrates several components of a computer into a single chip substrate. Those systems are generally targeted for embedded applications and can increase their  processing power by using multiple processors and an on-chip interconnection. STORM is a Multi-Processor System-on-Chip virtual platform which uses a basic implementation of the MPI standard to provide  communication among their applications. STORM implements a small set of MPI routines for essential point-to-point and collective communication in order to provide more programmability and portability for the  applications of the platform. In this work, we make use of CSP to build a formal model of those MPI routines and eliminate imprecision and ambiguities that may arise from their informal descriptions on the MPI  standard. Also, we use the FDR model checker to ensure that the implemented routines have no errors introduced during the development process.

UFPE and UFCG Researchers at CBSOFT 2010

Márcio Cornélio, Rohit Gheyi, and Tiago Massoni (INES researchers), will attend the 1st Brazilian Conference on Software: Theory and Practice (CBSoft), from September 27th through October 1st. In this occasion, they will present a short course entitled “Java Modeling Language - JML”. This short course is part of the project “Making Program Evolution Safer“. Other researcher, Henrique Rebêlo (UFPE), will also attend CBSoft.

UFCG acquires equipment for INES Lab

Researchers Tiago Massoni and Rohit Gheyi from UFCG are acquiring equipment from the Apple Store Brazil, in order to build the infrastructure for the INES lab, located at the University, and used buy 1 Phd, 2 Master and 2 IC students.

Project hires new researcher

The project “Making Program Evolution Safer” hires one undergraduate researcher to work on algorithm techniques.

UFS is acquiring books

The project “Software Productivity Laboratory Network” is acquiring books to support the research activities at UFS. These books will help the students in research and development in the project activities concerning the development and use of processes and tools for testing web applications.

Context group researcher participates at the Brazilian Conference on RFID

The Brazilian Conference on Technology, Systems and Services with RFID will be held in Salvador-Bahia, in August, 26-29.

The main purpose of the event is to bring together professionals, entrepreneurs, developers, technicians, researchers and investors seeking efficient and competitive technological solutions to meet the requirements of national and international markets. The lectures will be taught by renowned experts and users, who will testify the benefits of using RFID technology with the presentation of success stories.

This event will be a great opportunity for researchers in the Context-Awareness Computing area to take advantage of the invited talks and lectures, learning from others’ experience. Besides, being at the conference will be an excellent opportunity to meet people, make new contacts and even stablish new collaborations.

- Prof. Vaninha Vieira, UFBA, is a researcher of the project “Models, Processes and Tools for the Development of Context-Sensitive Systems”.

Tutorial on Software Architecture - Prof. Neno Medvidovic at LES @ UFBA

02.Aug.2010 - Prof. Neno Medvidovic presents a tutorial on Software Architecture at UFBA.

Prof. Nenad Medvidovic, from USC, Los Angeles, is a visiting researcher for 3 weeks at UFBA, with INES support from the project “Models, Techniques and Tools for Software Evolution”.