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
Software Quality
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
- Raphael Romeikat, Bernhard Bauer, Henning Sanneck:
Modeling of Domain-Specific ECA Policies.
52-58
- 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
Concurrent Software
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
Software Testing and Debugging
- Masaru Shiozuka, Naoyasu Ubayashi, Yasutaka Kamei:
Debug Concern Navigator.
197-202
- 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 S. L. 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, Wheichang 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
- Sérgio Assis Rodrigues, Jano Moreira de Souza:
How IT Professionals Face Negotiations.
264-267
- 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öorjesson, 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
Knowledge Acquisition
Knowledge Representation and Visualization
Web and Data Mining
Ontologies and Methodologies
Software Maintenance and Evolution
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
- Su Liu, Reng Zeng, Xudong He:
An Empirical Study on Classification of Non-Functional Requirements.
444-449
- 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 S. 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
- Xin Gao, Wenhui Hu, Wei Ye, Shikun Zhang:
Data Uncertainty Model for Mashup.
503-508
- 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
- Ge Li, Zhi Jin:
An Ontology based Method for Building Understandable Hierarchical Classification Structure for Software Assets Browsing.
521-526
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
Agile-Based Software Engineering
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
Software Process Modeling & Maturity
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
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
- Giorgio Valle, Bruno Apolloni:
Cloud Engineering approach in business innovation.
02-03
- 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
Last update Fri May 25 08:36:28 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
