INES – National Institute of Science and Technology for Software Engineering

UFCG Researcher at A-MOST/ICST 2014

Prof. Wilkerson Andrade will attend the 10th Workshop on Advances in Model Based Testing (A-MOST 2014), where the paper:  “Comparing Model-Based Testing with Traditional Strategies: An Empirical Study” will be presented. The event is co-located with Seventh IEEE International Conference on Software Testing, Verification and Validation (ICST 2014).  This activity is part of the project “Combining Formal Methods and Testing in the Development of Real-Time Embedded Systems.

INES researcher will participate in IEEE PerCom 2014 Conference at Budapeste

The Twelfth IEEE International Conference on Pervasive Computing and Communications – PerCom 2014 (http://www.percom.org) is established as the premier annual scholarly venue in the areas of pervasive computing and communications. The conference will feature a diverse mixture of interactive forums: core technical sessions of high quality cutting-edge research articles; targeted workshops on exciting topics; live demonstrations of pervasive computing in action; insightful keynote speeches; panel discussions from domain experts; and posters of emerging ideas. The 12th edition will be held at Budapeste – Hungria in March 24-28, 2014.

The conference and associated workshops have a very interesting program and it will be an opportunity to see the state of the art from different domains as Context Modeling, Human Mobility, Internet of Things, Crowdsensing, Ubiquitous Applications, Social Networking, among others. Important invited speakers in the area and innovations demonstrations will be major moments. Besides, it 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”.

INES acquires Notebook

The INES project “Refatoramento de Programas para Migração entre Estruturas de Dados” is acquiring a notebook to support experiments of researchers at UFCG.

INES at WWW’2014

Two papers from INES collaborators and UFPE PhD students have been accepted for the International World Wide Web Conference (WWW’2014) to be held in Seoul, South Korea, on April 2014. Leandro M. Nascimento, author of both papers, will attend the conference and present both papers.  This activity is part of the project “Social Machines and Research Team – SMaRT” and is one of the results of the research being done by ASSERT Lab.

The first paper is entitled “A New Architecture Description Language for Social Machines” by Leandro Nascimento, Vanilson Burégio, Vinicius Garcia and Silvio Meira. A brief summary of the paper is following:

“The term ‘Social Machine’ (SM) has been commonly used as a synonym for what is known as the programmable web or web 3.0. Some definitions of a Social Machine have already been provided and they basically support the notion of relationships between distributed entities. The type of relationship molds which services would be provided or required by each machine, and under certain complex constraints. In order to deal with the complexity of this emerging web, we present a language that can describe networks of Social Machines, named SMADL – the Social Machine Architecture Description Language. In few words, SMADL is as a relationship-driven language which 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, such as, Twitter running on top of Amazon AWS or mashups built upon Google Maps, and obviously, as a means to represent interactions with other social machines too.”

The second one is entitled “Personal APIs as an Enabler for Designing and Implementing People as Social Machines” by Vanilson Burégio, Leandro Nascimento, Nelson Rosa and Silvio Meira. The paper abstract is following:

“In this paper, we extend our initial classication scheme for Social Machines (SM) by including Personal APIs as a new SM-related topic of research inquiry. Personal APIs basically refer to the use of Open Application Programming Interfaces (Open APIs) to programmatically access information about a person (e.g., personal basic info, health-related statistics, busy data) and/or trigger his/her human capabilities in a standardized way. Here, we provide an overview of some existing Personal APIs and show how this approach can be used to enable the design and implementation of people as individual SMs on the Web. A proof-of-concept system that demonstrates these ideas is also outlined in this paper.”

These papers will be soon available on ACM Digital Library. A new post will be done after the conference, presenting our impressions of the event and the feedback from research community about the work.

Member of UFPE and PUC-Rio groups visit UFCG

Paulo Borba from Federal University of Pernambuco and Alessandro Garcia from PUC-Rio are going to visit UFCG from 27th to 28th February to collaborate with Rohit Gheyi and Gustavo Soares.

ForAll UFRN Acquires Bulk Material and Software

The Formal Methods and Languages Laboratory, research laboratory at UFRN associated to INES, acquired new security software and bulk material.