INES – National Institute of Science and Technology for Software Engineering

INES, ASSERT & CIn/UFPE researchers at CBSoft’2016

Prof. Vinicius Cardoso Garcia (CIn/UFPE) together with graduate and undergraduate students will attend the VII Brazilian Conference on Software: Theory and Practice (CBSoft 2016), one of the major events held annually by the Brazilian Computer Society.

The congress will take place in Maringá, from the 19th to the 23th of September 2016.

INES, ASSERT & CIn/UFPE researchers at NOMS’2016

Carlo Marcelo (INES, ASSERT & CIn/UFPE) will attend the IEEE/IFIP Network Operations and Management Symposium (NOMS 2016) to present the following papers: “A Meta-Analysis for Security Threats over the Web Ecosystem” and “Towards a Taxonomy for Security Threats on the Web Ecosystem”,  authors: Carlo Marcelo Revoredo da Silva, Jose Lutiano Costa da Silva, Ricardo Batista Rodrigues, Daniel Couto Gatti, Pericles Cunha Barbosa de Miranda, Kellyton dos Santos Brito, Leandro Marques do Nascimento, Rodrigo Elia Assad, Ruy José Guerra Barreto de Queiroz and Vinicius Cardoso Garcia. The conference will be held in Istanbul, Turkey, from 25-29 April 2016.

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.

INES, ASSERT & CIn/UFPE researchers at CBSoft 2015

Prof. Vinicius Cardoso Garcia (CIn/UFPE) together with graduate and undergraduate students will attend the Brazilian Conference on Software: Theory and Practice (CBSoft 2015), one of the major events held annually by the Brazilian Computer Society.

The congress will take place in Belo Horizonte, Minas Gerais, Brazil from the September, 21st to September, 25th of 2015.

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.

ASSERT Lab & INES & UFPE researches at VEME Workshop

In 9 – 14 August 2015 St. Augustine, Trinidad and Tobago, the ASSERT LAB group will participate of the 20th International Bioinformatics Workshop on Virus Evolution and Molecular Epidemiology (VEME), more information here.

Biomedical data processing is a relatively new and challenging research field. Some of these challenges are addressed for Software Engineering, mostly the ones that handle with big data processing, pattern recognition, alignment and mapping of genetic and molecular information.

With the intention of assist researchers for training in Bioinformatics methods, the International Committee for Genetic Engineering and Biotechnology (ICGEB) will promote from august 9 to 15 of 2015 the international workshop on Virus Evolution and Molecular Epidemiology (VEME), hosted by The University of the West Indies (UWI), St. Augustine, Trinidad and Tobago. The workshop is co-organized by the University of Leuven (Belgium) and the J. Craig Venter Institute (USA).

One of 4-day course offered is  ‘Large Dataset Analysis’  that will cover the more complex analysis of full genomes, huge datasets of pathogens including Next Generation Sequencing data, and combined analyses of pathogen and host. On day 5, the workshop have some half-day courses including ‘Large Phylogenies’, ‘Visualization of Large Phylogenies with Metadata’, ‘Recombination and Networks’ and ‘Virus Analysis Tools’.

Vinicius Cardoso Garcia pretends to attend the VEME 2015 with his Phd student Jackson Raniel Florencio da Silva in order to better understand the Software Engineering applications and practices in bioinformatics field and to start to work together with the Rega Institute research group (Katholieke Universiteit Leuven) in order to establish new research trends and partnership in the context of the RegaDB project.

ASSERT + INES + UFPE researchers at CBSoft 2014

Prof. Vinicius Cardoso Garcia together with graduate and undergraduate students will attend CBSoft 2014 in Maceió from 28 September to 03 October to attend the conference and present research 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.

INES at International Digital Government Research Conference (dg.o 2014)

Two papers from ASSERT Members have been accepted for the International Digital Government Research Conference (dg.o 2014) to be held in Aguascalientes City, Mexico, on June 2014. Kellyton Brito, author of both papers, will attend the conference and present both papers. The first paper is entitled “Brazilian Government Open Data: Implementation, Challenges, and Potential Opportunities” by Kellyton Brito, Marcos Costa, Vinicius Cardoso Garcia and Silvio Meira.

