st International Conference of the Chilean Computer Science Society

Transcription

1 st International Conference of the Chilean Computer Science Society (SCCC 2012) Valparaiso, Chile November 2012 IEEE Catalog Number: ISBN: CFP12139-POD

2 st 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

3 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 Tiago Alexandre Beraldi Versuti, Franklin César Flores, Mauro Henrique Mulati, and Airton Marco Polidorio Semi-automatic Follow-Up of Graduates Diego Fialho Rodrigues, Alcione de Paiva Oliveira, Jugurta Lisboa Filho, and Alexandra Moreira Distributed Planning in Processes Customization 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 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 Marcelo Ferreira Rego, Marcone Jamilson Freitas Souza, and José Elias Claudio Arroyo vi

4 System Software GARP: A New Genetic Algorithm for the Unrelated Parallel Machine Scheduling Problem with Setup Times 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 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 Luiz Fernando Carvalho, Alexandro Marcelo Zacaron, Mario Henrique Akihiko da Costa Adaniya, and Mario Lemes Proença Jr. The UNB-RISC16 Object File Format 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 Tiago Cariolano de Souza Xavier, George Souza Oliveira, Ewerton Daniel de Lima, and Anderson Faustino da Silva Dynamic Binary Translation A Model-Driven Approach Juliano Henrique Foleiss, André Luis Tinassi D Amato, and Anderson Faustino da Silva Register Allocation by Evolutionary Algorithm 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 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 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 Cecilia Saint-Pierre and Rafael Epstein vii

5 I Chilean Workshop on Pattern Recognition (CWPR 2012) SoPD A New Consensus Function for the Ensemble Clustering Problem Daniel Duarte Abdala and Xiaoyi Jiang Sieve Bootstrap Prediction Intervals for Contamined BIP-ARMA Processes 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 Ania Cravero Modeling a Retailer B2B Integration Portal as Choreography Intermediary with BPMN 2.0 Choreography Diagrams Bernhard Hitpass and Juan Leiva Author Index viii