default search action
22nd SEKE 2010: Redwood City, San Francisco Bay, CA, USA
- Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE'2010), Redwood City, San Francisco Bay, CA, USA, July 1 - July 3, 2010. Knowledge Systems Institute Graduate School 2010, ISBN 1-891706-26-8
Keynote
- Alfred Z. Spector:
Prodigious Data, Logic, Processing, and Usage. SEKE 2010: 1 - Josephine M. Cheng:
Building A Smarter Planet With University Collaboration: Empowering People Through Information Integration. SEKE 2010: 2 - Daniel E. Cooke:
The multi-core programming challenge. SEKE 2010: 3-4 - Günther Ruhe:
Future Research Directions for Software Engineering and Knowledge Engineering. SEKE 2010: 5
Machine Learning with Value-Based Software Engineering
- Wen Zhang, Ye Yang, Qing Wang:
Absent features or missing values? SEKE 2010: 6-11 - Du Zhang:
Capturing Antagonistic Stakeholder Value Propositions in Value-Based Software Development. SEKE 2010: 12-18 - Yu-Fang Yeh:
The effects of human-computer interaction modes for weak learners in an animation learning environment. SEKE 2010: 18-23
Software Requirement Engineering
- Aneesh Krishna, Andreas Gregoriades, Chattrakul Sombattheera:
Quality Indicators in Requirements Elicitation. SEKE 2010: 24-27 - Gilleanes Thorwald Araujo Guedes, Rosa Maria Vicari:
A UML Profile Oriented to the Requirements Collecting and Analyzing for the Multi-Agent Systems Project. SEKE 2010: 2833 - Anirban Sarkar, Sankhayan Choudhury, Nabendu Chaki, Swapan Bhattacharya:
Business-Object Oriented Requirements Analysis Framework for Data Warehouses. SEKE 2010: 34-37 - Alejandra Yepez Lopez, Nan Niu:
Soft Systems in Requirements Engineering: A Case Study. SEKE 2010: 38-41 - Matthias Galster, Armin Eberlein, Mahmood Moussavi:
Textual Software Requirements Specifications in the Context of Software Architecting. SEKE 2010: 42-47 - João Pimentel, Emanuel Santos, Jaelson Castro:
Conditions for ignoring failures based on a requirements model. SEKE 2010: 48-53
Software Validation
- Giacomo Bucci, Valeriano Sandrucci, Enrico Vicario:
Ontology-Driven Enterprise Application Integration. SEKE 2010: 54-60 - Sebastian Siegl, Reinhard German, Kai-Steffen Hielscher:
Introduction of Time and Timing Variability in Usage Model based Testing. SEKE 2010: 61-66 - Ahmed Raafat Abuzeid, Haitham S. Hamza, Ismail Abdel Hamid Taha:
FLAT A Fast Lattice-Based Algorithm for Test Suite Reduction. SEKE 2010: 67
Interoperability and Semantic Web technologies
- Sasa Nesic, Dragan Gasevic, Mehdi Jazayeri:
Semantic Document Architecture for Desktop Data Integration and Management. SEKE 2010: 73-78 - Ehsan KhounSiavash, Ahmad Baraani-Dastjerdi:
Using the whole structure of ontology for semantic relatedness measurement. SEKE 2010: 79-83 - Laryssa Machado da Silva, Regina Braga, Fernanda Campos:
Composer-Science: A Semantic Service Based framework for Workflow Composition in e-Science Projects. SEKE 2010: 84-87
Software Quality Assurance
- Yong Wang, Dianxiang Xu, William M. Lively, Dick B. Simmons:
A Stochastic Model for Optimizing the Patching Time of Software Bugs. SEKE 2010: 88-92 - Salifu Alhassan, Bora Caglayan, Ayse Basar Bener:
Do More People Make the Code More Defect Prone?: Social Network Analysis in OSS Projects. SEKE 2010: 93-98 - Jijun Lu, Swapna S. Gokhale:
Performance Analysis of a Web Server with Dynamic Thread Pool Architecture. SEKE 2010: 99-105 - Zhi Zhang, Qingkai Zeng, Ming Huang:
Some Improvements for More Precise Model Checking. SEKE 2010: 106-112 - Lukasz Radlinski:
Software Development Effort and Quality Prediction Using Bayesian Nets and small Local Qualitative Data. SEKE 2010: 113-116 - Sonia Gulrajani, Anuja Oka, Xiao Su:
Multi-Tracker Collaboration in Bittorrent Systems. SEKE 2010: 117-122 - Xiaofeng Xu, Vidroha Debroy, W. Eric Wong, Donghui Guo:
An Evaluation of Tie-Breaking Strategies for Fault Localization Techniques. SEKE 2010: 123-128
Software Measurement
- Raul Garcia-Castro, Miguel Esteban Gutiérrez, Mick Kerrigan, Stephan Grimm:
An Ontology Model to Support the Automated Evaluation of Software. SEKE 2010: 129-134 - Pablo Rodríguez-Soria, Juan Jose Cuadrado-Gallego, José Antonio Gutiérrez de Mesa, Borja Martín-Herrera:
A Review of Parametric Effort Estimation Models for the Software Project Planning Process. SEKE 2010: 135-140 - Erik Linstead, Lindsey Hughes, Cristina Videira Lopes, Pierre Baldi:
Information-Theoretic Metrics for Project-Level Scattering and Tangling. SEKE 2010: 141-146 - Peter Yastrebenetsky, Mark B. Trakhtenbrot:
Synchronization Complexity Metric. SEKE 2010: 147-152 - Alain Abran, Khalid T. Al-Sarayreh, Juan Jose Cuadrado-Gallego:
Measurement Model of Software Requirements Derived from System Maintainability Requirements. SEKE 2010: 153-158
Software Architectures
- Olivier Le Goaër, Dalila Tamzalit, Mourad Oussalah:
Evolution Styles to Capitalize Evolution Expertise within Software Architectures. SEKE 2010: 159-164 - Tacksoo Im, John D. McGregor:
Reasoning about Attribute Architectures. SEKE 2010: 165-171 - Andrew Wyeth, Cui Zhang:
Formal Specification of Software Architecture Security Tactics. SEKE 2010: 172-175 - Pawan Kumar Verma, Deepak Dahiya:
Enterprise Systems Development: Impact of Aspect Oriented Software Architecture. SEKE 2010: 176-179
Software Test Automation, Practice, and Standardization
- Lixin Wang:
Reducing Black-box Test Suite Using Input Parameter Relationships. SEKE 2010: 180-185 - Caryna Pinheiro, Vahid Garousi, Frank Maurer, Jonathan Sillito:
Introducing Automated Environment Configuration Testing in an Industrial Setting. SEKE 2010: 186-191 - Valeh H. Nasser, Weichang Du, Dawn MacIsaac:
An Ontology-based Software Test Generation Framework. SEKE 2010: 192-197 - Mario Bernhart, Thomas Artner, Andreas Mauczka, Thomas Grechenig:
Automated Integration Testing and Verification of a Secured SOA Infrastructure - an Experience Report in eHealth. SEKE 2010: 198-202 - Taghi M. Khoshgoftaar, Kehan Gao:
Software Engineering with Computational Intelligence and Machine Learning A Novel Software Metric Selection Technique Using the Area Under ROC Curves. SEKE 2010: 203-208 - Jifeng Xuan, He Jiang, Zhilei Ren, Jun Yan, Zhongxuan Luo:
Automatic Bug Triage using Semi-Supervised Text Classification. SEKE 2010: 209-214 - Huanjing Wang, Taghi M. Khoshgoftaar, Kehan Gao:
Ensemble Feature Selection Technique for Software Quality Classification. SEKE 2010: 215-220
Web Services
- Gabriel Costa Silva, Itana Maria de Souza Gimenes, Marcelo Fantinato, Maria Beatriz Felgar de Toledo:
Negotiating Software Acquisition Supported by Web Services in a Distributed Software Development Process. SEKE 2010: 221-224 - Hugo Estrada, Itzel Morales-Ramirez, Alicia Martínez Rebollar, Oscar Pastor:
Transforming Service-Oriented Business Models into Web Service Specifications. SEKE 2010: 225-230 - Ying Yin, Xizhe Zhang, Bin Zhang:
Reliable Web Service Selection based on Transactional Risk. SEKE 2010: 231-234 - Emad Elabd, Emmanuel Coquery, Mohand-Said Hacid:
Selecting Web Services for Choreography Implementation: Compatibility Checking Approach with Access Control. SEKE 2010: 235-240 - Zakwan Jaroucheh, Xiaodong Liu, Sally Smith:
A Model-driven Approach to Flexible Multi-Level Customization of SaaS Applications. SEKE 2010: 241-246 - Ajay Bansal, Srividya Kona, M. Brian Blake, Gopal Gupta:
Weaving Functional and Non-Functional Attributes for Dynamic Web Service Composition. SEKE 2010: 247-252
Software Regression Testing
- Yongwei Duan, Zhenyu Chen, Zhihong Zhao, Ju Qian, Zhongjun Yang:
Improving Cluster Selection Techniques of Regression Testing by Slice Filtering. SEKE 2010: 253-258 - Luciano S. de Souza, Ricardo Bastos Cavalcante Prudêncio, Flávia de Almeida Barros:
A Constrained Particle Swarm Optimization Approach for Test Case Selection. SEKE 2010: 259-264 - Roberta A. de A. Fagundes, Renata M. C. R. de Souza:
Software Defect Estimation using Support Vector Regression. SEKE 2010: 265-268 - Andreas Mauczka, Mario Bernhart, Thomas Grechenig:
Analyzing the Relationship of Process Metrics And Classified Changes - A Pilot Study. SEKE 2010: 269-272 - Ziyuan Wang, Baowen Xu, Lin Chen, Zhenyu Chen:
Cost-Effective Combinatorial Test Case Prioritization for Varying Combination Weights. SEKE 2010: 273-278
E-Commerce and Mobile Commerce
- Ankit Goel, Haiping Xu, Sol M. Shatz:
A Multi-State Bayesian Network for Shill Verification in Online Auctions. SEKE 2010: 279-285 - Fei Dong, Sol M. Shatz, Haiping Xu:
An Empirical Evaluation on the Relationship Between Final Auction Price and Shilling Activity in Online Auctions. SEKE 2010: 286-291
Software Framework and Application Tools
- Frederico Papatella, Tiago Figueiredo Carvalho, Luis E. Zárate, Elizabeth Marques Duarte Pereira, Mark A. J. Song:
A Framework for Solar Energy Applications Photovoltaic Systems. SEKE 2010: 292-297 - Vadym Borovskiy, Wolfgang Koch, Alexander Zeier:
Data manipulation API in ERP systems. SEKE 2010: 298-302 - Eyal Bin, Alaa Ghanayim, Karen Holtz, Eitan Marcus, Ronny Morad, Ofer Peled, Michal Rimon, Gil Shurek, Elena Tsanko:
Ontology-Based Tools in the Service of Hardware Verification. SEKE 2010: 303-308
Knowledge Engineering
- Narayanan Srinivasaraghavan, Craig McDonald, John Campbell:
Smarter Software Engineering: Knowledge factors contributing to improved Individual Performance. SEKE 2010: 309-314 - Chongyang Shi, Zhendong Niu, Xiyi Cheng:
Lattice-Context Based Digital Paper Search. SEKE 2010: 315-318 - Simon Baker, Emilia Mendes:
Evaluating the Weighted Sum Algorithm for Estimating Conditional Probabilities in Bayesian Networks. SEKE 2010: 319-324 - Xiao Li, Randy Chow:
An Ontology-based Mapping Repository for Meta-querier Customization. SEKE 2010: 325-330 - Sarah B. Lee, Sajjan G. Shiva, K. S. Braunsdorf:
Knowledge Engineering to Visualize Complexity for Legacy Modernization Planning. SEKE 2010: 331-334 - Katia Vila, Jose-Norberto Mazón, Antonio Ferrández:
Using QVT for adapting question analysis to restricted domain QA systems. SEKE 2010: 335-338
Software Maintenance and Evolution
- Chouki Tibermacine, Soraya Sakhraoui, Vincent Le Gloahec, Régis Fleurquin, Salah Sadou:
Towards an Automation of Software Evolution Good Practices. SEKE 2010: 339-344 - Wei-Chung Hu, Chia Hung Kao, Feng-Pu Yang, Hewijin Christine Jiau, Kuo-Feng Ssu:
VESTA: A View-based Software Quality Assessment Model for Software Evolution Management. SEKE 2010: 345-348 - Mohammad Moshirpour, Abdolmajid Mousavi, Behrouz H. Far:
Detecting Emergent Behavior in Distributed Systems Using Scenario-Based Specifications. SEKE 2010: 349-354
Human-Computer Interface and Interaction
- Américo Talarico Neto, Renata Pontin de Mattos Fortes, Rafael Geraldeli Rossi, Solange O. Rezende:
MMWA-ae: boosting knowledge from Multimodal Interface Design, Reuse and Usability Evaluation. SEKE 2010: 355-360 - Tiago Cinto, Cecilia Sosa Arias Peixoto:
Human-Computer Interface Design Guidelines: An Expert System. SEKE 2010: 361-366 - Lijie Wang, Leye Wang, Ge Li, Bing Xie:
Assisting Developers to Read Code Help-Documents Efficiently through Discovering Document-section Relationships. SEKE 2010: 367-373
Empirical Software Engineering and Software Economics
- Robert Feldt, Ana Magazinius:
Validity Threats in Empirical Software Engineering Research - An Initial Survey. SEKE 2010: 374-379 - Elham Paikari, Michael M. Richter, Günther Ruhe:
A Comparative Study of Attribute Weighting Techniques for Software Defect Prediction Using Case-based Reasoning. SEKE 2010: 380-386 - Hélio R. Costa, Márcio de Oliveira Barros, Ana Regina Rocha:
Software Project Portfolio Selection A Modern Portfolio Theory Based Technique. SEKE 2010: 387-392
Software Validation and Verification
- Carmen Avila, Amritam Sarcar, Yoonsik Cheon, Cesar Yeep:
Runtime Constraint Checking Approaches for OCL, A Critical Comparison. SEKE 2010: 393-398 - Zining Cao:
Refinement Checking for Interface Automata with Z Notation. SEKE 2010: 399-404 - César Andrés, Mercedes G. Merayo, Manuel Núñez:
Multi-objective Genetic Algorithms: Construction and Recombination of Passive Testing Properties. SEKE 2010: 405-410 - Sachoun Park, Taeman Han, Gihwon Kwon:
Formal Verification of UML 2.0 Sequence Diagram. SEKE 2010: 411-416
Formal Methods and Modeling
- Ching-Huey Wang, Pei-Shu Huang, Feng-Jian Wang:
A Hierarchical Timed Coloured Petri Nets for BPMN-based Process Analysis. SEKE 2010: 417-420 - Shaochun Wang:
Temporal Filter A Temporal Extension to Wireshark Display Filter. SEKE 2010: 421-424 - José Luis de la Vara, Juan Sánchez:
System Modeling from Extended Task Descriptions. SEKE 2010: 425-429 - Fernando Asteasuain, Víctor A. Braberman:
Specification patterns can be formal and still easy. SEKE 2010: 430-436 - Ana Paula Chaves, Elisa Hatsue Moriya Huzita, Vaninha Vieira, Igor Steinmacher:
A Context Conceptual Model for a Distributed Software Development Environment. SEKE 2010: 437-442
Service-Oriented Architectures and Applications
- Shadan Saniepour Esfahani, Talal Siddiqui:
Service Automation Architecture as adopted by Unified Communication Audit Tool. SEKE 2010: 443-447 - Debashis Chanda, Dwijesh Dutta Majumder, Swapan Bhattacharya:
Knowledge Based Service Oriented Architecture for M&A. SEKE 2010: 448-451 - Hao Hu, Gregor Scheithauer, Guido Wirtz:
ISE - Integrated Service Engineering: Applying an Architecture for Model to Model Transformations. SEKE 2010: 452-457 - Soo Ho Chang, Soo Dong Kim:
A Model-based Business Process Diagnosis Method in Service Oriented Architecture. SEKE 2010: 458-461 - Wei-Tek Tsai, Peide Zhong, Jay Elston, Yinong Chen, Xiaoying Bai:
Ontology-Based Dependency-Guided Service Composition for User-Centric SOA. SEKE 2010: 462-467 - Mohammad Abu-Matar, Hassan Gomaa, Minseong Kim, Ahmed M. Elkhodary:
Feature Modeling for Service Variability Management in Service-Oriented Architectures. SEKE 2010: 468-473
Software Test Automation and Experience
- Sachin Patel, Priya Gupta, Prafullakumar Surve:
TestDrive - A Cost Effective Way to Create and Maintain Test Scripts for Web Applications. SEKE 2010: 474-476 - Thomas Moser, Gregor Dürr, Stefan Biffl:
Ontology-Based Test Case Generation For Simulating Complex Production Automation Systems. SEKE 2010: 478-482 - Elder de Macedo Rodrigues, Leonardo D. Viccari, Avelino F. Zorzo:
PLeTs-Test Automation using Software Product Lines and Model Based Testing. SEKE 2010: 483-488 - Yuri Shewchuk, Vahid Garousi:
Experience with Maintenance of a Functional GUI Test Suite using IBM Rational Functional Tester. SEKE 2010: 489-494
Agent-Based Systems
- Abdel Halim Elamy, Behrouz H. Far, Richard Long:
A Multiagent System for Automate Detection and Diagnosis of Active Tuberculosis on Chest Radiograph and CT Thorax. SEKE 2010: 495-498 - Antonio Carlos de Arruda Junior, Alessandro Ferreira Leite, Cícero Roberto Ferreira de Almeida, Alba Cristina Magalhaes Alves de Melo, Li Weigang:
Impact Analysis Model for Brasília Area Control Center using Multi-agent System with Reinforcement Learning. SEKE 2010: 499-502 - Ichiro Satoh:
Mobile Agents for Active Media. SEKE 2010: 503-508 - Ingrid Nunes, Simone Diniz Junqueira Barbosa, Carlos José Pereira de Lucena:
An End-user Domain-specific Model to Drive Dynamic User Agents Adaptations. SEKE 2010: 509-514
Ontologies and Slow Intelligence Methodology
- Feten Baccar Ben Amar, Bilel Gargouri, Abdelmajid Ben Hamadou:
Towards Generation of Domain Ontology from LMF Standardized Dictionaries. SEKE 2010: 515-520 - Emilio Zegarra, Francesco Colace, Massimo De Santo, Shi-Kuo Chang:
An Ontology-based Configurator for Customized Product Information based upon the Slow Intelligence Systems Approach. SEKE 2010: 521-528 - Mauricio Jacó Cerri, Cristiane A. Yaguinuma, Marcela Xavier Ribeiro, Marilde Terezinha Prado Santos:
UFOCoRe: Exploring Fuzzy Relations According to Specific Contexts. SEKE 2010: 529-542
Software Vulnerability
- Xiang Fu, Chung-Chih Li:
A String Constraint Solver for Detecting Web Application Vulnerability. SEKE 2010: 535-542 - Ming Huang, Yisha Lu, Qingkai Zeng:
Towards a Structured Model for Software Vulnerabilities. SEKE 2010: 543-547
Social Networks and Web Mining
- Christophe Thovex, Francky Trichet:
Dynamic and semantic social networks analysis: a new model based on a multidisciplinary approach. SEKE 2010: 548-552 - Ricardo M. Marcacini, Solange O. Rezende:
Incremental Construction of Topic Hierarchies using Hierarchical Term Clustering. SEKE 2010: 553
Software Security
- Patrice Arruda, Pierre Chamoun, Dwight Deugo:
A Framework for Detecting Code Piracy Using Class Structure. SEKE 2010: 559-564 - Michael E. Shin, Nipul Patel, Snehadeep Sethia:
Detection of Malicious Software Engineer Intrusion. SEKE 2010: 565-570 - Mohamed El-Attar:
Developing Precise Misuse Cases with Security Robustness Analysis. SEKE 2010: 571-576
Software Product Lines and Tools
- Souvik Barat, Vinay Kulkarni:
Developing configurable extensible code generators for model-driven development approach. SEKE 2010: 577-582 - Nishigandha Hirve, Tukaram Muske, Ulka Shrotri, R. Venkatesh:
Feature based Structuring and Composing of SDLC Artifacts. SEKE 2010: 583-586 - Selim Kalayci, Gargi Dasgupta, Liana Fong, Onyeka Ezenwoye, Seyed Masoud Sadjadi:
Distributed and Adaptive Execution of Condor DAGMan Workflows. SEKE 2010: 587-590 - Nuyun Zhang, Gang Huang, Ying Zhang, Ning Jiang, Hong Mei:
Towards Automated Synthesis of Executable Eclipse Tutorials. SEKE 2010: 591-598
Knowledge Engineering Systems
- Tessa Adderley, Sheryl Duggins, Frank Tsui:
An Examination of a Rule-Based Expert System to Aid in the Implementation of the CMMI Framework. SEKE 2010: 599-603 - Simon Suigen Guo, Christine W. Chan, Robert Harrison:
Tools for Ontology Modeling and Visualization. SEKE 2010: 604-607 - Lidia Martins da Silva, Ana Estela Antunes da Silva:
Modeling and Testing a Knowledge Base for Instructing Users to Choose the Classification Task in Relational Data Mining. SEKE 2010: 608-613 - Mari Carmen Suárez-Figueroa, Asunción Gómez-Pérez, Óscar Muñoz-García, Martín Vigo:
gOntt, a Tool for Scheduling and Executing Ontology Development Projects. SEKE 2010: 614-619
Software Project Management
- Stefan Biffl, Wikan Danar Sunindyo, Thomas Moser:
A Project Monitoring Cockpit Based On Integrating Data Sources in Open Source Software Development. SEKE 2010: 620-627 - Elisa Yumi Nakagawa, João Vítor Tornisiello Trevisan, José Carlos Maldonado:
Software Configuration Management as a Crosscutting Concern: An Example on Software Testing. SEKE 2010: 628-633 - Emadoddin Livani, Günther Ruhe:
Decision Support for Staffing of the Next Software Product Release. SEKE 2010: 634-639 - Rose Williams, Jim Graham, Katrina Reffett, Myles Wallace:
Predicting Project Health Prior to Inception. SEKE 2010: 640-644
Software Engineering Tools and Experience Report
- Sachoun Park, Taeman Han, Hyoungju Lim, Gihwon Kwon:
OCL Evaluation on AUTOSAR Model. SEKE 2010: 645-648 - Amir A. Khwaja, Joseph E. Urban:
Intertwining Implementation with the RealSpec Executable Real-Time Specification Language. SEKE 2010: 649-652 - Michael E. Shin, Hemanth Thimme Gowda, Taeghyun Kang, Sunghoon Kim, Seungwook Jung, Choulsoo Jang, Byoungyoul Song:
Self-Management of Component Executors for Robot Applications. SEKE 2010: 653-656
Agent-Based Software Engineering and Applications
- Lily Chang, Xudong He:
A Multi-Agent Model for a Business Continuity Information Network. SEKE 2010: 657-663 - Soumaya Slimani, Salah Baïna, Karim Baïna:
Agent-based Architecture for Service Ontology evolution management. SEKE 2010: 664-667 - Vinitha Hannah Subburaj, Joseph E. Urban:
Intelligent Software Agent Design Issues with Extensions to the Descartes Specification Language. SEKE 2010: 668-671 - Csaba J. Egyhazy:
Meta Context for Agent Planning. SEKE 2010: 672-674
Component-Based Software Engineering
- Nacim Yanes, Sihem Ben Sassi, Henda Hajjami Ben Ghézala:
Software Components Search Approaches in the Context of COTS-based Development. SEKE 2010: 675-679 - Huaxi (Yulin) Zhang, Christelle Urtado, Sylvain Vauttier:
Architecture-centric development and evolution processes for component-based software. SEKE 2010: 680-685 - Hamdy Ibrahim, Tom Wanyama, Armin Eberlein, Behrouz H. Far:
Conflict Analysis in Commercial Off-The-Shelf (COTS) Based Development. SEKE 2010: 686-691 - Chengpu Li, Xiaodong Liu, Jessie B. Kennedy:
Achieve Semantic-based Precise Component Selection via an Ontology Model Interlinking Application Domain and MVICS. SEKE 2010: 692-697
Process and Project Management
- Mostafa Madiesh, Guido Wirtz:
A Top-Down Method for Secure SOA-based B2B Processes. SEKE 2010: 698-703 - Miguel Morales Trujillo, Guadalupe E. Ibarguengoitia, Francisco J. Pino, Mario Piattini:
Supporting Software Process Improvement in Very Small Entities through a Template-based Guide. SEKE 2010: 704-709