INES – National Institute of Science and Technology for Software Engineering

INES acquires notebook

The project “Data structure migration through Refactoring” is acquiring a MacBook Air 11.6 for a researcher at UFPE.

INES project at UFBA is acquiring Books

The project Models, Processes and Tools for the Development of Context Sensitive Systems — in portuguese, Modelos, Processos e Ferramentas de Apoio ao Desenvolvimento de Sistemas Sensíveis ao Contexto is acquiring books to support the project development.

INES at SLE’2012

The paper “SMADL – The Social Machines Architecture Description Language” authored by Leandro Nascimento, Vinicius Garcia and Silvio Meira has been accepted for publication in the Doctoral Symposium of the 5th International Conference on Software Language Engineering (SLE) 2012 in Dresden, Germany.

The conference will be held in September 25-28, 2012 and will be co-located with other well conferences in the area: 11th Generative Programming and Component Engineering Conference (GPCE’12) and the 4th International Workshop on Feature-Oriented Software Development (FOSD’12).

This activity is part of the project “Social Machines and Research Team – SMaRT” and is one of the results of the PhD research being done by Leandro Nascimento.

In order to give a brief overview of the paper, here is the abstract: We are experiencing a high growth in the number of web applications being developed. This is happening mainly because the web is going into a new phase, called programmable web, where several web-based systems make their APIs publicly available. In order to deal with the complexity of this emerging web, we define a notion of social machine and envisage a language that can describe networks of such. To start with, social machines are defined as tuples of input, output, processes, constraints, states, requests and responses; apart from defining the machines themselves, the language defines a set of connectors and conditionals that can be used to describe the interactions between any number of machines in a multitude of ways, as a means to represent real machines interacting in the real web. This work presents a preliminary version of the Social Machine Architecture Description Language (SMADL).

Silvia Abrahao and Emilio Insfrán are going to visit UFBA in August-September

Professors Silvia Abrahao and Emilio Insfran, from UPV, are going to visit UFBA in August-September. The visit 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.

During this visit, the professors will give talks and have meetings with students and professors.

Ivica Crnkovic is going to visit UFBA in August-September

Professor Ivica Crnkovic, from Mälardalen University (MDH), is going to visit UFBA in August-September. The visit 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.

During this visit, professor Ivica will give talks and have meetings with students and professors.

INES acquires Notebook

The project “Investigating Algorithms, Techniques and Tools for Search Based Software Engineering” is acquiring a notebook to support experiments of researchers at UFPB. The project is buying a Sony Vaio Intel Core i7.

Member of UFRN group visits UFCG

INES Researcher will attend Agile Brazil conference

Teresa Maciel, mamber of INES projects, will attend the Agile Brazil Conference, as organizer member. Agile Brazil will be held from Sep 4th to Sep 7th in São Paulo, Brazil.

UFRN researcher at SAT/SMT Summer School 2012

UFRN’s MSc candidate Haniel Barbosa attended the SAT/SMT Summer School 2012, held in Trento, Italy, from June 12 to June 15.

INES at IEEE Computer

INES researchers 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, had one accepted paper at IEEE Computer Magazine. IEEE Computer is considered one of the main venues in the computer science field. The paper will be availabe in the October issue about Dynamic Software Product Lines.

Information about the paper: A View of the Landscape of Dynamic Software Product Lines by Nelly Bencomo, Svein Hallsteinsen, Eduardo Almeida