INES – National Institute of Science and Technology for Software Engineering

INES at ESEM 2012

INES researchers of the project Combining Formal Methods and Testing in the Development of Real-Time Embeded Systems had a paper accepted at the Empirical Software Engineering and Measurement (ESEM’12) with the paper Recommender Systems for Manual Testing: Deciding How to Assign Tests in a Test Team by Breno Miranda, Eduardo Aranha and Juliano Iyoda.

Programming Winter Course

INES at MASCOTS (2012)

Researchers from the project “SSD Cache”, performed by CESAR and HP teams in 2011 and partially supported by INES, will present the poster titled “Analysis of Prediction and Replacement Algorithms applied to Real Workload for Storage Devices” at MASCOTS 2012. Mascots 2012 is the IEEE 20th International Symposium on Modeling, Analysis and Simulation of Computer and Telecom System and will happen in Arlington, Virgina, USA, from August, 7th to 9th. This work is part of the project “S.Ma.R.T – Social Machines Research Team“.

INES at IDEAL 2012

The paper titled “A Dilation-Erosion-Linear Perceptron for Bovespa Index Prediction” has been accepted as full paper in the International Conference on Intelligent Data Engineering and Automated Learning (IDEAL2012).The congress will be held in  Natal, RN, Brasil. In this work an artificial neuron with gradient-based learning was proposed to solve prediction problems. This work is part of the project “Software Project Effort Estimation with Computational Intelligence and Statistics“.

INES at CSBC 2012

Prof. Dinani Amorim, INES reseacher and Adjunct of the Pernambuco SBC Regional Secretary, will attend CSBC 2012 (XXXII Brazilian Computer Society Congress). Prof. Dinani will represent the Pernambuco Regional Secretary at the annual meeting.

INES @ SEFM 2012

INES researchers members from the project Trust and Safety of Critical System had an accepted paper at the 10^th International Conference on Software Engineering and Formal Methods (SEFM 2012) with the paper “Implementing Tactics of Refinement in CRefine” by Madiel Filho and Marcel Oliveira.

UFBA is aquiring equipments

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 aquiring equipments (refrigerators) for the university.

SPLab/UFCG acquires new equipment

The project Reliability and Safety of Critical Embedded Software is acquiring new equipment and cables for the Software Practices Laboratory at UFCG.