INES – National Institute of Science and Technology for Software Engineering

RSS feed


October 2011
« Sep   Nov »

  • Profa Leila Silva is going to visit CIN/UFPE

    Publicado em October 31st, 2011Uncategorized

    Profa Leila Silva from UFS is going to visit CIN/UFPE from 07 to 09 November to work with Augusto Sampaio in data refinement (project Making refactoring Safer).

  • INES is acquiring books

    Publicado em October 29th, 2011Uncategorized

    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, is acquiring books for the projects at UFBA.

  • Post-doc position at INES/UFRN

    Publicado em October 25th, 2011News

    Design of static analysis tools for the verification in software engineering is the title of the post-doc position funded by CAPES, under the supervision of INES research David Deharbe.

    Benefits: BR$3.300 per month plus a stipend of up to BR$12.000 per year to fund research activities.

    The position is available now. Candidates must have obtainted their Doctorate degree at most five years before starting in the position. Potential candidates shall send email to david.deharbe@pq.pesquisador.cnpq for clarifications and applications.

  • UFPE acquires equipment for SMaRT project

    Publicado em October 21st, 2011Expenses

    Researcher Silvio Meira from UFPE is acquiring equipment for the Social Machines lab at UFPE, for the project “S.Ma.R.T – Social Machines Research Team

    , , ,
  • INES researcher will visit the Stevens Institute of Technology

    Publicado em October 20th, 2011Uncategorized

    Giovanny Lucero, professor from DCOMP/UFS and phd student at Cin/UFPE, is going to visit the Stevens Institute of Technology, at New Jersey, during this Nov 10-23. In this period, Lucero will meet with Prof. David Naumann who already has a longstanding collaboration with Prof. Augusto Sampaio, her supervisor at Cin, and other researchers from the INES project. They have developed works in topics of refactoring transformations based on algebraic laws of programs and published several papers.
    During the visit, Lucero intends to discuss an alternative approach to these laws and work out a detailed research agenda for the next year.

  • INES researcher visits Mälardalen University

    Publicado em October 17th, 2011Uncategorized

    Prof. Eduardo Almeida member 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, is visiting the Malardalen University in Sweden.

    In this visit, the professor is signing a cooperation project between UFBA and the Malardalen University. The coordinator of the project in Sweden is Professor Ivica Crnkovic a well know researcher in software engineering, especially, in the component-based software engineering and software architecture areas.

  • INES researcher gave a keynote at SBBD 2011

    Publicado em October 14th, 2011Uncategorized

    Every year a Brazilian researcher with relevant contributions in the database field is invited to present a keynote at the Brazilian Symposium of Databases (SBBD). This year, Prof. Ana Carolina Salgado gave the keynote speech
    SBBD 2011

    SBBD 2011

  • INES member attend a kick-off meeting at Brussels (Belgium)

    Publicado em October 14th, 2011News

    Vinicius Garcia, professor at CIn-UFPE, will attend the kick-off meeting of the EU-Brazil Open Data and Cloud Computing e-Infrastructure for Biodiversity (OpenBio) project at Microsoft Executive Briefing Center for European Innovation building, Brussels (Belgium) in the period of October 17-19. During this meeting, a workshop will take place and Vinicius will give a talk on the use of gCube and P2P technology to implement an e-Infrastructure to Data as a Service in the context of CRIA (Centro de Referência em Informação Ambiental) scenario. This work is in collaboration with Rodrigo Assad, Ph.D. candidate at UFPE and System Engineer at CESAR and others institutions: CRIA (Brazil), BARCELONA SUPERCOMPUTING CENTER – CENTRO NACIONAL DE SUPERCOMPUTACION (Spain), CONSIGLIO NAZIONALE DELLE RICERCHE (Italy), TRUST-IT SERVICES LTD (United Kingdom), UNIVERSIDAD POLITECNICA DE VALENCIA (Spain), Species 2000 (Spain), CESAR (Brazil), RNP (Brazil), UFF (Brazil) and UFPE (Brazil).

    The OpenBio project is the first large-scale effort in order to specify, design, implement, deploy and test the theory and practice of Social Machines, as can be stated in the project S.Ma.R.T – Social Machines Research Team. OpenBio is also an opportunity to raise more funds for the projects of Social Machines and Cloud Computing from the INES.

    The main goal of EUBrazilOpenBio is to deploy an e-Infrastructure of open access resources (data, tools, services), to make significant strides towards supporting the needs and requirements of the biodiversity scientific community. This data e-Infrastructure will result from the federation and integration of substantial individual existing data, cloud, and grid EU and Brazilian infrastructures and resources across the biodiversity & taxonomy domain namely Catalogue of Life, OpenModeller, D4Science-II and Venus-C.

    , , , , , ,
  • S.Ma.R.T – Social Machines Research Team

    Publicado em October 14th, 2011About the Institute, News

    The traditional concept of software has been changing during the last decades. Since the first definition of a computing machine described by Turing, software started to become part of our lives and has been turned pervasive and ubiquitous with the introduction of personal computers, the internet, smartphones and, of later, the internet of things. In fact, one can say that software and the internet changed the way we communicate, the way business is done and the internet is changing the way software is developed, deployed and used. Nowadays, computing means connecting; and it just may be the case that developing software is the same as connecting services.

    Although there have been many studies about the future of the internet and concepts such as web 3.0, programmable web, linked data and semantic web, the segmentation of data and the issues regarding the communication among systems obfuscates the interpretation of this future. Kevin Kelly, of Wired fame, is quoted as having said once: “The internet is the most reliable machine ever made. It’s made from imperfect, unreliable parts, connected together, to make the most reliable thing we have”. Unstructured data, unreliable parts and problematic, non-scalable protocols are all native characteristics of the internet that has been evolving for 40 years; at the same time, they are the good, the bad and the ugly of a web in which we rely more and more in the everyday life of everything, that needs a unifying view and explanations in order to be developed, deployed and used in a more efficient and effective way.

    Indeed, the web is changing in a fundamental way and approaches such as SOA, REST, XaaS, and Cloud Computing each play an important role in this emerging web. However, the read/write and programmable webs are recent enough to represent very serious difficulties in understanding their basic elements and how they can be efficiently combined to develop real, practical systems in either personal, social or enterprise contexts. There has not been a clear, precise description of each and every entity on this new emerging web (above the basic, 1.0, which is a restriction of it) and we believe it is necessary to create new mental models of such a web as a platform, in order to provide a common and coherent conceptual basis for the understanding of this young, upcoming and possibly highly innovative phase of software development.

    In this context, this project aims to explain the web in terms of a new concept named Social Machines (SM). We define a notion of social machine and envisage an algebra that can describe networks of such. To start with, social machines are defined as tuples of input, output, processes, constraints, state, requests and responses; apart from defining the machines themselves, the algebra 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, such as Twitter, Twitter running on top of Amazon AWS, mashups built using Twitter and, obviously, other social machines.

    This is not a theoretical initiative as yet; but, in more than one sense, we think that this work contributes to the process of providing a unifying vision to describe web based information systems and are starting to work on what could be a practical way of dealing with the complexity of this emerging web of social machines.

    If you are interested to interact and collaborate with this initiative you can start reading this paper and contact by email

    , , , ,
  • Who will attend ICSE 2012?

    Publicado em October 12th, 2011News

    ICSE 2012, the 34th International Conference on Software Engineering,  is the premier software engineering conference, providing a forum for researchers, practitioners and educators to present and discuss the most recent innovations, trends, experiences and issues in the field of software engineering.  ICSE will take place in Zurich –  Switzerland, from June 2 to 9, 2012.

    MSR 2012, the 9th Working Conference on Mining Software Repositories, will be co-located with ICSE 2012, from June 2 to 3, 2012. The Mining Software Repositories (MSR) field analyzes the rich data available in software repositories to uncover interesting and actionable information about software systems and projects. The goal of this two-day working conference is to advance the science and practice of MSR. More about ICSE 2012 and MSR 2012 here.

    Dra. Christina Chavez (LES/UFBA) will attend ICSE 2012 and MSR 2012.

    , , ,