A brief summary of the paper is following: “Technological advances and real-time worldwide communications hold great promise for transforming the efficiency and effectiveness of public services through the ease of publishing and access to government public information or through the offer of new kinds of services. In this paper, we describe two initiatives, Rio Inteligente (Smart Rio) and Cidadão Recifense (Recife Citizen), which are based on Brazilian open-data repositories from the cities of Rio de Janeiro and Recife and deliver services for citizens and tourists, mainly (i) a health-unit finder based on user location and (ii) an online vaccination card. Based on the development experience of these two similar applications that use completely independent open-data repositories, this paper discusses the current state of Brazilian open-data initiatives, their challenges and difficulties, and draws some considerations towards a framework to build applications based on government data.”

The second one is entitled “Using Parliament Brazilian Open Data to Improve Transparency and Public Participation in Brazil” by Kellyton Brito, Misael Santos Neto, Marcos Costa, Vinicius Garcia and Silvio Meira. The paper abstract is following: “Government concerns about transparency date from 1957, but current technological advances and real-time worldwide communications hold promise to transform accountability, transparency, citizen participation and collaboration, in addition to offering better public services, by increasing efficiency and effectiveness and decreasing corruption in government. With these goals in mind, this paper describes Meu Congresso Nacional (My National Congress), a first prize winner application developed during the First Brazilian Parliament Hackathon focused on parliamentarians transparency by obtaining and analyzing data from several sources and displaying them on a user-friendly website. In addition, based on this development experience, this paper discusses the difficulties and challenges of developing applications based on Brazilian government data.”

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.

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.

INES at WP2P+ (SBRC’2014)

INES will be present at the Workshop on P2P Networks, Dynamics, and Social Content-Oriented (WP2P+) in conjunction with the Brazilian Symposium on Computer Networks and Distributed Systems (SBRC’2014) to be held in Florianópolis (Santa Catarina) 5-9 May 2014. 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 paper is entitled “Cloud Disk Drive – Uma abordagem para a criação de discos virtuais de baixo custo utilizando redes p2p” by Anderson Fonseca e Silva, Frederico Araújo Durão, Vinicius Cardoso Garcia and Rodrigo Elia Assad. A brief summary of the paper is following:

Este trabalho apresenta uma proposta para a disponibilização de unidades virtuais para armazenamento de dados em nuvem, através da associação de tecnologias e conceitos, tais como: ISCSI e redes P2P. Desta forma, os arquivos podem ser distribuídos em nós conectados a rede,permitindo a oferta de armazenamento em disco de maneira compartilhada e a redução de custos pelo ofertante do serviço.

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.

UFPE Researchers at CBSoft 2013

Prof. Vinicius Cardoso Garcia together with graduate and undergraduate students will attend CBSoft 2013 to attend the conference and present research 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.

Lucas Lima, a PhD student from UFPE, and Prof. Márcio Cornélio will present the paper “A Formal Semantics for SysML Activity Diagrams” at the CBSoft 2013. This is a full paper presentation at the Brazilian Symposium on Formal Methods (SBMF).

INES at 17th EASE – Part II

The paper “Cloud Testing Framework” authored by Crescencio Rodrigues Lima Neto (DCC-UFBA and IFBA), and Vinicius Cardoso Garcia (CIn-UFPE), has been accepted for publication at the 17th International Conference on Evaluation and Assessment in Software Engineering (EASE’2013). The conference will be held in April 14 – 16, 2013 at Porto de Galinhas, Brazil.

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.

A brief overview of the paper is given next

Cloud-based testing introduces a new set of challenges. While many companies are approaching cloud computing with cautious, testing appears to be next area of growing interest. This paper propose the development of a new framework focusing on cloud testing. We intend to define the activities, roles, techniques, and tools that will be used in an integrated framework. A research methodology containing all the steps that will be executed during the proposal implementation was defined. A schedule was suggested in order to allow the research development. We propose a new Cloud Testing framework and we present the research methodology and schedule that will be used to implement the proposal.