INES – National Institute of Science and Technology for Software Engineering

RSS feed


Calendar

August 2010
M T W T F S S
« Jul   Sep »
 1
2345678
9101112131415
16171819202122
23242526272829
3031  

 
  • INES at ICTAC 2010

    (0)
    Publicado em August 18th, 2010Publications

    INES researchers Marcel Oliveira and Ivan Júnior had a paper accepted at ICTAC’2010 (International Colloquium on Theoretical Aspects of Computing – ictac2010.dimap.ufrn.br). They will will be presenting this paper in Natal, Brazsil, in September 2010.

    Publication’ details are:

    JU. S. da Costa, I. M. Júnior, and M. V. M. Oliveira. Specification and Verification of a MPI
    Implementation for a MP-SoC. In: 7th International Colloquium on Theoretical Aspects of Computing (ICTAC’2010), 2010, Natal. LNCS (Volume to be announced). Heidelberg : Springer-Verlag, 2010.

    Abstract: System-on-Chip is a solution that integrates several components of a computer into a single chip substrate. Those systems are generally targeted for embedded applications and can increase their  processing power by using multiple processors and an on-chip interconnection. STORM is a Multi-Processor System-on-Chip virtual platform which uses a basic implementation of the MPI standard to provide  communication among their applications. STORM implements a small set of MPI routines for essential point-to-point and collective communication in order to provide more programmability and portability for the  applications of the platform. In this work, we make use of CSP to build a formal model of those MPI routines and eliminate imprecision and ambiguities that may arise from their informal descriptions on the MPI  standard. Also, we use the FDR model checker to ensure that the implemented routines have no errors introduced during the development process.

  • UFPE and UFCG Researchers at CBSOFT 2010

    (0)
    Publicado em August 18th, 2010Uncategorized

    Márcio Cornélio, Rohit Gheyi, and Tiago Massoni (INES researchers), will attend the 1st Brazilian Conference on Software: Theory and Practice (CBSoft), from September 27th through October 1st. In this occasion, they will present a short course entitled “Java Modeling Language – JML”. This short course is part of the project “Making Program Evolution Safer“. Other researcher, Henrique Rebêlo (UFPE), will also attend CBSoft.

  • UFCG acquires equipment for INES Lab

    (0)
    Publicado em August 17th, 2010Expenses

    Researchers Tiago Massoni and Rohit Gheyi from UFCG are acquiring equipment from the Apple Store Brazil, in order to build the infrastructure for the INES lab, located at the University, and used buy 1 Phd, 2 Master and 2 IC students.

  • Project hires new researcher

    (0)
    Publicado em August 10th, 2010Uncategorized

    The project “Making Program Evolution Safer” hires one undergraduate researcher to work on algorithm techniques.

  • UFS is acquiring books

    (0)
    Publicado em August 6th, 2010Uncategorized

    The project “Software Productivity Laboratory Network” is acquiring books to support the research activities at UFS. These books will help the students in research and development in the project activities concerning the development and use of processes and tools for testing web applications.

  • Context group researcher participates at the Brazilian Conference on RFID

    (0)
    Publicado em August 6th, 2010Uncategorized

    The Brazilian Conference on Technology, Systems and Services with RFID will be held in Salvador-Bahia, in August, 26-29.

    The main purpose of the event is to bring together professionals, entrepreneurs, developers, technicians, researchers and investors seeking efficient and competitive technological solutions to meet the requirements of national and international markets. The lectures will be taught by renowned experts and users, who will testify the benefits of using RFID technology with the presentation of success stories.

    This event will be a great opportunity for researchers in the Context-Awareness Computing area to take advantage of the invited talks and lectures, learning from others’ experience. Besides, being at the conference 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”.

    ,
  • Tutorial on Software Architecture – Prof. Neno Medvidovic at LES @ UFBA

    (0)
    Publicado em August 4th, 2010News

    02.Aug.2010 – Prof. Neno Medvidovic presents a tutorial on Software Architecture at UFBA.

    Prof. Nenad Medvidovic, from USC, Los Angeles, is a visiting researcher for 3 weeks at UFBA, with INES support from the project “Models, Techniques and Tools for Software Evolution”.

    , ,
  • INES at SBCARS

    (0)
    Publicado em August 3rd, 2010Uncategorized

    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 will present four papers at Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS), event co-located with the Brazilian Conference on Software: Theory and Practice (CBSoft).

    Publication details:

    • Designing a set of Service-Oriented Systems as a Software Product Line. Flavio Medeiros (UFPE), Eduardo Almeida (UFBA), Silvio Meira (UFPE)
    • Designing Domain Architectures for Model-Driven Engineering. Daniel Lucrédio (UFSCar), Renata Fortes (USP-São Carlos), Eduardo Almeida (UFBA), Silvio Meira (UFPE)
    • A Regression Testing Approach for Software Product Lines Architectures. Paulo Anselmo (UFPE), Ivan Machado (UFBA), Yguarata Cavalcanti (UFPE), Vinicius Garcia (UFPE), Eduardo Almeida (UFBA), Silvio Meira (UFPE)
    • An Assessment on Technologies for Implementing Core Assets in Service-Oriented Product Lines. Heberth Ribeiro (UFPE), Vinicius Garcia (UFPE), Alexandre Alvaro (UFSCar-Sorocaba), Daniel Lucrédio (UFSCar), Vander Alves (UNB), Eduardo Almeida (UFBA), Silvio Meira (UFPE)
    ,
  • INES at BW-MDD@CBSoft

    (0)
    Publicado em August 3rd, 2010Uncategorized

    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 will present a paper at I Brazilian Workshop on Model-Driven Development, event co-located with the Brazilian Conference on Software: Theory and Practice (CBSoft).

    Publication details:

    Mapping Code Generation Templates to a Reference Implementation — Towards Automatic Code Migration
    from Daniel Lucrédio (UFSCar) and  Renata Fortes (ICMC/USP)

    ,
  • INES at CBSoft 2010

    (0)
    Publicado em August 3rd, 2010News, Publications

    TaRGeT, a tool developed in the INES project Tests Generation, Selection, Prioritization and Processing Product Line was selected for presentation at the CBSOFT 2010 Tools Session, at Salvador-BA.

    TaRGeT: a Model Based Product Line Testing Tool. Felype Ferreira (UFPE), Laís Neves (UFPE), Michelle Silva (UFPE) e Paulo Borba (UFPE).

    The project will support the participation of the authors at the event and making a banner for the tool.