2013 27th Brazilian Symposium on Software Engineering (SBES 2013) Brasilia, Brazil 1-4 October 2013 IEEE Catalog Number: ISBN: CFP1368L-POD 978-1-4799- 2013 27th Brazilian Symposium on Software Engineering SBES 2013 Table of Contents Foreword...............................................................................................................................................vii Organizing Committee........................................................................................................................viii Technical Committees, Program Committee, and External Reviewers...................................................................................................ix Invited Keynotes..................................................................................................................................xiii Technical Papers Criteria for Comparison of Aspect-Oriented Requirements Engineering Approaches .............................................................................................................................................1 Paulo Afonso Parreira Júnior and Rosângela Aparecida Dellosso Penteado Using Tranformation Rules to Align Requirements and Archictectural Models ..................................................................................................................................................11 Monique Conceição Soares, Carla Taciana Lima Lourenço Silva Schuenemann, Gabriela Guedes De Souza, Jaelson Freire Brelaz De Castro, Cleice Talitha Nascimento Souza, and Tarcisio Couto Pereira An Automatic Approach to Detect Traceability Links Using Fuzzy Logic .............................................21 Andre Di Thommazo, Thiago Ribeiro, Guilherme Olivatto, Vera Werneck, and Sandra Fabbri Determining Integration and Test Orders in the Presence of Modularization Restrictions ...........................................................................................................................................31 Wesley Klewerton Guez Assunção, Thelma Colanzi, Silvia Vergilio, and Aurora Pozo Functional Validation Driven by Automated Tests ................................................................................41 Thiago Delgado Pinto and Arndt Von Staa Visualization, Analysis, and Testing of Java and AspectJ Programs with Multi-level System Graphs ............................................................................................................49 Otávio Augusto Lazzarini Lemos, Felipe Capodifoglio Zanichelli, Robson Rigatto, Fabiano Ferrari, and Sudipto Ghosh v A Method for Model Checking Context-Aware Exception Handling .....................................................59 Lincoln S. Rocha, Rossana M.C. Andrade, and Alessandro F. Garcia Prioritization of Code Anomalies Based on Architecture Sensitiveness ...............................................69 Roberta Arcoverde, Everton Guimarães, Isela Macía, Alessandro Garcia, and Yuanfang Cai Are Domain-Specific Detection Strategies for Code Anomalies Reusable? An Industry Multi-project Study .............................................................................................................79 Alexandre Leite Silva, Alessandro Garcia, Elder José Reioli, and Carlos José Pereira De Lucena F3T: From Features to Frameworks Tool .............................................................................................89 Matheus Viana, Rosângela Penteado, Antônio Do Prado, and Rafael Durelli A Metric of Software Size as a Tool for IT Governance .......................................................................99 Marcus Vinícius Borela De Castro and Carlos Alberto Mamede Hernandes An Approach to Business Processes Decomposition for Cloud Deployment .....................................109 Lucas Venezian Povoa, Wanderley Lopes De Souza, Luís Ferreira Pires, Evert F. Duipmans, and Antonio Francisco Do Prado On the Influence of Model Structure and Test Case Profile on the Prioritization of Test Cases in the Context of Model-Based Testing ............................................119 João Felipe S. Ouriques, Emanuela G. Cartaxo, and Patrícia D.L. Machado The Impact of Scrum on Customer Satisfaction: An Empirical Study .................................................129 Bruno Cartaxo, Allan Araújo, Antonio Sá Barreto, and Sérgio Soares Identifying a Subset of TMMi Practices to Establish a Streamlined Software Testing Process ..................................................................................................................................137 Kamilla Gomes Camargo, Fabiano Cutigi Ferrari, and Sandra Camargo Pinto Ferraz Fabbri On the Relationship between Features Granularity and Non-conformities in Software Product Lines: An Exploratory Study ...............................................................................147 Iuri Santos Souza, Rosemeire Fiaccone, Raphael Pereira De Oliveira, and Eduardo Santana De Almeida An Extended Assessment of Data-Driven Bayesian Networks in Software Effort Prediction ..................................................................................................................................157 Ivan A.P. Tierno and Daltro J.Nunes Author Index ......................................................................................................................................167 vi