Proceedings of the 25th International Conference on Software Engineering & Knowledge Engineering (SEKE'2013)
Hyatt Harborside at Logan Int'l Airport, Boston, USA June 27 - June 29, 2013
Knowledge Systems Institute Graduate School 2013

ISBN 1-891706-33-0
ISSN: 2325-9000

<h3>Keynotes</h3>
<ul>
<li>
Rosalind W. Picard:
Surprising discoveries from emotion sensors.
0 - 0
</li>
<li>
Shi-Kuo Chang:
Environment-Aware Software Engineering.
0 - 0
</li>
<li>
Taghi M. Khoshgoftaar:
Overcoming Big Data Challenges.
0 - 0
</li>
</ul>

<h3>Software Security</h3>
<ul>
<li>
Oscar Mortagua Pereira, Rui L. Aguiar, Maribel Yasmina Santos:
Runtime Values Driven by Access Control Policies - Statically Enforced at the Level of Relational Business Tiers.
1-7
<li>
Meiru Che, Dewayne E. Perry:
Exploring Architectural Design Decision Management Paradigms for Global Software Development.
8-13
<li>
Lijuan Diao, Wei She, I-Ling Yen, Junzhong Gu:
A Semantic-based Semi-automated Role Mapping Mechanism (S).
14-17
</ul>
<h3>Process and Workflow Management</h3>
<ul>
<li>
J.g Lenhard, Guido Wirtz:
Detecting Portability Issues in Model-Driven BPEL Mappings (S).
18-21
<li>
Ivens da S. Portugal, Toacy C. Oliveira:
Introducing Software Process Specification to Task Context (S).
22-25
<li>
Renata M. de Carvalho, Natalia C. Silva, Cesar A. L. Oliveira, Ricardo M. F. Lima:
A Solution to the State Space Explosion Problem in Declarative Business Process Modeling (S).
26-29
</ul>
<h3>Requirements Engineering</h3>
<ul>
<li>
Corentin Burnay, Ivan J. Jureta, St.hane Faulkner:
Context Factors: What they are and why they matter for Requirements Problems.
30-35
<li>
Andre Di Thommazo, Thiago Ribeiro, Guilherme Olivato, Rafael Rovina, Vera Werneck, Sandra Fabbri:
Detecting traceability links through neural networks.
36-41
<li>
Karen Najera, Alicia Martinez, Anna Perini, Hugo Estrada:
Generating Ontologies through Organizational Modeling.
42-47
<li>
Rafael T. Anchi.a, Rog.io F. de Sousa, Raimundo S. Moura:
Using NLP Techniques for Identifying GUI Prototypes and UML Diagrams From Use Cases.
48-53
<li>
Mohd Sadiq, S K Jain:
A fuzzy based approach for requirements prioritization in goal oriented requirements elicitation process (S).
54-58
<li>
Jinwu Wang, Fan Zhang, Xiaoqing (Frank) Liu, Eric Barnes, Buqing Cao, Mingdong Tang:
Integrating Functional with Non-functional Requirements Analysis In Object Oriented Modeling Tool Based on HOOMT (S).
59-62
<li>
Mohammad Moshirpour, Armin Eberlein, Behrouz H. Far:
Automated Construction of System Domain Knowledge Using an Ontology-Based Approach (S).
63-66
</ul>
<h3>Cloud Computing</h3>
<ul>
<li>
Andr.Almeida, Everton Cavalcante, Thais Batista, N.io Cacho, Frederico Lopes, Flavia Delicato, Paulo Pires:
Dynamic Adaptation of Cloud Computing Applications.
67-72
<li>
Robert Carreras, Du Zhang, Jinsong Ouyang:
A Machine Learning Based File Archival Tool (S).
73-76
<li>
Huiqun Yu, Guisheng Fan, Liqiong Chen, Dongmei Liu:
Modeling and Analyzing Attack-Defense Strategy of Resource Service in Cloud Computing.
77-82
</ul>
<h3>Software Engineering Decision Support</h3>
<ul>
<li>
Pablo Pytel, Paola Britos, Ram. Garc.-Mart.ez:
Proposal and Validation of a Feasibility Model for Information Mining Projects (S).
83-88
<li>
S. M. Didar-Al-Alam, Guenther Ruhe, Dietmar Pfahl:
Decision Support for Re-planning of Software Product Releases (S).
89-94
<li>
Everton Gomede, Rodolfo M. Barros:
A Non-Intrusive Process to Software Engineering Decision Support focused on increasing the Quality of Software Development (S).
95-100
</ul>
<h3>Social Media</h3>
<ul>
<li>
Jo. Gomes, Ricardo Prud.cio, Luciano Meira, Alexandre Azevedo Filho, Andr.Nascimento, Hil.io Oliveira:
Group Profiling for Understanding Educational Social Networking.
101-106
<li>
Derek Doran, Swapna S. Gokhale, Aldo Dagnino:
Understanding Common Perceptions from Online Social Media.
107-112
<li>
Aftab Iqbal, Marcel Karnstedt, Michael Hausenblas:
Analyzing Social Behavior of Software Developers Across Different Communication Channels (S).
113-118
<li>
Karthikeyan Rajasekharan, Aditya P Mathur, See-Kiong Ng:
Effective Crowdsourcing for Software Feature Ideation in Online Co-Creation Forums.
119-124
</ul>
<h3>Human Computer Interaction</h3>
<ul>
<li>
Ronald Maier, Johannes Sametinger:
Profiles for Convenient Front-end Privacy.
125-130
<li>
Yihua Lou, Wenjun Wu:
A Real-time Personalized Gesture Interaction System Using Wii Remote and Kinect for Tiled-Display Environment.
131-136
<li>
Andre de O. Bueno, Junia C. Anacleto:
Releasing the OMCS-Br Knowledgebase to Facilitate Insertion of Culture in Applications: Brazilian Experience (S).
137-140
</ul>
<h3>Data and Knowledge Visualization</h3>
<ul>
<li>
Katia Romero Felizardo, Ellen Francine Barbosa, Jos.Carlos Maldonado:
A Visual Approach to Validate the Selection Review of Primary Studies in Systematic Reviews: A Replication Study.
141-146
<li>
Saulius Astromskis, Andrea Janes, Alberto Sillitti, Giancarlo Succi:
Andon for Dentists (S).
147-152
<li>
Mehmet Kaya, James W. Fawcett:
Identifying Extract Method Opportunities Based on Variable References (S).
153-158
</ul>
<h3>Software Engineering Tools and Environments</h3>
<ul>
<li>
Kazuki Nishiura, Yuta Maezawa, Hironori Washizaki, Shinichi Honiden:
Mutation Analysis for JavaScriptWeb Application Testing.
159-165
<li>
Rogene Lacanienta, Shingo Takada, Haruto Tanno, Morihide Oinuma:
A Knowledge-based Approach for Generating Test Scenarios for Web Applications.
166-171
<li>
Luis Rivero, Tayana Conte:
Improving Usability Inspection Technologies for Web Mockups through Empirical Studies.
<li>
Emil Al.roth:
Random Visual GUI Testing: Proof of Concept.
178-183
<li>
Hazeline U. Asuncion, Macneil Shonle, Robert Porter, Karen Potts, Nathan Duncan, William Joseph Matthies Jr.:
Using Change Entries to Collect Software Project Information.
184-189
<li>
Luiz Leandro Fortaleza, Olavo Olimpio Matos J.ior, Tayana Conte, S.gio Roberto Costa Vieira, Rafael Prikladnicki:
Improving Software Engineers  Skills through the Simulation of Distributed Software Development in Academic Environments.
190-195
<li>
Josiane Kroll, Rafael Prikladnicki, Jorge L. N. Audy, Erran Carmel, Jude Fernandez:
A Feasibility Study of Follow-the-Sun Software Development for GSD Projects (S).
196-199
</ul>
<h3>Structural Testing and Coverage</h3>
<ul>
<li>
V.ia de Oliveira Neves, M.cio Eduardo Delamaro, Paulo Cesar Masiero, Caio C.ar Teodoro Mendes, Denis Fernando Wolf:
Structural Testing of Autonomous Vehicles.
200-205
<li>
Luciano Augusto Fernandes Carvalho, V.ia de Oliveira Neves, Paulo Cesar Masiero:
Structural Testing of Exceptions Handling (S).
206-209
<li>
Yunxiao Zou, Chunrong Fang, Zhenyu Chen, Xiaofang Zhang, Zhihong Zhao:
A Hybrid Coverage Criterion for DynamicWeb Testing (S).
210-213
</ul>
<h3>Software Product Lines</h3>
<ul>
<li>
Anderson Marcolino, Edson Oliveira Junior, Itana Gimenes, Jos.Maldonado:
Towards the Effectiveness of a Variability Management Approach at Use Case Level.
214-219
<li>
Diego Spillere de Souza, Patr.ia Vilain:
Selecting Agile Practices for Developing Software Product Lines (S).
220-225
<li>
Andrea Janes, Sarunas Marciuska, Alessandro Sarcia, Giancarlo Succi:
Domain Analysis in Combination with Extreme Programming toAddress Requirements Volatility Problems (S).
226-231
<li>
Johnny Maikeo Ferreira, Silvia Regina Vergilio, Marcos Antonio Quinaia:
A Mutation Approach to Feature Testing of Software Product Lines.
232-237
<li>
Ivonei F. da Silva, Tassio Vale, Silvio R. L. Meira, Eduardo S. de Almeida:
Scrum-based Approach for Analyzing Commonalities and Variabilities in Software Product Lines.
238-243
<li>
R. AL-msie deen, A.-D. Seriai, M. Huchard, C. Urtado, S. Vauttier, H. Eyal Salman:
Mining Features from the Object-Oriented Source Code of a Collection of Software Variants Using Formal Concept Analysis and Latent Semantic Indexing.
244-249
<li>
Thibaut Possomp., Christophe Dony, Marianne Huchard, Chouki Tibermacine:
Model-Driven Generation of Context-Specific Feature Models.
250-255
</ul>
<h3>Software Domain and Meta-Modeling</h3>
<ul>
<li>
Feliu Trias, Valeria de Castro, Marcos L.ez-Sanz, Esperanza Marcos:
An ADM-based Method for migrating CMS-based Web applications.
256-261
<li>
Youness Bazhar, Yamine A.-Ameur, St.hane Jean:
BeMoRe: a Repository for Handling Models Behaviors.
262-267
<li>
Bell Manrique Losada, Carlos Mario Zapata Jaramillo:
Processing rhetorical, morphosyntactic, and semantic features from corporate technical documents for identifying organizational domain knowledge (S).
268-272
</ul>
<h3>Slow Intelligence and Intelligent Systems</h3>
<ul>
<li>
Wen-Hui Chen, Shi-Kuo Chang:
Swimming Activity Recognition Based on Slow Intelligence Systems.
273-276
<li>
Aleem Khalid Alvi, Robin Dawes:
Image Steganography Using Fuzzy Domain Transformation and Pixel Classification.
277-282
<li>
Lokesh Agrawal, Durga Toshniwal:
Smart Phone Based Indoor Pedestrian Localization System (S).
283-286
</ul>
<h3>Quality and Reliability</h3>
<ul>
<li>
Ran Wei, Haiping Xu:
A Formal Cost-Effectiveness Analysis Model for Product Evaluation in E-Commerce.
287-293
<li>
Yiwei Zhang, Eric Lo, Ben Kao :
On the Use of Bug and Predicate Signatures for Statistical Debugging.
249-299
<li>
Pedro Reales Mateo, Macario Polo Usaola:
BacterioORACLE: An Oracle suggester tool.
300-305
<li>
Tamer Abdou, Peter Grogono, Pankaj Kamthan:
Managing Corrective Actions to Closure in Open Source Software Test Process.
306-311
</ul>
<h3>Recommender Systems</h3>
<ul>
<li>
Tieke He, Xingzhong Du, Weiqing Wang, Zhenyu Chen, Jia Liu:
Comparing Collaborative Filtering Methods Based on User-Topic Ratings.
312-317
<li>
Xingzhong Du, Tieke He, Zhenyu Chen, Jia Liu, Chengfeng Hui:
ABEY: an Incremental Personalized Method Based on Attribute Entropy for Recommender Systems (S).
318-321
<li>
Yasha Wang, Jiangtao Wang, Yuxing Teng, Junfeng Zhao:
STERS: A System for Service Trustworthiness Evaluation and Recommendation based on the Trust Network (S).
322-325
</ul>
<h3>Web and Data Mining</h3>
<ul>
<li>
Klaus Marius Hansen, Konstantinos Manikas:
Towards a Network Ecology of Software Ecosystems: an Analysis of two OSGi Ecosystems.
326-331
<li>
Muhammad Rezaul Karim, Malek Mouhoub:
Revisiting the Performance of Weighted k-Nearest Centroid Neighbor Classifiers.
332-337
<li>
Ingrid Mar.l, Rog.io Eduardo Garcia, Ronaldo C. M. Correia, Celso Olivete Junior:
Mining Software Repository to Identify Crosscutting Concerns Using Combined Techniques (S).
338-343
</ul>
<h3>Software Architecture</h3>
<ul>
<li>
Alvine Boaye Belle, Ghizlane El Boussaidi,Christian Desrosiers, Hafedh Mili:
The Layered Architecture revisited: Is it an Optimization Problem?.
344-349
<li>
Ellen Francine Barbosa, Maria Lydia Fioravanti, Elisa Yumi Nakagawa, Jos.Carlos Maldonado:
Towards the Establishment of a Reference Architecture for Developing Learning Environments.
350-355
<li>
Chuanqi Tao, Bixin Li, Jerry Gao:
Testing Configurable Architectures For Component-Based Software Using an Incremental Approach.
356-361
</ul>
<h3>Software Maintenance</h3>
<ul>
<li>
Yanchun Sun, Hui Song, Wenpin Jiao:
Using Architecture to Support the Collaborations in Software Maintenance.
362-357
<li>
Seonghye Yoon, Sunghyun Min, Sooyong Park, Soojin Park:
Reverse Engineering of Sequence Diagrams by Merging Call Trees.
368-374
<li>
Cristiano Maffort, Marco Tulio Valente, Mariza Bigonha, Andr.Hora, Nicolas Anquetil, Jonata Menezes:
Mining Architectural Patterns Using Association Rules.

<li>
Zi Yuan, Lili Yu, Chao Liu:
Bug Prediction for Fine-Grained Source Code Changes.
381-387
</ul>
<h3>Security and Fault Tolerance</h3>
<ul>
<li>
Lydia Bouzar-Benlabiod, Salem Benferhat, Thouraya Bouabana-Tebibel:
An efficient QCL-based alert correlation process.
388-393
<li>
Bandar Alshammari, Colin Fidge, Diane Corney:
Security Metrics for Java Bytecode Programs (S).
394-399
<li>
Lili Yu, Zi Yuan, Chao Liu, Feng Chen:
An Empirical Study of an Improved Web Application Fuzz Testing Technique (S).
400-404
</ul>
<h3>Petri Nets</h3>
<ul>
<li>
Frederico M. Bublitz, Lenardo C. e Silva, Elthon A. da S. Oliveira, Saulo O. D. Luiz, Hyggo O. de Almeida, Angelo Perkusich:
A Petri Net Model Specification for Delivering Adaptable Ads through Digital Signage in Pervasive Environments.
405-410
<li>
Junhua Ding, Dianxiang Xu, Jidong Ge:
An Approach for Analyzing Software Specifications in Petri Nets.
411-416
<li>
Daniel Yuh Chao, T. H. Yu:
A Best Method to Synthesize Very Large K-th Order Systems without Reachability Analysis (S).
417-420
</ul>
<h3>Pervasive Computing</h3>
<ul>
<li>
Yong Deng, Zhonghai Wu, D. Frank Hsu:
Combining multiple stress identification algorithms using combinatorial fusion.
421-428
<li>
Ryan Rybarczyk, Rajeev Raje, Mihran Tuceryan:
eDOTS 2.0: A Pervasive Indoor Tracking System.
429-434
<li>
Caio Silva, M.A.R Dantas:
A context-aware approach on semantic trajectories (S).
435-440
</ul>
<h3>Software Architecture and Quality</h3>
<ul>
<li>
Mohamad Kassab, Ghizlane El Boussaidi:
Towards Quantifying Quality, Tactics and Architectural Patterns Interactions (S).
441-446
<li>
Paloma Oliveira, Hudson Borges, Marco Tulio Valente, Heitor Augustus Xavier Costa:
Metrics-based Detection of Similar Software (S).
447-450
<li>
Jos.Filipe Marreiros Santos, Milena Guessi, Matthias Galster, Daniel Feitosa, Elisa Yumi Nakagawa:
A Checklist for Evaluation of Reference Architectures of Embedded Systems (S).
451-454
</ul>
<h3>Measurement and Empirical SE</h3>
<ul>
<li>
Sihai Lin, Yutao Ma, Jianxun Chen:
Empirical Evidence on Developer s Commit Activity for Open-Source Software Projects.
455-460
<li>
Gul Calikli, Ayse Bener:
The Impact of Confirmation Bias on the Release-based Defect Prediction of Developer Groups.
461-466
<li>
Huanjing Wang, Taghi M. Khoshgoftaar, Randall Wald, Amri Napolitano:
A Study on First Order Statistics-Based Feature Selection Techniques on Software Metric Data.
467-472
<li>
Khaled Shams, Haitham Hamza, Amr Kamel:
Software Effort Estimation using Regularized Radial Basis Function Neural Networks.
473-478
<li>
Mohamed Elshaarawy, Haitham S.Hamza, Ismail Taha:
Towards a Unified Framework for Measuring the Properties of Class Diagrams Augmented with OCL (S).
479-482
<li>
Ali Idri, Aya Hassani, Alain Abran:
Assessing RBFN-Based Software Cost Estimation Models (S).
483-487
<li>
Jefferson Seide Moll.i, Luiz Eduardo da Silva, Fabiane Barreto Vavassori Benitti:
Proposal of an Automated Approach to Support the Systematic Review of Literature Process (S).
488-493
<li>
Renato C. Juliano, Bruno A. N. Traven.lo, Michel S. Soares, Marcelo de A. Maia:
Automated Computation of Use Cases Similarity can Aid the Assessment of Cohesion and Complexity of Classes (S).
494-499
<li>
Francisco Carlos M. Souza, Alinne C. Corr. dos Santos, Vinicius Pereira, Ellen Francine, Vin.ius Ramos Toledo Ferraz:
Generation of Thematic Maps using WPS-Cartographer: An experimental study (S).
500-503
<li>
Mar.ia Freire, Daniel Costa, Edmilson Campos, Tain.Medeiros, Uir.Kulesza, Eduardo Aranha, S.gio Soares :
Automated Support for Controlled Experiments in Software Engineering: A Systematic Review (S).
504-509
</ul>
<h3>Mobile Systems</h3>
<ul>
<li>
Gibeon Soares de Aquino J.ior, Itamir de Morais Barroca Filho:
SIGAA Mobile   A sucessful experience of constructing a mobile application from a existing web system.
510-515
<li>
Ricardo P.ez-Castillo, Ignacio Garc.-Rodr.uez de Guzm., Rafael G.ez-Cornejo, Maria Fernandez-Ropero, Mario Piattini:
ANDRIU. A Technique for Migrating Graphical User Interfaces to Android (S).
516-519
<li>
Luis Corral, Alberto Sillitti, Giancarlo Succi:
Using a Partially Instantiated GQM to Measure the Quality of Mobile Applications (S).
520-524
</ul>
<h3>Software Maintenance and Quality</h3>
<ul>
<li>
He Li, Mengxiang Lin, Tahir Jameel, Zhenyuan Jiang:
Locating and Understanding Concurrency Bugs Based on Edge-labeled Communication Graphs (S).
525-530
<li>
Fernanda Madeiral Delfim, Rog.io Eduardo Garcia:
Multiple Coordinated Views to Support Aspect Mining Using Program Slicing (S).
531-536
<li>
Yasha Wang, Jiangtao Wang, Jiakuan Ma, Bing Xie:
How Does Acquirer s Participation Influence Performance of Software Projects: A Quantitative Analysis (S).
537-541
</ul>
<h3>Web-based Knowledge Management</h3>
<ul>
<li>
D. R. Plante:
Synchronized Data Acquisition from Web Services Serving at Disparate Rates.
542-547
<li>
Fabr.io S. Severo, Lisandra M. Fontoura, Lu. A. L. Silva:
A Dialogue Game Approach to Collaborative Risk Management (S).
548-551
<li>
Fl.io E. A. Horita, Marco I. Hisatomi, Fernando H. Gaffo, Rodolfo M. de Barros:
Maturity Model and Lesson Learned for improve the Quality of Organizational Knowledge and Human Resources Management in Software Development (S).
552-555
</ul>
<h3>Knowledge Management in Software Engineering</h3>
<ul>
<li>
Mojtaba Shahin, Peng Liang, Zengyang Li:
Recovering Software Architectural Knowledge from Documentation using Conceptual Model.
556-561
<li>
E. F. Souza, R. A. Falbo, N. L. Vijaykumar:
Knowledge Management Applied to Software Testing: A Systematic Mapping.
562-567
<li>
Dan Tofan, Matthias Galster, Paris Avgeriou:
Improving Architectural Knowledge Management in Public Sector Organizations   an Interview Study (S).
568-573
<li>
Naomi Unkelos-Shpigel, Irit Hadar, Meira Levy:
Enhancing Deployment Requirements  Traceability via Knowledge Management Audit (S).
574-577
</ul>
<h3>Testing and Fault Diagnosis</h3>
<ul>

<li>
Ziyuan Wang, Ting Guo, Wujie Zhou, Weifeng Zhang, Baowen Xu:
Generating Partial Covering Array for Locating Faulty Interactions in Combinatorial Testing.
578-583
<li>
Crescencio Rodrigues Lima Neto, Ivan do Carmo Machado, Vinicius Cardoso Garcia, Eduardo Santana de Almeida:
Analyzing the Effectiveness of a System Testing Tool for Software Product Line Engineering (S).
584-588
<li>
Yihan Li, Chao Liu, Zi Yuan:
Exploiting Weights of Test Cases to Enhance Fault Localization (S).
589-593
</ul>
<h3>Programming Languages and Software Engineering</h3>
<ul>
<li>
Fumiya Kato, Kazunori Sakamoto, Hironori Washizaki, Yoshiaki Fukazawa:
Comparative Evaluation of Programming Paradigms: Separation of Concerns with Object-, Aspect-, and Context-Oriented Programming (S).
594-599
<li>
Kazunori Sakamoto, Hironori Washizaki, Yoshiaki Fukazawa:
Extended Design Patterns in New Object-Oriented Programming Languages (S).
600-605
<li>
Fei Liu, Lulu Wang, Bixin Li:
ELCD: an efficient online cycle detection technique for pointer analysis.
606-611
</ul>
<h3>Arti.cial Intelligence Approaches to Software Engineering</h3>
<ul>
<li>
Kehan Gao, Taghi M. Khoshgoftaar, Amri Napolitano:
Exploring Ensemble-Based Data Preprocessing Techniques for Software Quality Estimation.
612-617
<li>
Catherine Stringfellow, Sreya Reddy, Raaji Vedala-Tiramula, Swetha Myneni:
Comparison of SRGMs and NNEs on Multiple Data Sets.
618-623
<li>
Yue Yu, Huaimin Wang, Gang Yin, Xiang Li, Cheng Yang:
HESA: The Construction and Evaluation of Hierarchical Software Feature Repository.
624-631
<li>
Wesley Klewerton Guez Assun.o, Silvia Regina Vergilio:
Class Diagram Retrieval with Particle Swarm Optimization.
632-637
</ul>
<h3>Software Process and Quality</h3>
<ul>
<li>
Cristiane Soares Ramos, Ana Regina Rocha, K.hia Mar.l de Oliveira:
Towards a strategy for analysing benefits of Software Process Improvement programs.
638-643
<li>
Ricardo P.ez-Castillo, Maria Fern.dez-Ropero, Mario Piattini, Danilo Caivano:
How Does Refactoring Affect Understandability of Business Process Models? (S).
644-649
<li>
S.astien Adam, Ghizlane El Boussaidi:
A multi-dimensional approach for analyzing software artifacts.
650-655
</ul>
<h3>Semantic Analysis</h3>
<ul>
<li>
Val.ia Oliveira Costa, Jo. M. B. Oliveira Junior, Leonardo Gresta Paulino Murta:
Semantic Conflicts Detection in Model-driven Engineering.
656-661
<li>
Thiago P. da Silva, Thais Batista, Frederico Lopes, Flavia C. Delicato, Paulo F. Pires:
Automatic Generation of Semantic Web Services.
662-667
<li>
Elanne Cristina Oliveira dos Santos, Gleison Brito Batista, Esteban Walter Gonzales Clua:
A Knowledge Modeling System for Semantic Analysis of Games Applied to Programming Education.
668-673
<li>
Tamer Fares Gayed, Hakim Lounis, Moncef Bari:
Representing Chains of Custody Along a Forensic Process: A Case Study on Kruse Model.
674-680
</ul>
<h3>Agents and Ontologies</h3>
<ul>
<li>
Ashwag Omar Marghraby, Dave Robertson:
ARGUMENTATION UNDERSTOOD AS PROGRAM SYNTHESIS (S).
681-684
<li>
Animesh Dutta, Sudipta Acharya, Aneesh Krishna, Swapan Bhattacharya:
Virtual Medical Board: A Distributed Bayesian Agent Based Approach (S).
685-688
<li>
Nada Bajnaid, Rachid Benlamri, Algirdas Pakstas, Shahram Salekzamankhani:
Software Quality Assurance Ontology from Development to Evaluation (S).
689-694
</ul>
<h3>Embedded and Ubiquitous Software Engineering</h3>
<ul>
<li>
Fan Wu, Hehua Zhang, Ming Gu:
DOPROPC: a domain property pattern system helping to specify control system requirements (S).
695-698
<li>
Xiaofang Qi, Jun He, Peng Wang:
A Mixed-way Combinatorial Testing for Concurrent Programs (S).
699-702
<li>
Ferry Pramudianto, Indra Rusmita Indra, Mathias Jarke:
Model Driven Development for Internet of Things Application Prototyping.
703-708
</ul>
<h3>Embedded and Ubiquitous Software Engineering</h3>
<ul>
<li>
Selim Kalayci, S. Masoud Sadjadi:
Pattern-based Decentralization and Run-time Adaptation Framework for Multi-site Workflow Orchestrations.
709-714
<li>
Patricia Dousseau Cabral, Ricardo Pereira e Silva, Roberto Silvino da Cunha:
Framework for digital voting systems (S).
715-720
<li>
F.io P. Basso, Cl.dia M. L. Werner, Raquel M. Pillat, Toacy C. Oliveira:
How do You Execute Reuse Tasks Among Tools?.
721-726
<li>
Hamdi A. Al-Jamimi, Moataz Ahmed:
Using Prolog Rules to Detect Software Design Patterns: Strengths and Weaknesses (S).
727-730
</ul>
<h3>Adaptive Systems</h3>
<ul>
<li>
Daniel H. Carmo, Sergio T. Carvalho, Leonardo G. P. Murta, Orlando Loques:
Runtime Monitoring and Auditing of Self-Adaptive Systems (S).
731-736
<li>
Joice B. Machado, Gustavo L. Martins, Seiji Isotani, Ellen F. Barbosa:
An ontology-based user model for personalization of educational content (S).
737-740
<li>
Sandro S. Andrade, Raimundo Jos.de A. Mac.o:
Architectural Design Spaces for Feedback Control Concerns in Self-Adaptive Systems (S).
741-746
</ul>
<h3>Software Maintenance and Evolution</h3>
<ul>
<li>
Chessman Corr., Toacy Oliveira, Cl.dia Werner:
Towards Coupled Evolution of Metamodels, Models, Graph-Based Transformations and Traceability Links (S).
747-752
<li>
Ricardo Terra, Jo. Brunet, Luis Miranda, Marco T.io Valente, Dalton Serey, Douglas Castilho, Roberto Bigonha:
Measuring the Structural Similarity between Source Code Entities (S).
753-758
<li>
David Kung:
On Use Case Identification.
759-764
</ul>
<h3>Poster/Demo</h3>
<ul>
<li>
Sadra Abedinzadeh, Samira Sadaoui:
ScubAA: A Human Plausible Reasoning Approach to Agent Trust Management.
A-1 - A-2
<li>
Hyunjun Jung, Sukhoon Lee, Doo-Kwon Baik:
Attribute-Value based Reconfiguration Model for Sensor Network Environ.
A-3 - A-4
<li>
Sandro S. Andrade, Raimundo Jos.de A. Mac.o:
DuSE-MT: From Design Spaces to Automated Software Architecture Design.
A-5 - A-6
</ul>
<b>Note:</b>
<br>
(S) indicates a short paper.
<br>
(P) indicates a poster or demo, which is not a refereed paper.