INES – National Institute of Science and Technology for Software Engineering

INES at VaMoS 2011

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

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

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

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

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

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

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

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

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

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.