Table of Contents

• Prodigious Data, Logic, Processing, and UsageAlfred Z. Spector. 1
• Building A Smarter Planet With University Collaboration: Empowering People Through Information IntegrationJosephine M. Cheng. 2
• The multi-core programming challengeDaniel Cooke. 3-4
• Future Research Directions for Software Engineering and Knowledge EngineeringGünther Ruhe. 5
• Absent features or missing values?Wen Zhang, Ye Yang, Qing Wang. 6-11
• Capturing Antagonistic Stakeholder Value Propositions in Value-Based Software DevelopmentDu Zhang. 12-18
• The effects of human-computer interaction modes for weak learners in an animation learning environmentYu-Fang Yeh. 18-23
• Quality Indicators in Requirements ElicitationAneesh Krishna, Andreas Gregoriades, Chattrakul Sombattheera. 24-27
• Business-Object Oriented Requirements Analysis Framework for Data WarehousesAnirban Sarkar, Sankhayan Choudhury, Nabendu Chaki, Swapan Bhattacharya. 34-37
• Soft Systems in Requirements Engineering: A Case StudyAlejandra Yepez Lopez, Nan Niu. 38-41
• Textual Software Requirements Specifications in the Context of Software ArchitectingMatthias Galster, Armin Eberlein, Mahmood Moussavi. 42-47
• Conditions for ignoring failures based on a requirements modelJoão Pimentel, Emanuel Santos, Jaelson Castro. 48-53
• Ontology-Driven Enterprise Application IntegrationGiacomo Bucci, Valeriano Sandrucci, Enrico Vicario. 54-60
• Introduction of Time and Timing Variability in Usage Model based TestingSebastian Siegl, Reinhard German, Kai-Steffen Jens Hielscher. 61-66
• FLAT A Fast Lattice-Based Algorithm for Test Suite ReductionAhmed Raafat Abuzeid, Haitham S. Hamza, Ismail Abdel Hamid Taha. 67
• Semantic Document Architecture for Desktop Data Integration and ManagementSasa Nesic, Dragan Gasevic, Mehdi Jazayeri. 73-78
• Using the whole structure of ontology for semantic relatedness measurementEhsan KhounSiavash, Ahmad Baraani-Dastjerdi. 79-83
• Composer-Science: A Semantic Service Based framework for Workflow Composition in e-Science ProjectsLaryssa Machado da Silva, Regina M. M. Braga, Fernanda Campos. 84-87
• A Stochastic Model for Optimizing the Patching Time of Software BugsYong Wang, Dianxiang Xu, William M. Lively, Dick B. Simmons. 88-92
• Do More People Make the Code More Defect Prone?: Social Network Analysis in OSS ProjectsSalifu Alhassan, Bora Caglayan, Ayse Basar Bener. 93-98
• Performance Analysis of a Web Server with Dynamic Thread Pool ArchitectureJijun Lu, Swapna S. Gokhale. 99-105
• Some Improvements for More Precise Model CheckingZhi Zhang, Qingkai Zeng, Ming Huang. 106-112
• Software Development Effort and Quality Prediction Using Bayesian Nets and small Local Qualitative DataLukasz Radlinski. 113-116
• Multi-Tracker Collaboration in Bittorrent SystemsSonia Gulrajani, Anuja Oka, Xiao Su. 117-122
• An Evaluation of Tie-Breaking Strategies for Fault Localization TechniquesXiaofeng Xu, Vidroha Debroy, W. Eric Wong, Donghui Guo. 123-128
• An Ontology Model to Support the Automated Evaluation of SoftwareRaul Garcia-Castro, Miguel Esteban Gutiérrez, Mick Kerrigan, Stephan Grimm. 129-134
• A Review of Parametric Effort Estimation Models for the Software Project Planning ProcessPablo Rodríguez-Soria, Juan Jose Cuadrado-Gallego, José Antonio Gutiérrez de Mesa, Borja Martín-Herrera. 135-140
• Information-Theoretic Metrics for Project-Level Scattering and TanglingErik Linstead, Lindsey Hughes, Cristina Videira Lopes, Pierre Baldi. 141-146
• Synchronization Complexity MetricPeter Yastrebenetsky, Mark Trakhtenbrot. 147-152
• Measurement Model of Software Requirements Derived from System Maintainability RequirementsAlain Abran, Khalid T. Al-Sarayreh, Juan Jose Cuadrado-Gallego. 153-158
• Evolution Styles to Capitalize Evolution Expertise within Software ArchitecturesOlivier Le Goaer, Dalila Tamzalit, Mourad Oussalah. 159-164
• Reasoning about Attribute ArchitecturesTacksoo Im, John D. McGregor. 165-171
• Formal Specification of Software Architecture Security TacticsAndrew Wyeth, Cui Zhang. 172-175
• Enterprise Systems Development: Impact of Aspect Oriented Software ArchitecturePawan Kumar Verma, Deepak Dahiya. 176-179
• Reducing Black-box Test Suite Using Input Parameter RelationshipsLixin Wang. 180-185
• Introducing Automated Environment Configuration Testing in an Industrial SettingCaryna Pinheiro, Vahid Garousi, Frank Maurer, Jonathan Sillito. 186-191
• An Ontology-based Software Test Generation FrameworkValeh H. Nasser, Weichang Du, Dawn MacIsaac. 192-197
• Automated Integration Testing and Verification of a Secured SOA Infrastructure - an Experience Report in eHealthMario Bernhart, Thomas Artner, Andreas Mauczka, Thomas Grechenig. 198-202
• Software Engineering with Computational Intelligence and Machine Learning A Novel Software Metric Selection Technique Using the Area Under ROC CurvesTaghi M. Khoshgoftaar, Kehan Gao. 203-208
• Automatic Bug Triage using Semi-Supervised Text ClassificationJifeng Xuan, He Jiang, Zhilei Ren, Jun Yan, Zhongxuan Luo. 209-214
• Ensemble Feature Selection Technique for Software Quality ClassificationHuanjing Wang, Taghi M. Khoshgoftaar, Kehan Gao. 215-220
• Negotiating Software Acquisition Supported by Web Services in a Distributed Software Development ProcessGabriel Costa Silva, Itana Maria de Souza Gimenes, Marcelo Fantinato, Maria Beatriz Felgar de Toledo. 221-224
• Transforming Service-Oriented Business Models into Web Service SpecificationsHugo Estrada, Itzel Morales-Ramirez, Alicia Martínez Rebollar, Oscar Pastor. 225-230
• Reliable Web Service Selection based on Transactional RiskYing Yin, Xizhe Zhang, Bin Zhang. 231-234
• Selecting Web Services for Choreography Implementation: Compatibility Checking Approach with Access ControlEmad Elabd, Emmanuel Coquery, Mohand-Said Hacid. 235-240
• A Model-driven Approach to Flexible Multi-Level Customization of SaaS ApplicationsZakwan Jaroucheh, Xiaodong Liu, Sally Smith. 241-246
• Weaving Functional and Non-Functional Attributes for Dynamic Web Service CompositionAjay Bansal, Srividya Kona, M. Brian Blake, Gopal Gupta. 247-252
• Improving Cluster Selection Techniques of Regression Testing by Slice FilteringYongwei Duan, Zhenyu Chen, Zhihong Zhao, Ju Qian, Zhongjun Yang. 253-258
• A Constrained Particle Swarm Optimization Approach for Test Case SelectionLuciano S. de Souza, Ricardo Bastos Cavalcante Prudêncio, Flávia de Almeida Barros. 259-264
• Software Defect Estimation using Support Vector RegressionRoberta A. de A. Fagundes, Renata M. C. R. de Souza. 265-268
• Analyzing the Relationship of Process Metrics And Classified Changes - A Pilot StudyAndreas Mauczka, Mario Bernhart, Thomas Grechenig. 269-272
• Cost-Effective Combinatorial Test Case Prioritization for Varying Combination WeightsZiyuan Wang, Baowen Xu, Lin Chen, Zhenyu Chen. 273-278
• A Multi-State Bayesian Network for Shill Verification in Online AuctionsAnkit Goel, Haiping Xu, Sol M. Shatz. 279-285
• An Empirical Evaluation on the Relationship Between Final Auction Price and Shilling Activity in Online AuctionsFei Dong, Sol M. Shatz, Haiping Xu. 286-291
• A Framework for Solar Energy Applications Photovoltaic SystemsFrederico Papatella, T. Carvalho, Luis E. Zárate, E. Pereira, M. Song. 292-297
• Data manipulation API in ERP systemsVadym Borovskiy, Wolfgang Koch, Alexander Zeier. 298-302
• Ontology-Based Tools in the Service of Hardware VerificationEyal Bin, Alaa Ghanayim, Karen Holtz, Eitan Marcus, Ronny Morad, Ofer Peled, Michal Rimon, Gil Shurek, Elena Tsanko. 303-308
• Smarter Software Engineering: Knowledge factors contributing to improved Individual PerformanceNarayanan Srinivasaraghavan, Craig McDonald, John Campbell. 309-314
• Lattice-Context Based Digital Paper SearchChongyang Shi, Zhendong Niu, Xiyi Cheng. 315-318
• Evaluating the Weighted Sum Algorithm for Estimating Conditional Probabilities in Bayesian NetworksSimon Backer, Emilia Mendes. 319-324
• An Ontology-based Mapping Repository for Meta-querier CustomizationXiao Li, Randy Chow. 325-330
• Knowledge Engineering to Visualize Complexity for Legacy Modernization PlanningSarah B. Lee, Sajjan G. Shiva, K. S. Braunsdorf. 331-334
• Using QVT for adapting question analysis to restricted domain QA systemsKatia Vila, Jose-Norberto Mazón, Antonio Ferrández. 335-338
• Towards an Automation of Software Evolution Good PracticesChouki Tibermacine, Soraya Sakhraoui, Vincent Le Gloahec, Régis Fleurquin, Salah Sadou. 339-344
• VESTA: A View-based Software Quality Assessment Model for Software Evolution ManagementWei-Chung Hu, Chia Hung Kao, Feng-Pu Yang, Hewijin Christine Jiau, Kuo-Feng Ssu. 345-348
• Detecting Emergent Behavior in Distributed Systems Using Scenario-Based SpecificationsMohammad Moshirpour, Abdolmajid Mousavi, Behrouz H. Far. 349-354
• MMWA-ae: boosting knowledge from Multimodal Interface Design, Reuse and Usability EvaluationAmerico Talarico Neto, Renata Pontin M. Fortes, Rafael Rossi, Solange Rezende. 355-360
• Human-Computer Interface Design Guidelines: An Expert SystemTiago Cinto, Cecilia Sosa Arias Peixoto. 361-366
• Assisting Developers to Read Code Help-Documents Efficiently through Discovering Document-section RelationshipsLijie Wang, Leye Wang, Ge Li, Bing Xie. 367-373
• Validity Threats in Empirical Software Engineering Research - An Initial SurveyRobert Feldt, Ana Magazinius. 374-379
• A Comparative Study of Attribute Weighting Techniques for Software Defect Prediction Using Case-based ReasoningElham Paikari, Michael M. Richter, Günther Ruhe. 380-386
• Software Project Portfolio Selection A Modern Portfolio Theory Based TechniqueHélio R. Costa, Márcio de Oliveira Barros, Ana Regina Rocha. 387-392
• Runtime Constraint Checking Approaches for OCL, A Critical ComparisonCarmen Avila, Amritam Sarcar, Yoonsik Cheon, Cesar Yeep. 393-398
• Refinement Checking for Interface Automata with Z NotationZining Cao. 399-404
• Multi-objective Genetic Algorithms: Construction and Recombination of Passive Testing PropertiesCésar Andrés, Mercedes G. Merayo, Manuel Núñez. 405-410
• Formal Verification of UML 2.0 Sequence DiagramSachoun Park, Taeman Han, Gihwon Kwon. 411-416
• A Hierarchical Timed Coloured Petri Nets for BPMN-based Process AnalysisChing-Huey Wang, Pei Shu Huang, Feng-Jian Wang. 417-420
• Temporal Filter A Temporal Extension to Wireshark Display FilterShaochun Wang. 421-424
• System Modeling from Extended Task DescriptionsJosé Luis de la Vara, Juan Sánchez. 425-429
• Specification patterns can be formal and still easyFernando Asteasuain, Víctor A. Braberman. 430-436
• A Context Conceptual Model for a Distributed Software Development EnvironmentAna Paula Chaves, Elisa Hatsue Moriya Huzita, Vaninha Vieira, Igor Steinmacher. 437-442
• Service Automation Architecture as adopted by Unified Communication Audit ToolShadan Saniepour Esfahani, Talal Siddiqui. 443-447
• Knowledge Based Service Oriented Architecture for M&ADebashis Chanda, Dwijesh Dutta Majumder, Swapan Bhattacharya. 448-451
• ISE - Integrated Service Engineering: Applying an Architecture for Model to Model TransformationsHao Hu, Gregor Scheithauer, Guido Wirtz. 452-457
• A Model-based Business Process Diagnosis Method in Service Oriented ArchitectureSoo Ho Chang, Soo Dong Kim. 458-461
• Ontology-Based Dependency-Guided Service Composition for User-Centric SOAWei-Tek Tsai, Peide Zhong, Jay Elston, Yinong Chen, Xiaoying Bai. 462-467
• Feature Modeling for Service Variability Management in Service-Oriented ArchitecturesMohammad Abu-Matar, Hassan Gomaa, Minseong Kim, Ahmed M. Elkhodary. 468-473
• TestDrive - A Cost Effective Way to Create and Maintain Test Scripts for Web ApplicationsSachin Patel, Priya Gupta, Prafullakumar Surve. 474-476
• Ontology-Based Test Case Generation For Simulating Complex Production Automation SystemsThomas Moser, Gregor Dürr, Stefan Biffl. 478-482
• PLeTs-Test Automation using Software Product Lines and Model Based TestingElder de M. Rodrigues, Leonardo D. Viccari, Avelino F. Zorzo. 483-488
• Experience with Maintenance of a Functional GUI Test Suite using IBM Rational Functional TesterYuri Shewchuk, Vahid Garousi. 489-494
• A Multiagent System for Automate Detection and Diagnosis of Active Tuberculosis on Chest Radiograph and CT ThoraxAbdel Halim Elamy, Behrouz H. Far, Richard Long. 495-498
• Impact Analysis Model for Brasília Area Control Center using Multi-agent System with Reinforcement LearningAntonio Carlos de Arruda Junior, Alessandro Ferreira Leite, Cícero Roberto Ferreira de Almeida, Alba Cristina Magalhaes Alves de Melo, Li Weigang. 499-502
• Mobile Agents for Active MediaIchiro Satoh. 503-508
• An End-user Domain-specific Model to Drive Dynamic User Agents AdaptationsIngrid Nunes, Simone Diniz Junqueira Barbosa, Carlos José Pereira de Lucena. 509-514
• Towards Generation of Domain Ontology from LMF Standardized DictionariesFeten Baccar Ben Amar, Bilel Gargouri, Abdelmajid Ben Hamadou. 515-520
• An Ontology-based Configurator for Customized Product Information based upon the Slow Intelligence Systems ApproachEmilio Zegarra, Francesco Colace, Massimo De Santo, Shi-Kuo Chang. 521-528
• UFOCoRe: Exploring Fuzzy Relations According to Specific ContextsMauricio Jacó Cerri, Cristiane A. Yaguinuma, Marcela Xavier Ribeiro, Marilde Terezinha Prado Santos. 529-542
• A String Constraint Solver for Detecting Web Application VulnerabilityXiang Fu, Chung-Chih Li. 535-542
• Towards a Structured Model for Software VulnerabilitiesMing Huang, Yisha Lu, Qingkai Zeng. 543-547
• Dynamic and semantic social networks analysis: a new model based on a multidisciplinary approachChristophe Thovex, Francky Trichet. 548-552
• Incremental Construction of Topic Hierarchies using Hierarchical Term ClusteringRicardo M. Marcacini, Solange O. Rezende. 553
• A Framework for Detecting Code Piracy Using Class StructurePatrice Arruda, Pierre Chamoun, Dwight Deugo. 559-564
• Detection of Malicious Software Engineer IntrusionMichael E. Shin, Nipul Patel, Snehadeep Sethia. 565-570
• Developing Precise Misuse Cases with Security Robustness AnalysisMohamed El-Attar. 571-576
• Developing configurable extensible code generators for model-driven development approachSouvik Barat, Vinay Kulkarni. 577-582
• Feature based Structuring and Composing of SDLC ArtifactsNishigandha Hirve, Tukaram Muske, Ulka Shrotri, R. Venkatesh. 583-586
• Distributed and Adaptive Execution of Condor DAGMan WorkflowsSelim Kalayci, Gargi Dasgupta, Liana Fong, Onyeka Ezenwoye, Seyed Masoud Sadjadi. 587-590
• Towards Automated Synthesis of Executable Eclipse TutorialsNuyun Zhang, Gang Huang, Ying Zhang, Ning Jiang, Hong Mei. 591-598
• An Examination of a Rule-Based Expert System to Aid in the Implementation of the CMMI FrameworkTessa Adderley, Sheryl Duggins, Frank Tsui. 599-603
• Tools for Ontology Modeling and VisualizationSimon Suigen Guo, Christine W. Chan, Robert Harrison. 604-607
• Modeling and Testing a Knowledge Base for Instructing Users to Choose the Classification Task in Relational Data MiningLidia Martins da Silva, Ana Estela Antunes da Silva. 608-613
• gOntt, a Tool for Scheduling and Executing Ontology Development ProjectsMaría del Carmen Suárez-Figueroa, Asunción Gómez-Pérez, Óscar Muñoz-García, Martín Vigo. 614-619
• A Project Monitoring Cockpit Based On Integrating Data Sources in Open Source Software DevelopmentStefan Biffl, Wikan Danar Sunindyo, Thomas Moser. 620-627
• Software Configuration Management as a Crosscutting Concern: An Example on Software TestingElisa Yumi Nakagawa, João Vítor Tornisiello Trevisan, José Carlos Maldonado. 628-633
• Decision Support for Staffing of the Next Software Product ReleaseEmadoddin Livani, Günther Ruhe. 634-639
• Predicting Project Health Prior to InceptionRose Williams, Jim Graham, Katrina Reffett, Myles Wallace. 640-644
• OCL Evaluation on AUTOSAR ModelSachoun Park, Taeman Han, Hyoungju Lim, Gihwon Kwon. 645-648
• Intertwining Implementation with the RealSpec Executable Real-Time Specification LanguageAmir A. Khwaja, Joseph E. Urban. 649-652
• Self-Management of Component Executors for Robot ApplicationsMichael E. Shin, Hemanth Thimme Gowda, TaegHyun Kang, Sunghoon Kim, Seungwook Jung, ChoulSoo Jang, Byoungyoul Song. 653-656
• A Multi-Agent Model for a Business Continuity Information NetworkLily Chang, Xudong He. 657-663
• Agent-based Architecture for Service Ontology evolution managementSoumaya Slimani, Salah Baïna, Karim Baïna. 664-667
• Intelligent Software Agent Design Issues with Extensions to the Descartes Specification LanguageVinitha Hannah Subburaj, Joseph E. Urban. 668-671
• Meta Context for Agent PlanningCsaba J. Egyhazy. 672-674
• Software Components Search Approaches in the Context of COTS-based DevelopmentNacim Yanes, Sihem Ben Sassi, Henda Hajjami Ben Ghézala. 675-679
• Architecture-centric development and evolution processes for component-based softwareHuaxi (Yulin) Zhang, Christelle Urtado, Sylvain Vauttier. 680-685
• Conflict Analysis in Commercial Off-The-Shelf (COTS) Based DevelopmentHamdy Ibrahim, Tom Wanyama, Armin Eberlein, Behrouz H. Far. 686-691
• Achieve Semantic-based Precise Component Selection via an Ontology Model Interlinking Application Domain and MVICSChengpu Li, Xiaodong Liu, Jessie B. Kennedy. 692-697
• A Top-Down Method for Secure SOA-based B2B ProcessesMostafa Madiesh, Guido Wirtz. 698-703
• Supporting Software Process Improvement in Very Small Entities through a Template-based GuideMiguel Morales Trujillo, Francisco J. Pino, Mario Piattini. 704-709
• Scrum and Plan-driven Process Integration and its Impact on Effort EstimationNelio Alves, William Carvalho, Edgard Lamounier Jr.. 710-715
• A Case Study of Software Process Improvement ImplementationDaniela C. C. Peixoto, Vitor A. Batista, Rodolfo F. Resende, Clarindo Isaías P. S. Pádua. 716-721
• Software Process Reuse by Pattern WeavingYa-Sha Wang, Xiao Yang He, Jin-gang Guo, Jia-rui Jiang. 722-725
• A Cross-Layer Design for Adaptive Multimodal Interfaces in Pervasive ComputingJun Kong, Weiyi Zhang, Juan Li, Arjun G. Roy. 726-731
• Characteristics of Ubiquitous Software Projects: Pertinence, Relevance, and UseRodrigo O. Spínola, Guilherme Horta Travassos. 732-737
• Software Engineering in the Embedded Software and Mobile Robot Software Development: A Systematic MappingDaniel Feitosa, Katia Romero Felizardo, Lucas Bueno Ruas de Oliveira, Denis Wolf, Elisa Yumi Nakagawa. 738-741
• A Visual Bug Report Analysis and Search ToolCarlos Eduardo Albuquerque da Cunha, Yguaratã Cerqueira Cavalcanti, Paulo Anselmo M. Silveira Neto, Eduardo Santana de Almeida, Silvio Romero de Lemos Meira. 742-747
• CFM: A File Manager with Multiple Categorization SupportAli Sajedi Badashian, Hamidreza Afzali, Iman Khalkhali, Morteza Ashurzad Delcheh, Mohammad Shoja Shafiei, Mehregan Mahdavi. 748-751
• TSRR: A Software Resource Repository for Trustworthiness Resource Management and ReuseJunfeng Zhao, Bing Xie, Yasha Wang, Yongjun Xu. 752-756
• A Log-Assisted Approach Enforcing Consistency in the Presence of ExceptionsNikolas Nehmer. 757-764
• An Automatic Failure Mode and Effect Analysis Technique for Processes Defined in the Little-JIL Process Definition LanguageDanhua Wang, Jingui Pan, George S. Avrunin, Lori A. Clarke, Bin Chen. 765-770
• Secure ad-hoc routing protocolThouraya Bouabana-Tebibel, Rym Nesrine Guibadj, Sara Mehar. 771-776
• A Pattern Methodology for Modeling Network Forensic Investigations in Converged Tactical EnvironmentsJuan C. Pelaez. 777-782
• P2PSecT: Peer-to-peer Security TestbedEduardo Segura, Xiao Su. 783-786
• Model-Driven Development of Java Enterprise ApplicationsAndre Pflueger, Wolfgang Golubski, Tobias Haubold. 787-790
• A documentation approach for the self-adaptive system designWenhui Zhu, David Lorge Parnas. 791-796
• Designing Aspects with Use Cases: A Case StudyJunhua Ding, Christopher R. Westbrook, Mohammad N. H. Tabrizi. 797-803
• A UML Profile Oriented to the Requirements Collecting and Analyzing for the Multi-Agent Systems ProjectGilleanes Thorwald Araujo Guedes, Rosa Maria Vicari. 2833