INES – National Institute of Science and Technology for Software Engineering

RSS feed


January 2022
« Nov    

  • INES at 28th Symposium On Applied Computing (SAC’2013) – Programming Languages Track

    Publicado em February 22nd, 2013News, Publications

    The paper “Formal Semantics and Expressiveness of a Web Service Composition Language” by Marcelo Guerra Hahn, Microsoft Corp., USA; Regina Motz, INCO – UdelaR, Uruguay; Martin A. Musicante, DIMAp – UFRN, Brasil; Alberto Pardo, INCO – UdelaR, Uruguay has been accepted for publication in the Programming Languages (PL) Technical Track at the 28th Symposium On Applied Computing (SAC’2013).

    The conference will be held in March 18 – 22, 2013 at Institute of Engineering of the Polytechnic Institute of Coimbra (ISEC-IPC), Coimbra, Portugal.

    This activity is part of the project “Confiabilidade e Segurança em Software Crítico”.

    A brief overview of the paper is given next

    Web Services have become the standard for exposing services on the Internet. Since many operations require the collaboration between two or more services, the need to have languages to express Web Services compositions has emerged. In this paper, we focus on PEWS, a Web Service composition language. We present an operational semantics of PEWS and propose some minor extensions to it in order to support most common workflow patterns. The extended version of PEWS is able to fully support 36 out of the 43 control-flow patterns as defined in the literature, compared to 17 fully supported by the industry standard BPEL.

  • Researcher from PUC-Rio visits UFBA

    Publicado em November 16th, 2012News

    Prof. Alessandro Garcia is going to visit UFBA on December 15-18, 2012, and has meetings with researchers involved in the project “Concern-Driven Measurement of Software Modularity”, for instance, Claudio Sant’Anna (UFBA) and Christina Chavez (UFBA). The researchers will work on a joint paper as well as discuss ongoing research work in the context of the INES project.

    , ,
  • Researcher from UFCG visits UFBA

    Publicado em November 4th, 2012News

    Prof. Dalton Serey will visit UFBA on December 2-3, 2012, and has meetings with researchers involved in the project “Models, Techniques and Tools for Software Evolution”, for instance, Christina Chavez (UFBA) and Roberto Bittencourt (UEFS). The researchers will work on a joint paper as well as discuss ongoing research work in the context of the INES project.

  • INES at 2nd ERI-PE and 3rd WESS in Petrolina, PE

    Publicado em October 29th, 2012News

    INES supports the 2nd ERI-PE (Regional School of Informatics Pernambuco) and promotes the 3rd WESS (Sertão Software Engineering WorkShop) which will be held in December, 04-06, 2012, in the city of Petrolina, PE.

    The 2nd ERI-PE, given the National Education Plan and LDB, seeks to promote technological and scientific updating, disseminating research activities and encourage vanguard research among students, teachers and professionals in Information Technology.

    The 3rd WESS  aims to enable students and professionals in the region a deepening of knowledge, the convergence of interests and research on software engineering, as well as offering technological solutions to regional development.

  • INES researcher at SBQS’2012

    Publicado em April 30th, 2012Award

    Last year, Vinicius Cardoso Garcia, one of the researches responsible for the projet S.Ma.R.T – Social Machines Research Team won the Software Quality Thesis and Dissertations Competition (CTDQS’2011) – type PhD. CTDQS aims to promote and award the best M.Sc. dissertations and Ph.D. thesis in the field of software quality, defended and approved in Brazil during the year 2010.

    The CTDQS is also intended to encourage further work in postgraduate on Quality Software and stimulating University-Industry interaction in this area.

    As a prize for the award, Vinicius was invited to attend the SBQS’2012 in Fortaleza, with passages paid by the event sponsor.

    Besides, the following paper Agile Motodologies Adoption for Social Games Production with Distributed Teams (in portuguese) was accepted for publication at the conference.

    ANTUNES, Jamilson Batista; GOMES, João Emanoel Ambrósio; OTERO, Lenin Ernesto Abadié; GARCIA, Vinicius Cardoso; MEIRA, Silvio Romero de Lemos Meira. Adoção de Metodologias Ágeis para Produção de Jogos Sociais com Times Distribuídos. XI Simpósio Brasileiro de Qualidade de Software (SBQS), Fortaleza, Ceará, Brazil, 2012.

    This activity is part of the project  ”S.Ma.R.T – Social Machines Research Team“.

    , , ,
  • Investigating Algorithms, Techniques and Tools for Search Based Software Engineering

    Publicado em March 27th, 2012About the Institute, Award, Expenses, News, Projects, Uncategorized

    Search Based Software Engineering (SBSE) is an emerging field in which Software Engineering problems are reformulated and modeled as optimization problems, and subsequently are solved using concepts, techniques, algorithms and search strategies. The search goal is to identify, among all possible solutions, one that is good enough according to appropriate metrics. The reformulation allows that problems, previously resolved by adopting intensively manual and intuitive methods, can be solved wholly or partially in a systematic and automated way. In addition, SBSE can provide solutions to problems considered intractable by other methods and techniques of Software Engineering, often leading to innovative solutions, not anticipated or even imagined.

    In such a context, the aim of this project is to adopt, investigate, evaluate and develop SBSE concepts, algorithms, techniques and strategies in order to solve problems that arise in several areas of the Software Engineering discipline. The scope is widely open for different types of problems. However, initially, it focuses on developing approaches for composition, selection and allocation of software development teams, in both co-located and distributed settings. In particular, this project will take into account problems related to communication and coordination among software development teams, which are geographically distributed around the world. As widely known, such communication and coordination problems arises due to their different technical skills, and, mainly, conflicting cultural, social, organizational and even legal aspects, that, jointly, can significantly impact on software development cost, time and quality. Besides, the project also deals with problems related to search, selection and certification of software components in the context of Global Software Development (GSD) applied to Software Product Lines (SPL).

    , , ,
  • INES Researcher gets PhD

    Publicado em March 26th, 2012News, Uncategorized

    Antonio Soares de Azevedo Terceiro (DMCC-UFBA) has successfully presented his PhD viva examination, or thesis defence, “Characterizing the Evolution of Structural Complexity in Open Source Software Systems”, last Friday, March 23rd, 2012.

    The examiners were Prof. Dalton Guerrero (UFCG), Prof. Guilherme Travassos (UFRJ), and Profs. Claudio Sant’Anna, Eduardo Almeida and Christina Chavez (UFBA).

    Antonio’s advisors were Christina Chavez (advisor) and Manoel Mendonça (co-advisor). His work was supported by an one-year Fapesb scholarship, a three-year CNPq scholarship and also by the INES project “Models, Techniques and Tools for Software Evolution” (2009-2011).

    , , , ,
  • INES has a paper at ICSE’2012

    Publicado em March 19th, 2012News, Publications

    Researchers from the Evidence-Based Software Engineering Project have a full paper at the Software Engineering in Practice (SEIP) track of the 34th International Conference on Software Engineering (ICSE). The paper is entitled “On the Proactive and Interactive Visualization for Feature Evolution Comprehension: An Industrial Investigation” and is authored by Renato Lima Novais, Camila Nunes, Caio Lima, Elder Cirilo, Francisco Dantas, Alessandro Garcia, Manoel Mendonça. ICSE is the flagship conference on software engineering in the world.

    , , ,
  • INES at ABZ 2012

    Publicado em March 15th, 2012Expenses, News, Publications

    INES researchers Prof. David Deharbe and MSc student Haniel Barbosa have seen their submitted work selected for presentation and publication at ABZ 2012. The event will take place in Pisa, Italy, from June 18th to 21st, 2012 and will gather researchers interested in the formal methods ASM, Alloy, B, VDM and Z. ABZ 2012 will be organized jointly with iFM 2012 and is being held in honor of Prof. Egon Börger’s 65th birthday.

    Two papers were accepted. They are titled and authored respectively as follows:

    • SMT-Solvers for Rodin. D. Deharbe, P. Fontaine, Y. Guyot and L. Voisin.
    • Formal verication of PLC programs using the B Method. H. Barbosa and D. Deharbe.
  • INES at ICSE 2012

    Publicado em March 8th, 2012News

    INES researcher Uirá Kulesza will attend the 34th International Conference on Software Engineering (ICSE 2012), to be held in Zurich, Switzerland, in June 04-08, 2012.