23. SEKE 2011: Miami Beach, FL, USA
Proceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering (SEKE'2011), Eden Roc Renaissance, Miami Beach, USA, July 7-9, 2011. Knowledge Systems Institute Graduate School 2011 ISBN 1-891706-29-2
Keynote
S. Sitharama Iyengar: Sustainable Software Systems for Real Time Applications.
Bao-Shuh Lin: Applications & Services Exploration for the Broadband Mobile Systems.
Slow Intelligence System
Shi-Kuo Chang, Yingze Wang, Yao Sun: Visual Specification of Component-based Slow Intelligence Systems. 1-8
Shi-Kuo Chang, Yao Sun, Yingze Wang, Chia Chun Shih, Ting-Chun Peng: Design of Component-based Slow Intelligence Systems and Application to Social Influence Analysis. 9-16
Francesco Colace, Massimo De Santo: Slow Intelligence System and Network Management: a case study. 17-24
Software Quality
Filip Radulovic, Raul Garcia-Castro: Extending Software Quality Models - A Sample In The Domain of Semantic Technologies. 25-30
Cleriston Araujo Chiuchi, Rogéria Cristiane Gratão de Souza, Adriana Barbosa Santos, Carlos Roberto Valêncio: Efficiency and portability: guidelines to develop websites. 37-41
Model-Driven Development
Marília Aranha Freire, Fellipe Araújo Aleixo, Uirá Kulesza, Eduardo Aranha, Roberta Coelho: Automatic Deployment and Monitoring of Software Processes: A Model-Driven Approach. 42-47
Junbeom Yoo, Jong-Hoon Lee, Sehun Jeong, Sung Deok Cha: FBDtoVerilog: A Vendor-Independent Translation from FBDs into Verilog Programs. 48-51
Mark Allison, Andrew A. Allen, Zhenyu Yang, Peter J. Clarke: A Software Engineering Approach to User-Driven Control of the Microgrid. 59-64
Software Engineering with Comp. Intelligence & Machine Learning
Taghi M. Khoshgoftaar, Kehan Gao, Amri Napolitano: A Comparative Study of Different Strategies for Predicting Software Quality. 65-70
Marek Reformat, Sonal Patel: Criteria of Human Software Evaluation: Feature Selection Approach. 71-76
Keith Cassell, Peter Andreae, Lindsay Groves: A Dual Clustering Approach to the Extract Class Refactoring. 77-82
Huanjing Wang, Taghi M. Khoshgoftaar, Amri Napolitano: An Empirical Study of Software Metrics Selection Using Support Vector Machine. 83-88
Kehan Gao, Taghi M. Khoshgoftaar: Software Defect Prediction for High-Dimensional and Class-Imbalanced Data. 89-94
Leon Wu, Boyi Xie, Gail E. Kaiser, Rebecca J. Passonneau: BUGMINER: Software Reliability Analysis Via Data Mining of Bug Reports. 95-100
Formal Methods
Fang Deng, Haiwen Liu, Jin Shao, Qianxiang Wang: Specification and Runtime Verification of API Constraints on Interacting Objects. 101-106
Sachoun Park, Gihwon Kwon: Applying Lightweight Formal Approach to Automatic Configuration Inspection. 107-110
Neelam Soundarajan, Derek Bronish, Raffi Khatchadourian: Formalizing Reusable Aspect-Oriented Concurrency Control. 111-114
Concurrent Software

Jinan Sun, Yu Huang, Xin Gao, Shikun Zhang, Lifu Wang, Chong-Yi Yuan: A Novel Method for Formally Detecting RFID Event Using Petri Nets. 122-125
Knowledge Engineering Tools and Techniques
Riccardo Martoglia: Facilitate IT-Providing SMEs in Software Development: a Semantic Helper for Filtering and Searching Knowledge. 130-136
Du Zhang: Inconsistency-Induced Heuristics for Problem Solving. 137-142
Nicolas Prat, Jacky Akoka, Isabelle Comyn-Wattiau: Mapping CommonKADS Knowledge Models into PRR. 143-148
Geraldo Boz Jr., Milton Pires Ramos, Gilson Yukio Sato, Cesar Augusto Tacla, Júlio C. Nievola, Emerson Cabrera Paraiso: A Virtual Catalyst in the Knowledge Acquisition Process. 149-152
Harmeet Chawla, Haiping Xu, MengChu Zhou: A Real-Time Reliability Model for Ontology-Based Dynamic Web Service Composition. 153-158
Jie Gao, Hankz Hankui Zhuo, Dao-jun Han, Lei Li: Learning action models with indeterminate effects. 159-162
Marcus de Melo Braga, Mario Antonio Ribeiro Dantas: Fraud Detection in Selection Exams Using Knowledge Engineering Tools. 163-168
Rafael Andrade, M. A. R. Dantas, Fernando Costa Bertoldi, Aldo von Wangenheim: An approach for retrieval and knowledge communication using medical documents. 169-174
Semantic Web Technologies
Gang Liu, Ruili Wang, Jeremy Buckley, Helen Min Zhou: A WordNet-based Semantic Similarity Measure Enhanced by Internet-based Knowledge. 175-178
Bruno Nandolpho Machado, Lucas de Oliveira Arantes, Ricardo de Almeida Falbo: Using Semantic Annotations for Supporting Requirements Evolution. 185-190
Software Testing and Debugging

Lei Zhao, Zhenyu Zhang, Lina Wang, Xiaodan Yin: PAFL: Fault Localization via Noise Reduction on Coverage Vector. 203-206
Simone do Rocio Senger de Souza, Paulo Sergio Lopes de Souza, Mario C. C. Machado, Mário S. Camillo, Adenilso da Silva Simão, Ed Zaluska: Using Coverage and Reachability Testing to Improve Concurrent Program Testing Quality. 207-212
Wanzhi Wen, Bixin Li, Xiaobing Sun, Jiakai Li: Program slicing spectrum-based software fault localization. 213-218
Sergiy Vilkomir, Ali Asghary Karahroudy, Nasseh Tabrizi: Interface Testing Using a Subgraph Splitting Algorithm: A Case Study. 219-224
Mahdi Noorian, Ebrahim Bagheri, Weichang Du: Machine Learning-based Software Testing: Towards a Classification Framework. 225-229
Chuanqi Tao, Bixin Li, Jerry Gao: A Model-based Approach to Regression Testing of Component-based Software. 230-237
Peggy Cellier, Mireille Ducassé, Sébastien Ferré, Olivier Ridoux: Multiple Fault Localization with Data Mining. 238-243
Leon Wu Gail Kaiser: Constructing Subtle Concurrency Bugs Using Synchronization-Centric Second-Order Mutation Operators. 244-249
Automated Software Testing
Flávia A. Barros, Lais Neves, Erica Hori, Dante Torres: The ucsCNL: A Controlled Natural Language for Use Case Specifications. 250-253
Zhengshan Wang, Bixin Li, Lulu Wang, Qiao Li: A Brief Survey on Automatic Integration Test Order Generation. 254-257
Maicon B. da Silveira, Elder de M. Rodrigues, Avelino F. Zorzo, Leandro T. Costa, Hugo V. Vieira, Flávio M. de Oliveira: Generation of Scripts for Performance Testing Based on UML Models. 258-263
Software Engineering Case Studies and Experience Reports

Yan Liu, Ian Gorton, Yousu Chen, Shuangshuang Jin: Designing a Distributed Systems Architecture Testbed for Real-Time Power Grid Systems. 268-271
Rodrigo Pereira dos Santos, Cláudia Werner, Heitor Costa, Simone Vasconcelos: Supporting Software Engineering Education through a Learning Objects and Experience Reports Repository. 272-275
Emil Börjesson, Robert Feldt: Structuring Software Engineering Case Studies to Cover Multiple Perspectives. 276-281
Carmelo Ardito, Paolo Buono, Danilo Caivano, Maria Francesca Costabile, Rosa Lanzilotti, Anders Bruun, Jan Stage: Usability evaluation: a survey of software development organizations. 282-287
Antonio Juarez Alencar, Gustavo Taveira, Eber Assis Schmitz, Angelica Fonseca da Silva Dias, Alexandre L. Correa: Maximizing the Financial Benefits Yielded by IT Projects While Ensuring their Strategic Fit. 288-295
Embedded, Pervasive, and Ubiquitous Software
Zebin Chen, Stephen Fickas: Model Checking Framework-based Applications with AspectJ Assistance. 296-301
Matthieu Faure, Luc Fabresse, Marianne Huchard, Christelle Urtado, Sylvain Vauttier: User-defined Scenarios in Ubiquitous Environments: Creation, Execution Control and Sharing. 302-307
Reng Zeng, Yu Huang, Su Liu, Peter J. Clarke, Xudong He, Gwendolyn W. van der Linden, Jon L. Ebert: SC-xScript: An Embedded Script Language for Scientific Computation in Embedded Systems. 308-314
Ichiro Satoh: Context-aware Services for Multiple-Users. 315-318
Swapan Bhattacharya, Jayeeta Chanda, Sabnam Sengupta, Ananya Kanjilal: Dynamic Service Choreography using Context Aware Enterprise Service Bus. 319-324
Software Project Management
Rogéria Cristiane Gratão de Souza, Antonio Marcos Neves Esteca, Adriana Barbosa Santos, Carlos Roberto Valêncio, Marcelo Takeshi Honda: Web System to Aid Project Management. 325-330
Cagatay Catal, Mehmet S. Aktas: A Composite Project Effort Estimation Approach in an Enterprise Software Development Project. 331-334
Andreas Gregoriades, Vicky Papadopoulou Lesta, Petros Petrides: Project Risk Management Using Event Calculus(S). 335-338
Shuib Basri, Rory V. O'Connor: The Impact of Software Development Team Dynamics on the Knowledge Management Process(S). 339-342
Knowledge Acquisition
Hao Han: Quick Acquisition of Topic-based Information/Knowledge from News Site Databases. 343-348
Bruno Antunes, Joel Cordeiro, Pedro Costa, Paulo Gomes: Using Contextual Information to Improve Awareness in Software Development(S). 349-352
Shahab Mokarizadeh, Peep Küngas, Mihhail Matskin: Evaluation of Semi-Automatic Acquisition of Semantic Descriptions of Web Services(S). 353-356
Knowledge Representation and Visualization
Simon Suigen Guo, Christine W. Chan: A Comparison and Analysis of Some Ontology Visualization Tools. 357-362
Samir Atitallah, Omar Abou Khaled, Maria Sokhn, Elena Mugellini: Knowledge management in next generation networks. 363-368
H. Andrés Melgar S., Fabiano Duarte Beppler, Roberto C. S. Pacheco, José Leomar Todesco: A Model for Knowledge Retrieval based on Semantic Images(S). 369-372
Web and Data Mining

Eya Ben Ahmed, Ahlem Nabli, Faïez Gargouri: Cyclic Association Rules: Coupling Between Dimensions With Measures. 379-384
Giovanni Quattrone, Emilio Ferrara, Pasquale De Meo, Licia Capra: Measuring Similarity in Large-scale Folksonomies. 385-391
Johann Grabner, Andreas Mauczka, Mario Bernhart, Thomas Grechenig: Exploiting semantic aspects to evolve a text-based search on a legacy document management system. 392-397
Ontologies and Methodologies
Jone Correia, Rosario Girardi, Carla Gomes de Faria: Extracting Ontology Hierarchies From Text(S). 398-401
Katarina Grolinger, Kevin P. Brown, Miriam A. M. Capretz: From Glossaries to Ontologies: Disaster Management Domain(S). 402-407
Lilian Passos Scatalon, Rogério Eduardo Garcia, Ronaldo Celso Messias Correia: Packaging Controlled Experiments Using an Evolutionary Approach Based on Ontology(S). 408-413
Qing Zhou, Alexander J. Wiebe, Christine W. Chan: Knowledge Engineering in the domain of Carbon Dioxide Capture Process System . 414-419
Software Maintenance and Evolution
Mehwish Riaz, Emilia Mendes, Ewan D. Tempero: Maintainability Predictors for Relational Database-Driven Software Applications: Results from a Survey. 420-425
Kaiping Liu, Hee Beng Kuan Tan, Xu Chen, Hongyu Zhang, Bindu Padmanabhuni: Automated Extraction of Data Lifecycle Support from Database Applications. 432-437
Measurement & Empirical Soft. Engineering
José Luis de la Vara, Krzysztof Wnuk, Richard Berntsson-Svensson, Juan Sánchez, Björn Regnell: An Empirical Study on the Importance of Quality Requirements in Industry. 438-443
Henrique Rebêlo, Ricardo Massa Ferreira Lima, Uirá Kulesza, Cláudio Sant'Anna, Roberta Coelho, Alexandre Mota, Márcio Ribeiro, Cesar A. L. Oliveira: Assessing the Impact of Aspects on Design By Contract Effort: A Quantitative Study. 450-455
Ilenia Fronza, Alberto Sillitti, Giancarlo Succi, Jelena Vlasenko: Failure Prediction based on Log Files Using the Cox Proportional Hazard Model. 456-461
D. Günther, Robert Neumann, Konstantina Georgieva, Reiner R. Dumke: Causal Networks Based Process Improvement. 462-465
Frank Tsui, Abdolrashid Gharaat, Sheryl Duggins, Edward Jung: Measuring Levels of Abstraction in Software Development. 466-469
Ismayle de Sousa Santos, Alcemir Rodrigues Santos, Pedro de Alcântara dos Santos Neto: Reusing Functional Testing in order to Decrease Performance and Stress Testing Costs. 470-474
Mourad Badri, Fadel Touré: Empirical Analysis for Investigating the Effect of Control Flow Dependencies on Testability of Classes. 475-480
Marcello Thiry, Alessandra Zoucas, Antônio C. da Silva: Empirical study upon software testing learning with support from educational game. 481-484
Sousuke Amasaki: A Study on Performance Inconsistency between Estimation by Analogy and Linear Regression. 485-488
Component-Based Software Engineering
Sibo Cai, Yanzhen Zou, Lijie Wang, Bing Xie, Weizhong Shao: Recommending Component by Citation: A Semi-supervised Approach for Determination. 489-494
Jerry Gao, Jing Guan, Alex Ma, Chuanqi Tao, Xiaoying Bai, David Chenho Kung: Testing Configurable Component-Based Software - Configuration Test Modeling and Complexity Analysis. 495-502
Thomas A. Alspaugh, Hazeline U. Asuncion, Walt Scacchi: Presenting Software License Conflicts through Argumentation. 509-514
Abdelhak-Djamel Seriai, Sylvain Chardigny: A Genetic Approach for Software Architecture Recovery from Object-Oriented Code. 515-520
Adaptive and Self-Managing Software
David Villegas, Seyed Masoud Sadjadi: Mapping non-functional requirements to cloud applications. 527-532
Sheila Mendez Nunez, Francisco Ortin, Miguel García, Vicente García-Díaz: Computational Reflection in order to support Context-Awareness in a Robotics Framework. 533-538
Yi Guo, XinJun Mao, Cuiyun Hu, Junwen Yin, Jiang Cao: A Survey of Software Engineering for Self-Organization Systems. 539-542
Michael E. Shin, Poonam Mane: Self-Management of External Device Failures in Embedded Software Systems. 543-546
Xiangping Chen, Gang Huang, Lingshuang Shao: Towards Modeling and Validating Analysis Processes for Software Adaptation. 547-552
Filip Krikava, Philippe Collet: A Reflective Model for Architecting Feedback Control Systems. 553-559
Xabriel J. Collazo-Mojica, Seyed Masoud Sadjadi: A Metamodel for Distributed Ensembles of Virtual Appliances. 560-565
Service-Oriented Architecture
Matthias Geiger, Andreas Schönberger, Guido Wirtz: Towards Automated Conformance Checking of ebBP-ST Choreographies and Corresponding WS-BPEL Based Orchestrations. 566-571
Huiqun Yu, Dongmei Liu, Guisheng Fan, Liqiong Chen: A Regression Test Technique for Analyzing the Functionalities of Service Composition. 578-582
Agile-Based Software Engineering
Viviane A. Santos, Alfredo Goldman, Ana Carolina M. Shinoda, André L. Fischer: A view towards Organizational Learning: An empirical study on Scrum implementation. 583-589
Vinícius Augusto Tagliatti Zani, Daniel Feitosa, Elisa Yumi Nakagawa: Current State of Reference Architectures in the Context of Agile Methodologies. 590-595
Patricia Vilain, Alexandre Jonatan B. Martins: Neglecting Agile Principles and Practices: A Case Study. 596-601
Software Engineering Tools and Environments
Maria Grazia Fugini, Filippo Ramoni, Ronald Israels, Claudia Raibulet, Ovidiu Constantin: Simulations of Risks for Monitoring and Prevention. 602-607
Richard Mordinyi, Thomas Moser, Stefan Biffl, Deepak Dhungana: Flexible Support for Adaptable Software and Systems Engineering Processes. 608-612
Aditya Budi, Lucia, David Lo, Lingxiao Jiang, Shaowei Wang: Automated Detection of Likely Design Flaws in N-Tier Architectures. 613-618
Software Dependability and Reliability
Aly Farahat, Ali Ebnenasir: Exploiting Computational Redundancy for Efficient Recovery from Soft Errors in Sensor Nodes. 619-624
Chunli Xie, Bixin Li, Xifeng Wang: A Web Service Reliability Model Based on Birth-Death Process. 625-628
Derek Doran, Matthew Tran, Lance Fiondella, Swapna S. Gokhale: Architecture-based Reliability Analysis With Uncertain Parameters. 629-634
Rehab El-Kharboutly, Swapna S. Gokhale: Architecture-based Reliability Analysis of Concurrent Software Applications using Stochastic Reward Nets. 635-639
Software Process Modeling & Maturity
Irina Diana Coman, Alberto Sillitti, Giancarlo Succi: Ensuring Continuous Data Accuracy in AISEMA Systems. 640-645
Samba Diaw, Rédouane Lbath, Bernard Coulette: Specification and Implementation of SPEM4MDE, a metamodel for MDE software processes. 646-653
Artini M. Lemos, Caio C. Sabino, Ricardo Massa Ferreira Lima, Cesar A. L. Oliveira: Conformance Checking of Software Development Processes Through Process Mining. 654-659
Raul Garcia-Castro: SET-MM - A Software Evaluation Technology Maturity Model. 660-665
Software Security
Sangsig Kim, Yen-Ting Lee, Yuanlin Zhu, Dae-Kyoo Kim, Lunjin Lu, Vijayan Sugumaran: A Feature-Based Modeling Approach to Configuring Privacy and Temporality in RBAC. 666-671
Rosana Wagner, Lisandra Manzoni Fontoura, Adriano Brum Fontoura: Using Security Patterns to Tailor Software Process. 672-677
Michael Sanford, Daniel Woodraska, Dianxiang Xu: Security Analysis of FileZilla Server Using Threat Models. 678-682
Keiko Hashizume, Eduardo B. Fernández, Nobukazu Yoshioka: Misuse Patterns for Cloud Computing. 683-686
Software Product Lines and Tools
Edson Alves de Oliveira Junior, Itana Maria de Souza Gimenes, José Carlos Maldonado: A Meta-Process to Support Trade-Off Analysis in Software Product Line Architecture. 687-692
Thibaut Possompes, Christophe Dony, Marianne Huchard, Chouki Tibermacine: Design of a UML profile for feature diagrams and its tooling implementation. 693-698
Crescencio Rodrigues Lima Neto, Ivan do Carmo Machado, Paulo Anselmo da Mota Silveira Neto, Eduardo Santana de Almeida, Silvio Romero de Lemos Meira: Software Product Lines System Test Case Tool: A Proposal. 699-704
Yinxing Xue, Stan Jarzabek, Pengfei Ye, Xin Peng, Wenyun Zhao: Scalability of Variability Management: An Example of Industrial Practice and Some Improvements. 705-710
Ivan do Carmo Machado, Paulo Anselmo da Mota Silveira Neto, Eduardo Santana de Almeida, Silvio Romero de Lemos Meira: RiPLE-TE: A Process for Testing Software Product Lines. 711-716
Marcela Balbino, Eduardo Santana de Almeida, Silvio Romero de Lemos Meira: An Agile Scoping Process for Software Product Lines. 717-722
Mohamed A. Zaatar, Haitham S. Hamza, Abd El Fatah Hegazy: An Approach for Identifying and Implementing Aspectual Features inSoftware Product Lines. 722-728
Software Requirements Engineering
Thomas Moser, Dietmar Winkler, Matthias Heindl, Stefan Biffl: Automating the Detection of Complex Semantic Conflicts between Software Requirements(An empirical study on requirements conflict analysis with semantic technology). 729-735
Aneesh Krishna: A Process Oriented Approach to Model Non-Functional Requirements Proposition Extending UML. 736-739
David de Almeida Ferreira, Alberto Rodrigues da Silva: Use Case Driven Extension of ProjectIT-RSL to Support Behavioral Concerns. 740-745
Gilleanes Thorwald Araujo Guedes, Rosa Maria Vicari: Applying and Validating a UML Metamodel for the Requirements Analysis in Multi-Agent Systems: The AME-A Case Study. 746-751
Software Architecture
Leonardo Bitencourt Morelli, Elisa Yumi Nakagawa: A Panorama of Software Architectures in Game Development. 752-757
Lei Zhang, Yanchun Sun, Hui Song, Franck Chauvel, Hong Mei: Detecting Architecture Erosion by Design Decision of Architectural Pattern. 758-763
Leone Parise Vieira da Silva, Rajiv Geeverghese, Edward de Oliveira Ribeiro, Genaína Nunes Rodrigues, Célia Ghedini Ralha: A Flexible Event-Driven Architecture for Peer-to-Peer Based Applications. 764-769
Hamid Bagheri, Kevin J. Sullivan: A Formal Approach for Incorporating Architectural Tactics into the Software Architecture. 770-775
Lei Zhang, Yanchun Sun, Yuehui Peng, Xiaofeng Cui, Hing Mei: Towards Quality Based Solution Recommendation in Decision-Centric Architecture Design. 776-781
Milena Guessi, Lucas Bueno Ruas de Oliveira, Elisa Yumi Nakagawa: Representation of Reference Architectures: A Systematic Review. 782-785
Graeme Baillie, Brian Armour, Dave Allan, Robert Milne, Thomas M. Connolly, Richard Beeby: A Model-View-DynamicViewModel and its Performance in a Web-based Component Architecture. 786-791
Carlos Diego Andrade de Almeida, Thiago Crystyan Macedo, Adriano Albuquerque: Analysis of the continuity of software processes execution in software organizations assessed in MPS.BR using Grounded Theory. 792-797
Poster/Demo
Kasper Hallenborg: BDI agents to bridge cloud computing and end-users (Case study: An agent-based personal trainer to COPD patients). 00-01
Miriam Vázquez-Escalante, Jose Antonio Flores-Saucedo, Hector G. Pérez-González, Juan Carlos Cuevas-Tello: Software quality in terms of academic progress of developers. 04-05
Cristiane Selem Ferreira Neves, Eber Assis Schmitz, Fábio Protti, Antonio Juarez Alencar: Towards a Novel Statistical Method for Generating Test Sets with a Given Coverage Probability. 06-07
Azza Harbaoui, Malek Ghenima, Henda Ben Ghézala, Sahbi Sidhom: Architecture for personalized and semantic Information Retrieval: approach based on content's re-indexing using user's profile. 08-09



