INES - National Institute of Science and Technology for Software Engineering

RSS feed


Calendar

December 2010
M T W T F S S
« Nov   Jan »
 12345
6789101112
13141516171819
20212223242526
2728293031  

 
  • INES at VaMoS 2011

    (0)
    Publicado em December 19th, 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 has an accepted paper at 5th International Workshop on Variability Modelling of Software-intensive Systems (VaMoS).

    Publication details: Yguaratã Cavalcanti, Ivan Machado, Paulo Neto, Luanna Lobato, Eduardo Almeida and Silvio Romero de Lemos Meira. Towards Metamodel Support for Variability and Traceability in Software Product Line.

    ,
  • INES at Desafios de Programação no Verão

    (0)
    Publicado em December 16th, 2010Uncategorized

    Phyllipe César from Federal University of Campina Grande is going to attend Desafios de Programação no Verão in São Paulo (IME/USP) from January 10th to February 04th.

  • Another visit to UFCG

    (0)
    Publicado em December 15th, 2010Uncategorized

    The PhD student Leopoldo Teixeira from Federal University of Pernambuco is going to visit UFCG from 10th to 14th January to work with the professor Rohit Gheyi.

  • Member of CIn/UFPE visits UFCG

    (0)
    Publicado em December 10th, 2010Uncategorized

    The master student Felype Santiago from Federal University of Pernambuco is going to visit UFCG from 14th to 17th December to work with his co-advisor, the professor Rohit Gheyi.

  • 7 new Ph.D. researchers and one new Federal University from Northeast join INES

    (0)
    Publicado em December 9th, 2010Uncategorized

    7 new PhD researchers and one new Federal University (UFPI) had joined the National Institute of Science and Technology for Software Engineering - INES. UFPI is the eleventh institution from the Northeast of Brazil that joins INES (originally founded by nine northeastern institutions).

    Such researchers and institution joined INES through projects from the CNPq’s Brazilian Grand Challenges for Computer Science projects call.

    The list of researchers is available here and the list of projects here.

  • INES and the Brazilian Grand Challenges for Computer Science

    (0)
    Publicado em December 8th, 2010Uncategorized

    INES researchers approve 5 grants at the Brazilian Grand Challenges for Computer Science projects call. This call is funded by CNPq – National Council for Scientific and Technological Development.

    The projects coordinators are Professors Ana Carolina Salgado (UFPE), Augusto Sampaio (UFPE), Eduardo Almeida (UFBA), Paulo Borba (UFPE), and Pedro de Alcântara Neto (UFPI).

    The result can be found here.

  • Embedded Systems Testing Lab

    (0)
    Publicado em December 8th, 2010Uncategorized

    INES at UFCG is acquiring equipement for testing real-time systems software in the FreeRTOS environment. This is the last step of a series of techniques and tools developed for test case generation and execution for these kind of system.

  • Equipament Imported to UFRN

    (0)
    Publicado em December 7th, 2010Expenses

    UFRN has acquired equipments that will be used in the development of the projects on which UFRN plays a role.

  • INES at Information and Software Technology (IST) Journal

    (0)
    Publicado em December 5th, 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 has an accepted paper at Information and Software Technology Journal (IST) published by Elsevier.

    Publication details: Paulo A. M. S. Neto, Ivan. C. Machado, J. D. McGregor, Eduardo Almeida, Silvio Meira, A Systematic Mapping Study of Software Product Lines Testing.

    ,
  • INES at SBIE 2010 - three papers, one awarded

    (0)
    Publicado em December 1st, 2010Award, News, Publications

    INES presented three papers at the 21a edition of the “Simpósio Brasileiro de Informática na Educação - SBIE 2010″ (Brasilian Computer Education Conference). This conference held in November, 23, in the city of João Pessoa, PB (http://www.ccae.ufpb.br/sbie2010/).

    One of these papers was awarded and represent the results from the work-in-progress related to the INES project  “Desenvolvimento Dirigido por Modelos e Ontologias na construção de aplicações educacionais” (Model and Ontologies Driven Development in the construction of educational application).

    Papers:
    (i) Awarded - “Amadeus and IMS Learning Design: interoperability and reusability in a second generation virtual learning environment”
    (Amadeus e IMS Learning Design: interoperabilidade e reutilização em um ambiente virtual de 2ª geração)

    Authors
    Alexsander Toledo, Webber Fantini, Edilson Silva, Alex Gomes  - Centro de Informática (CIn), Universidade Federal de Pernambuco (UFPE), PE.
    Ricardo Amorim, Dinani Amorim - Colegiado de Ciência da Computação, Faculdade de Ciências Aplicadas e Sociais de Petrolina (FACAPE), PE, e Universidade do Estado da Bahia (UNEB), BA.

    Abstract
    This work is centered in the adaptation of a learning management platform to the use of an educational ontology based on IMS LD specification. With this end, we made a mapping of concepts between ontology and platform, which are represented using database technology. After that, we defined the requirements for adapting the architecture and interfaces for the manipulation of IMS LD units of learning. The use of the ontology facilitates the manipulation of these units and the development of applications that implement IMS LD.

    (ii) “Development of a Framework for Quality Instructional Design Ontologies”

    Authors
    Xin Li - Elearning Development – McGirr Associates – Wellington – New Zealand
    Ricardo Amorim - Colegiado de Ciência da Computação, Faculdade de Ciências
    Aplicadas e Sociais de Petrolina, PE e Universidade do Estado da Bahia, BA

    Abstract
    This paper proposes a framework for evaluating of quality, and guidance in an Instructional Design (ID) ontology development. A systematic search of the e-learning ontologies literature revealed key characteristics and issues relating to the intended purposes of ID ontologies. A synthesis of it contributed to identifying the four crucial elements of Reusability, Personalisation, Quality Assurance  and Applicability which was identified as relevant to the modelling, validation and execution processes  of the ontology development. The use of this framework would first, inform the development of a quality ID ontology that would meet the needs of both learners and ID authors and second, serve as a guide in evaluating different ID ontologies.

    (iii) “A MDA solution based on Ontologies in the building of authoring tools for Units of Learning”
    (Uma solução MDA baseada em Ontologias na construção de ferramentas de autoria para Unidades de Aprendizagem)

    Authors
    George Pacheco Pinto - Núcleo Interdepartamental de Pesquisa em Redes de Computadores (NUPERC), Universidade Salvador (UNIFACS) – Salvador, BA – Brasil

    Laís do Nascimento Salvador - Departamento Ciência da Computação (DCC), Universidade Federal da Bahia (UFBA) Salvador, BA – Brasil

    Ricardo Amorim - Departamento de Educação e Colegiado de Computação, Universidade do Estado da Bahia (UNEB) e Faculdade de Ciências Aplicadas e Sociais de Petrolina (FACAPE) - Petrolina, PE – Brasil

    Abstract
    In this paper, we present a prototype tool, MDAOnto, which uses domain ontology as the main element in the creation of CIM (Computer Independent Model) in an MDA (Model-Driven Architecture) approach. We describe the proposed approach as well as a use scenario in order to show how MDAOnto works with an educational domain ontology based on IMS LD specification.