2012 31st International
Conference of the Chilean
Computer Science Society
SCCC 2012
Table of Contents
Foreword......................................................................................................................................................................ix
Program Committees.................................................................................................................................................x
Programming Languages
Method Lookup Simulation with a Gradual Typing Language ......................................................................................1
Esteban Allende and Johan Fabry
Teaching in Computer Science
Validation Strategies of Competences in a Computer Science Curriculum ...................................................................9
Marcos A. Lévano and Oriel A. Herrera
Software Engineering
Selection of Software Development Good Practices in Micro and Small Enterprises:
An Approach Using Knowledge-Based Systems .........................................................................................................12
Ronney Moreira de Castro, José Luis Braga, Liziane Santos Soares,
and Alcione de Paiva Oliveira
A Systematic Review on Aspects in Software Architecture Design ............................................................................21
Kênia Santos de Oliveira and Michel dos Santos Soares
A Tool for Modeling Software Development Contexts in Small Software
Organizations ................................................................................................................................................................29
Daniel Ortega, Luis Silvestre, María Cecilia Bastarrica, and Sergio F. Ochoa
T2M and M2T Transformations between Software Processes and Software Process
Models ..........................................................................................................................................................................36
Aldo Bertero, Luis Silvestre, and María Cecilia Bastarrica
Inconsistency Recovery in Business Processes Using a Possibilistic WorkFlow Net .................................................41
Leiliane Pereira de Rezende, Stéphane Julia, and Janette Cardoso
v
Evaluating a Methodology to Establish Usability Heuristics .......................................................................................51
Cristhy Jiménez, Cristian Rusu, Silvana Roncagliolo, Rodolfo Inostroza,
and Virginica Rusu
Usability Heuristics Validation through Empirical Evidences: A Touchscreen-Based
Mobile Devices Proposal ..............................................................................................................................................60
Rodolfo Inostroza, Cristian Rusu, Silvana Roncagliolo, Cristhy Jiménez,
and Virginica Rusu
Computational Intelligence
Theoretical Basis of a New Method for DNA Fragment Assembly in k-mer Graphs .................................................69
Adriano Donato Couto, Fabio Ribeiro Cerqueira, Rafael Luciano Guerra,
Luciana Brugiolo Goncalves, Carlos de Castro Goulart, Rodrigo Siqueira-Batista,
Ricardo dos Santos Ferreira, and Alcione de Paiva Oliveira
Use of Backpropagation and Differential Evolution Algorithms to Training MLPs ...................................................78
Luiz Carlos Camargo, Hegler Correa Tissot, and Aurora Trinidad Ramirez Pozo
Online Ridge Regression Method Using Sliding Windows .........................................................................................87
Paola Arce and Luis Salinas
A Wavelet-Based Method for Time Series Forecasting ...............................................................................................91
Gabriela Dominguez, Miguel Guevara, Marcelo Mendoza, and Juan Zamora
Improved Binary Decision Diagram Constraint Propagation for Satisfiability Problems ...........................................95
Oswaldo Olivo and E. Allen Emerson
AntSeg: The Application of Ant Colony Optimization to Interactive Image
Segmentation ..............................................................................................................................................................105
Tiago Alexandre Beraldi Versuti, Franklin César Flores, Mauro Henrique Mulati,
and Airton Marco Polidorio
Semi-automatic Follow-Up of Graduates ...................................................................................................................114
Diego Fialho Rodrigues, Alcione de Paiva Oliveira, Jugurta Lisboa Filho,
and Alexandra Moreira
Distributed Planning in Processes Customization ......................................................................................................123
Tiago Furtado, Alcione de Paiva Oliveira, José Luis Braga, José Elias Claudio Arroyo,
and Vitor Gomes Ramalho
ARGOsearch: An Information Retrieval System Based on Text Similarity
and Extensible Relevance Criteria ..............................................................................................................................133
Eduardo Nunes Borges, Igor Avila Pereira, Caroline Tomasini, and André Prisco Vargas
Multi-objective Algorithms for the Single Machine Scheduling Problem
with Sequence-Dependent Family Setups ..................................................................................................................142
Marcelo Ferreira Rego, Marcone Jamilson Freitas Souza, and José Elias Claudio Arroyo
vi
System Software
GARP: A New Genetic Algorithm for the Unrelated Parallel Machine Scheduling
Problem with Setup Times .........................................................................................................................................152
Matheus Nohra Haddad, Igor Machado Coelho, Marcone Jamilson Freitas Souza,
Luiz Satoru Ochi, Haroldo Gambini Santos, and Alexandre Xavier Martins
Networking
Time Series Forecasting Methods for Creating Digital Signature of Network Segments
Using Flow Analysis ..................................................................................................................................................161
Marcos Vinicius Oliveira de Assis, Alexandro Marcelo Zacaron,
and Mario Lemes Proença Jr.
Ant Colony Optimization for Creating Digital Signature of Network Segments Using
Flow Analysis .............................................................................................................................................................171
Luiz Fernando Carvalho, Alexandro Marcelo Zacaron,
Mario Henrique Akihiko da Costa Adaniya, and Mario Lemes Proença Jr.
The UNB-RISC16 Object File Format .......................................................................................................................181
André Luiz Tinassi D’Amato, Linnyer Beatrys Ruiz, Anderson Faustino da Silva,
Juliano Henrique Foleiss, José Camargo Costa, and Rodrigo Hubner
A Detailed Analysis of the LLVM’s Register Allocators ..........................................................................................190
Tiago Cariolano de Souza Xavier, George Souza Oliveira, Ewerton Daniel de Lima,
and Anderson Faustino da Silva
Dynamic Binary Translation—A Model-Driven Approach .......................................................................................199
Juliano Henrique Foleiss, André Luis Tinassi D’Amato, and Anderson Faustino da Silva
Register Allocation by Evolutionary Algorithm .........................................................................................................207
Carla Négri Lintzmayer, Mauro Henrique Mulati, and Anderson Faustino da Silva
Atmospheric Model Cluster Performance Evaluation on Hybrid MPI/OpenMP/Cuda
Programming Model Platform ....................................................................................................................................216
C. Osthoff, R.P. Souto, P.L. Silva Dias, J. Panetta, and P. Lopes
I Chilean Workshop on User eXperience with Information Technology
(UXwIT 2012)
Development of Software that Supports the Improvement of the Empathy in Children
with Autism Spectrum Disorder .................................................................................................................................223
Roberto Muñoz, Thiago Barcelos, René Noël, and Sandra Kreisel
Improving Primary Health Services and Their User Experiences from Improving Their
Logistic and Operational Management .......................................................................................................................229
Cecilia Saint-Pierre and Rafael Epstein
vii
I Chilean Workshop on Pattern Recognition (CWPR 2012)
SoPD—A New Consensus Function for the Ensemble Clustering Problem ..............................................................234
Daniel Duarte Abdala and Xiaoyi Jiang
Sieve Bootstrap Prediction Intervals for Contamined BIP-ARMA Processes ...........................................................241
Gustavo Ulloa and Héctor Allende
I Chilean Workshop on Business Process Management (WBPM 2012)
Methodological Proposal of Requirements Engineering Aligning IS/IT to the Business
Strategy .......................................................................................................................................................................245
Ania Cravero
Modeling a Retailer B2B Integration Portal as Choreography Intermediary
with BPMN 2.0 Choreography Diagrams ..................................................................................................................247
Bernhard Hitpass and Juan Leiva
Author Index ............................................................................................................................................................253
viii