


default search action
25th SEKE 2013: Boston, MA, USA
- The 25th International Conference on Software Engineering and Knowledge Engineering, Boston, MA, USA, June 27-29, 2013. Knowledge Systems Institute Graduate School 2013

Keynote
- Rosalind W. Picard:

Surprising discoveries from emotion sensors. SEKE 2013: xxvii - Shi-Kuo Chang:

Environment-Aware Software Engineering. SEKE 2013: xxviii - Taghi M. Khoshgoftaar:

Overcoming Big Data Challenges. SEKE 2013: xxix
Software Security
- Óscar Mortágua Pereira, Rui L. Aguiar, Maribel Yasmina Santos:

Runtime Values Driven by Access Control Policies - Statically Enforced at the Level of Relational Business Tiers. SEKE 2013: 1-7 - Meiru Che, Dewayne E. Perry:

Exploring Architectural Design Decision Management Paradigms for Global Software Development. SEKE 2013: 8-13 - Lijuan Diao, Wei She, I-Ling Yen, Junzhong Gu:

A Semantic-based Semi-automated Role Mapping Mechanism (S). SEKE 2013: 14-17
Process and Workfl ow Management
- Jörg Lenhard, Guido Wirtz:

Detecting Portability Issues in Model-Driven BPEL Mappings (S). SEKE 2013: 18-21 - Ivens Da Silva Portugal, Toacy C. Oliveira:

Introducing Software Process Specification to Task Context (S). SEKE 2013: 22-25 - Natália C. Silva, César A. L. de Oliveira, Ricardo M. F. Lima:

A Solution to the State Space Explosion Problem in Declarative Business Process Modeling (S). SEKE 2013: 26-29
Requirements Engineering
- Corentin Burnay, Ivan Jureta, Stéphane Faulkner:

Context Factors: What they are and why they matter for Requirements Problems. SEKE 2013: 30-35 - André Di Thommazo, Thiago Ribeiro de Oliveira, Guilherme Olivatto, Rafael Rovina, Vera Werneck, Sandra C. P. F. Fabbri:

Detecting traceability links through neural networks. SEKE 2013: 36-41 - Karen Najera, Alicia Martínez, Anna Perini, Hugo Estrada:

Generating Ontologies through Organizational Modeling. SEKE 2013: 42-47 - Rafael T. Anchiêta, Rogério F. de Sousa, Raimundo Santos Moura:

Using NLP Techniques for Identifying GUI Prototypes and UML Diagrams From Use Cases. SEKE 2013: 48-53 - Mohd. Sadiq, S. K. Jain:

A fuzzy based approach for requirements prioritization in goal oriented requirements elicitation process (S). SEKE 2013: 54-58 - Jinwu Wang, Fan Zhang, Xiaoqing (Frank) Liu, Eric Christopher Barnes, Buqing Cao, Mingdong Tang:

Integrating Functional with Non-functional Requirements Analysis In Object Oriented Modeling Tool Based on HOOMT (S). SEKE 2013: 59-62 - Mohammad Moshirpour, Armin Eberlein, Behrouz H. Far:

Automated Construction of System Domain Knowledge Using an Ontology-Based Approach (S). SEKE 2013: 63-66
Cloud Computing
- André Almeida, Everton Cavalcante, Thaís Batista, Nélio Cacho, Frederico Lopes, Flávia Coimbra Delicato, Paulo F. Pires:

Dynamic Adaptation of Cloud Computing Applications. SEKE 2013: 67-72 - Robert Carreras, Du Zhang, Jinsong Ouyang:

A Machine Learning Based File Archival Tool (S). SEKE 2013: 73-76 - Huiqun Yu, Guisheng Fan, Liqiong Chen, Dongmei Liu:

Modeling and Analyzing Attack-Defense Strategy of Resource Service in Cloud Computing. SEKE 2013: 77-82
Software Engineering Decision Support
- Pablo Pytel, Paola Britos, Ramón García-Martínez:

Proposal and Validation of a Feasibility Model for Information Mining Projects (S). SEKE 2013: 83-88 - S. M. Didar Al Alam, Günther Ruhe, Dietmar Pfahl:

Decision Support for Re-planning of Software Product Releases (S). SEKE 2013: 89-94 - Everton Gomede, Rodolfo M. Barros:

A Non-Intrusive Process to Software Engineering Decision Support focused on increasing the Quality of Software Development (S). SEKE 2013: 95-100
Social Media
- João Gomes, Ricardo B. C. Prudêncio, Luciano Meira, Alexandre Azevedo Filho, André C. A. Nascimento, Hilário Oliveira:

Group Profiling for Understanding Educational Social Networking. SEKE 2013: 101-106 - Derek Doran, Swapna S. Gokhale, Aldo Dagnino:

Understanding Common Perceptions from Online Social Media. SEKE 2013: 107-112 - Aftab Iqbal, Marcel Karnstedt, Michael Hausenblas:

Analyzing Social Behavior of Software Developers Across Different Communication Channels (S). SEKE 2013: 113-118 - Karthikeyan Rajasekharan, Aditya P. Mathur, See-Kiong Ng:

Effective Crowdsourcing for Software Feature Ideation in Online Co-Creation Forums. SEKE 2013: 119-124
Human Computer Interaction
- Ronald Maier, Johannes Sametinger:

Profiles for Convenient Front-end Privacy. SEKE 2013: 125-130 - Yihua Lou, Wenjun Wu:

A Real-time Personalized Gesture Interaction System Using Wii Remote and Kinect for Tiled-Display Environment. SEKE 2013: 131-136 - André de Oliveira Bueno, Júnia Coutinho Anacleto:

Releasing the OMCS-Br Knowledgebase to Facilitate Insertion of Culture in Applications: Brazilian Experience (S). SEKE 2013: 137-140
Data and Knowledge Visualization
- Kátia 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. SEKE 2013: 141-146 - Saulius Astromskis, Andrea Janes, Alberto Sillitti, Giancarlo Succi:

Andon for Dentists (S). SEKE 2013: 147-152 - Mehmet Kaya, James W. Fawcett:

Identifying Extract Method Opportunities Based on Variable References (S). SEKE 2013: 153-158
Software Engineering Tools and Environments
- Kazuki Nishiura, Yuta Maezawa, Hironori Washizaki, Shinichi Honiden:

Mutation Analysis for JavaScriptWeb Application Testing. SEKE 2013: 159-165 - Rogene Lacanienta, Shingo Takada, Haruto Tanno, Morihide Oinuma:

A Knowledge-based Approach for Generating Test Scenarios for Web Applications. SEKE 2013: 166-171 - Luis Rivero, Tayana Conte:

Improving Usability Inspection Technologies for Web Mockups through Empirical Studies. SEKE 2013: 172-177 - Emil Alégroth:

Random Visual GUI Testing: Proof of Concept. SEKE 2013: 178-183 - Hazeline U. Asuncion, Macneil Shonle, Robert Porter, Karen Potts, Nathan Duncan, William Joseph Matthies Jr.:

Using Change Entries to Collect Software Project Information. SEKE 2013: 184-189 - Luiz Leandro Fortaleza, Olavo Olimpio Matos Junior, Tayana Conte, Sérgio Roberto Costa Vieira, Rafael Prikladnicki:

Improving Software Engineers' Skills through the Simulation of Distributed Software Development in Academic Environments. SEKE 2013: 190-195 - 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). SEKE 2013: 196-199
Structural Testing and Coverage
- Vânia de Oliveira Neves, Márcio Eduardo Delamaro, Paulo César Masiero, Caio César Teodoro Mendes, Denis Fernando Wolf:

Structural Testing of Autonomous Vehicles. SEKE 2013: 200-205 - Luciano Augusto Fernandes Carvalho, Vânia de Oliveira Neves, Paulo César Masiero:

Structural Testing of Exceptions Handling (S). SEKE 2013: 206-209 - Yunxiao Zou, Chunrong Fang, Zhenyu Chen, Xiaofang Zhang, Zhihong Zhao:

A Hybrid Coverage Criterion for DynamicWeb Testing (S). SEKE 2013: 210-213
Software Product Lines
- Anderson Marcolino, Edson A. Oliveira Junior, Itana M. S. Gimenes, José Carlos Maldonado:

Towards the Effectiveness of a Variability Management Approach at Use Case Level. SEKE 2013: 214-219 - Diego Spillere de Souza, Patricia Vilain:

Selecting Agile Practices for Developing Software Product Lines (S). SEKE 2013: 220-225 - Andrea Janes, Sarunas Marciuska, Alessandro Sarcia, Giancarlo Succi:

Domain Analysis in Combination with Extreme Programming toAddress Requirements Volatility Problems (S). SEKE 2013: 226-231 - Johnny Maikeo Ferreira, Silvia Regina Vergilio, Marcos Antonio Quináia:

A Mutation Approach to Feature Testing of Software Product Lines. SEKE 2013: 232-237 - Ivonei Freitas da Silva, Tassio Vale, Silvio R. L. Meira, Eduardo Santana de Almeida:

Scrum-based Approach for Analyzing Commonalities and Variabilities in Software Product Lines. SEKE 2013: 238-243 - Ra'Fat Al-Msie'deen, Abdelhak-Djamel Seriai, Marianne Huchard, Christelle Urtado, Sylvain Vauttier, Hamzeh Eyal Salman:

Mining Features from the Object-Oriented Source Code of a Collection of Software Variants Using Formal Concept Analysis and Latent Semantic Indexing. SEKE 2013: 244-249 - Thibaut Possompès, Christophe Dony, Marianne Huchard, Chouki Tibermacine:

Model-Driven Generation of Context-Specific Feature Models. SEKE 2013: 250-255
Software Domain and Meta-Modeling
- Feliu Trias, Valeria de Castro, Marcos López Sanz, Esperanza Marcos:

An ADM-based Method for migrating CMS-based Web applications. SEKE 2013: 256-261 - Youness Bazhar, Yamine Aït Ameur, Stéphane Jean:

BeMoRe: a Repository for Handling Models Behaviors. SEKE 2013: 262-267 - Bell Manrique-Losada, Carlos Mario Zapata Jaramillo:

Processing rhetorical, morphosyntactic, and semantic features from corporate technical documents for identifying organizational domain knowledge (S). SEKE 2013: 268-272
Slow Intelligence and Intelligent Systems
- Wen-Hui Chen, Shi-Kuo Chang:

Swimming Activity Recognition Based on Slow Intelligence Systems. SEKE 2013: 273-276 - Aleem Khalid Alvi, Robin Dawes:

Image Steganography Using Fuzzy Domain Transformation and Pixel Classification. SEKE 2013: 277-282 - Lokesh Agrawal, Durga Toshniwal:

Smart Phone Based Indoor Pedestrian Localization System (S). SEKE 2013: 283-286
Quality and Reliability
- Ran Wei, Haiping Xu:

A Formal Cost-Effectiveness Analysis Model for Product Evaluation in E-Commerce. SEKE 2013: 287-293 - Yiwei Zhang, Eric Lo, Ben Kao:

On the Use of Bug and Predicate Signatures for Statistical Debugging. SEKE 2013: 249-299 - Pedro Reales Mateo, Macario Polo Usaola:

BacterioORACLE: An Oracle suggester tool. SEKE 2013: 300-305 - Tamer Abdou, Peter Grogono, Pankaj Kamthan:

Managing Corrective Actions to Closure in Open Source Software Test Process. SEKE 2013: 306-311
Recommender Systems
- Tieke He, Xingzhong Du, Weiqing Wang, Zhenyu Chen, Jia Liu:

Comparing Collaborative Filtering Methods Based on User-Topic Ratings. SEKE 2013: 312-317 - Xingzhong Du, Tieke He, Zhenyu Chen, Jia Liu, Chengfeng Hui:

ABEY: an Incremental Personalized Method Based on Attribute Entropy for Recommender Systems (S). SEKE 2013: 318-321 - Yasha Wang, Jiangtao Wang, Yuxing Teng, Junfeng Zhao:

STERS: A System for Service Trustworthiness Evaluation and Recommendation based on the Trust Network (S). SEKE 2013: 322-325
Web and Data Mining
- Klaus Marius Hansen, Konstantinos Manikas:

Towards a Network Ecology of Software Ecosystems: an Analysis of two OSGi Ecosystems. SEKE 2013: 326-331 - Muhammad Rezaul Karim, Malek Mouhoub:

Revisiting the Performance of Weighted k-Nearest Centroid Neighbor Classifiers. SEKE 2013: 332-337 - Ingrid Marçal, Rogério Eduardo Garcia, Ronaldo C. M. Correia, Celso Olivete Junior:

Mining Software Repository to Identify Crosscutting Concerns Using Combined Techniques (S). SEKE 2013: 338-343
Software Architecture
- Alvine Boaye Belle, Ghizlane El-Boussaidi, Christian Desrosiers, Hafedh Mili:

The Layered Architecture revisited: Is it an Optimization Problem? SEKE 2013: 344-349 - Ellen Francine Barbosa, Maria Lydia Fioravanti, Elisa Yumi Nakagawa, José Carlos Maldonado:

Towards the Establishment of a Reference Architecture for Developing Learning Environments. SEKE 2013: 350-355 - Chuanqi Tao, Bixin Li, Jerry Gao:

Testing Configurable Architectures For Component-Based Software Using an Incremental Approach. SEKE 2013: 356-361
Software Maintenance
- Yanchun Sun, Hui Song, Wenpin Jiao:

Using Architecture to Support the Collaborations in Software Maintenance. SEKE 2013: 362-357 - Seonghye Yoon, Sunghyun Min, Sooyong Park, Soojin Park:

Reverse Engineering of Sequence Diagrams by Merging Call Trees. SEKE 2013: 368-374 - Cristiano Amaral Maffort, Marco Túlio Valente, Roberto da Silva Bigonha, André C. Hora, Nicolas Anquetil, Jonata Menezes:

Mining Architectural Patterns Using Association Rules. SEKE 2013: 375-380 - Zi Yuan, Lili Yu, Chao Liu:

Bug Prediction for Fine-Grained Source Code Changes. SEKE 2013: 381-387
Security and Fault Tolerance
- Lydia Bouzar-Benlabiod, Salem Benferhat, Thouraya Bouabana-Tebibel:

An efficient QCL-based alert correlation process. SEKE 2013: 388-393 - Bandar M. Alshammari, Colin J. Fidge, Diane Corney:

Security Metrics for Java Bytecode Programs (S). SEKE 2013: 394-399 - Lili Yu, Zi Yuan, Chao Liu, Feng Chen:

An Empirical Study of an Improved Web Application Fuzz Testing Technique (S). SEKE 2013: 400-404
Petri Nets
- Frederico M. Bublitz, Lenardo Chaves e Silva, Elthon A. S. Oliveira, Saulo Oliveira Dornellas Luiz, Hyggo Oliveira de Almeida, Angelo Perkusich:

A Petri Net Model Specification for Delivering Adaptable Ads through Digital Signage in Pervasive Environments. SEKE 2013: 405-410 - Junhua Ding, Dianxiang Xu, Jidong Ge:

An Approach for Analyzing Software Specifications in Petri Nets. SEKE 2013: 411-416 - Daniel Yuh Chao, Tsung Hsien Yu:

A Best Method to Synthesize Very Large K-th Order Systems without Reachability Analysis (S). SEKE 2013: 417-420
Pervasive Computing
- Yong Deng, Zhonghai Wu, D. Frank Hsu:

Combining multiple stress identification algorithms using combinatorial fusion. SEKE 2013: 421-428 - Ryan Rybarczyk, Rajeev R. Raje, Mihran Tuceryan:

eDOTS 2.0: A Pervasive Indoor Tracking System. SEKE 2013: 429-434 - Caio Silva, Mario A. R. Dantas:

A context-aware approach on semantic trajectories (S). SEKE 2013: 435-440
Software Architecture and Quality
- Mohamad Kassab, Ghizlane El-Boussaidi:

Towards Quantifying Quality, Tactics and Architectural Patterns Interactions (S). SEKE 2013: 441-446 - Paloma Oliveira, Hudson Borges, Marco Túlio Valente, Heitor Augustus Xavier Costa:

Metrics-based Detection of Similar Software (S). SEKE 2013: 447-450 - José Filipe Marreiros Santos, Milena Guessi, Matthias Galster, Daniel Feitosa, Elisa Yumi Nakagawa:

A Checklist for Evaluation of Reference Architectures of Embedded Systems (S). SEKE 2013: 451-454
Measurement and Empirical SE
- Sihai Lin, Yutao Ma, Jianxun Chen:

Empirical Evidence on Developer's Commit Activity for Open-Source Software Projects. SEKE 2013: 455-460 - Gül Çalikli, Ayse Bener:

The Impact of Confirmation Bias on the Release-based Defect Prediction of Developer Groups. SEKE 2013: 461-466 - Huanjing Wang, Taghi M. Khoshgoftaar, Randall Wald, Amri Napolitano:

A Study on First Order Statistics-Based Feature Selection Techniques on Software Metric Data. SEKE 2013: 467-472 - Khaled Mohamed Shams, Haitham S. Hamza, Amr Kamel:

Software Effort Estimation using Regularized Radial Basis Function Neural Networks. SEKE 2013: 473-478 - Mohamed Elshaarawy, Haitham S. Hamza, Ismail Abdel Hamid Taha:

Towards a Unified Framework for Measuring the Properties of Class Diagrams Augmented with OCL (S). SEKE 2013: 479-482 - Ali Idri, Aya Hassani, Alain Abran:

Assessing RBFN-Based Software Cost Estimation Models (S). SEKE 2013: 483-487 - Jefferson Seide Molléri, Luiz Eduardo da Silva, Fabiane Barreto Vavassori Benitti:

Proposal of an Automated Approach to Support the Systematic Review of Literature Process (S). SEKE 2013: 488-493 - Renato Correa Juliano, Bruno A. N. Travençolo, Michel S. Soares, Marcelo de Almeida Maia:

Automated Computation of Use Cases Similarity can Aid the Assessment of Cohesion and Complexity of Classes (S). SEKE 2013: 494-499 - Francisco Carlos M. Souza, Alinne C. Corrêa dos Santos, Vinicius Pereira, Ellen Francine, Vinícius Ramos Toledo Ferraz:

Generation of Thematic Maps using WPS-Cartographer: An experimental study (S). SEKE 2013: 500-503 - Marília Aranha Freire, Daniel Alencar da Costa, Edmilson Campos Neto, Tainá Medeiros, Uirá Kulesza, Eduardo Aranha, Sérgio Soares:

Automated Support for Controlled Experiments in Software Engineering: A Systematic Review (S). SEKE 2013: 504-509
Mobile Systems
- Gibeon Soares de Aquino Júnior, Itamir de Morais Barroca Filho:

SIGAA Mobile - A sucessful experience of constructing a mobile application from a existing web system. SEKE 2013: 510-515 - Ricardo Pérez-Castillo, Ignacio García Rodríguez de Guzmán, Rafael Gómez-Cornejo, María Fernández-Ropero, Mario Piattini:

ANDRIU. A Technique for Migrating Graphical User Interfaces to Android (S). SEKE 2013: 516-519 - Luis Corral, Alberto Sillitti, Giancarlo Succi:

Using a Partially Instantiated GQM to Measure the Quality of Mobile Applications (S). SEKE 2013: 520-524
Software Maintenance and Quality
- He Li, Mengxiang Lin, Tahir Jameel, Zhenyuan Jiang:

Locating and Understanding Concurrency Bugs Based on Edge-labeled Communication Graphs (S). SEKE 2013: 525-530 - Fernanda Madeiral Delfim, Rogério Eduardo Garcia:

Multiple Coordinated Views to Support Aspect Mining Using Program Slicing (S). SEKE 2013: 531-536 - Yasha Wang, Jiangtao Wang, Jiakuan Ma, Bing Xie:

How Does Acquirer's Participation Influence Performance of Software Projects: A Quantitative Analysis (S). SEKE 2013: 537-541
Web-based Knowledge Management
- D. R. Plante:

Synchronized Data Acquisition from Web Services Serving at Disparate Rates. SEKE 2013: 542-547 - Fabrício Severo, Lisandra M. Fontoura, Luís Alvaro de Lima Silva:

A Dialogue Game Approach to Collaborative Risk Management (S). SEKE 2013: 548-551 - Flávio E. A. Horita, Marco Ikuro Hisatomi, Fernando Henrique Gaffo, Rodolfo Miranda de Barros:

Maturity Model and Lesson Learned for improve the Quality of Organizational Knowledge and Human Resources Management in Software Development (S). SEKE 2013: 552-555
Knowledge Management in Software Engineering
- Mojtaba Shahin, Peng Liang, Zengyang Li:

Recovering Software Architectural Knowledge from Documentation using Conceptual Model. SEKE 2013: 556-561 - Érica Ferreira de Souza, Ricardo de Almeida Falbo, Nandamudi L. Vijaykumar:

Knowledge Management Applied to Software Testing: A Systematic Mapping. SEKE 2013: 562-567 - Dan Tofan, Matthias Galster, Paris Avgeriou:

Improving Architectural Knowledge Management in Public Sector Organizations - an Interview Study (S). SEKE 2013: 568-573 - Naomi Unkelos-Shpigel, Irit Hadar, Meira Levy:

Enhancing Deployment Requirements' Traceability via Knowledge Management Audit (S). SEKE 2013: 574-577
Testing and Fault Diagnosis
- Ziyuan Wang, Ting Guo, Wujie Zhou, Weifeng Zhang, Baowen Xu:

Generating Partial Covering Array for Locating Faulty Interactions in Combinatorial Testing. SEKE 2013: 578-583 - 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). SEKE 2013: 584-588 - Yihan Li, Chao Liu, Zi Yuan:

Exploiting Weights of Test Cases to Enhance Fault Localization (S). SEKE 2013: 589-593
Programming Languages and Software Engineering
- Fumiya Kato, Kazunori Sakamoto, Hironori Washizaki, Yoshiaki Fukazawa:

Comparative Evaluation of Programming Paradigms: Separation of Concerns with Object-, Aspect-, and Context-Oriented Programming (S). SEKE 2013: 594-599 - Kazunori Sakamoto, Hironori Washizaki, Yoshiaki Fukazawa:

Extended Design Patterns in New Object-Oriented Programming Languages (S). SEKE 2013: 600-605 - Fei Liu, Lulu Wang, Bixin Li:

ELCD: an efficient online cycle detection technique for pointer analysis. SEKE 2013: 606-611
Artifi cial Intelligence Approaches to Software Engineering
- Kehan Gao, Taghi M. Khoshgoftaar, Amri Napolitano:

Exploring Ensemble-Based Data Preprocessing Techniques for Software Quality Estimation. SEKE 2013: 612-617 - Catherine Stringfellow, Sreya Reddy, Raaji Vedala-Tiramula, Swetha Myneni:

Comparison of SRGMs and NNEs on Multiple Data Sets. SEKE 2013: 618-623 - Yue Yu, Huaimin Wang, Gang Yin, Xiang Li, Cheng Yang:

HESA: The Construction and Evaluation of Hierarchical Software Feature Repository. SEKE 2013: 624-631 - Wesley Klewerton Guez Assunção, Silvia Regina Vergilio:

Class Diagram Retrieval with Particle Swarm Optimization. SEKE 2013: 632-637
Software Process and Quality
- Cristiane Soares Ramos, Ana Regina Rocha, Káthia Marçal de Oliveira:

Towards a strategy for analysing benefits of Software Process Improvement programs. SEKE 2013: 638-643 - Ricardo Pérez-Castillo, María Fernández-Ropero, Mario Piattini, Danilo Caivano:

How Does Refactoring Affect Understandability of Business Process Models? (S). SEKE 2013: 644-649 - Sébastien Adam, Ghizlane El-Boussaidi:

A multi-dimensional approach for analyzing software artifacts. SEKE 2013: 650-655
Semantic Analysis
- Valéria Oliveira Costa, João M. B. Oliveira Junior, Leonardo Gresta Paulino Murta:

Semantic Conflicts Detection in Model-driven Engineering. SEKE 2013: 656-661 - Thiago Pereira da Silva, Thaís Batista, Frederico Lopes, Flávia Coimbra Delicato, Paulo F. Pires:

Automatic Generation of Semantic Web Services. SEKE 2013: 662-667 - Elanne Cristina Oliveira dos Santos, Gleison Brito Batista, Esteban Walter Gonzalez Clua:

A Knowledge Modeling System for Semantic Analysis of Games Applied to Programming Education. SEKE 2013: 668-673 - Tamer Fares Gayed, Hakim Lounis, Moncef Bari:

Representing Chains of Custody Along a Forensic Process: A Case Study on Kruse Model. SEKE 2013: 674-680
Agents and Ontologies
- Ashwag Maghraby, Dave Robertson:

Argumentation Understood as Program Synthesis (S). SEKE 2013: 681-684 - Animesh Dutta, Sudipta Acharya, Aneesh Krishna, Swapan Bhattacharya:

Virtual Medical Board: A Distributed Bayesian Agent Based Approach (S). SEKE 2013: 685-688 - Nada Bajnaid, Rachid Benlamri, Algirdas Pakstas, Shahram Salekzamankhani:

Software Quality Assurance Ontology from Development to Evaluation (S). SEKE 2013: 689-694
Embedded and Ubiquitous Software Engineering
- Fan Wu, Hehua Zhang, Ming Gu:

DOPROPC: a domain property pattern system helping to specify control system requirements (S). SEKE 2013: 695-698 - Xiaofang Qi, Jun He, Peng Wang:

A Mixed-way Combinatorial Testing for Concurrent Programs (S). SEKE 2013: 699-702 - Ferry Pramudianto, Indra Rusmita Indra, Matthias Jarke:

Model Driven Development for Internet of Things Application Prototyping. SEKE 2013: 703-708 - Selim Kalayci, Seyed Masoud Sadjadi:

Pattern-based Decentralization and Run-time Adaptation Framework for Multi-site Workflow Orchestrations. SEKE 2013: 709-714 - Patricia Dousseau Cabral, Ricardo Pereira e Silva, Roberto Silvino da Cunha:

Framework for digital voting systems (S). SEKE 2013: 715-720 - Fábio Paulo Basso, Cláudia Maria Lima Werner, Raquel M. Pillat, Toacy C. Oliveira:

How do You Execute Reuse Tasks Among Tools? SEKE 2013: 721-726 - Hamdi A. Al-Jamimi, Moataz A. Ahmed:

Using Prolog Rules to Detect Software Design Patterns: Strengths and Weaknesses (S). SEKE 2013: 727-730
Adaptive Systems
- Daniel H. Carmo, Sérgio T. Carvalho, Leonardo Gresta Paulino Murta, Orlando Loques:

Runtime Monitoring and Auditing of Self-Adaptive Systems (S). SEKE 2013: 731-736 - Joice B. Machado, Gustavo L. Martins, Seiji Isotani, Ellen Francine Barbosa:

An ontology-based user model for personalization of educational content (S). SEKE 2013: 737-740 - Sandro Santos Andrade, Raimundo José de Araújo Macêdo:

Architectural Design Spaces for Feedback Control Concerns in Self-Adaptive Systems (S). SEKE 2013: 741-746
Software Maintenance and Evolution
- Chessman K. F. Corrêa, Toacy C. Oliveira, Cláudia M. L. Werner:

Towards Coupled Evolution of Metamodels, Models, Graph-Based Transformations and Traceability Links (S). SEKE 2013: 747-752 - Ricardo Terra, João Brunet, Luis Fernando Miranda, Marco Túlio Valente, Dalton Serey, Douglas Castilho, Roberto da Silva Bigonha:

Measuring the Structural Similarity between Source Code Entities (S). SEKE 2013: 753-758 - David Chenho Kung:

On Use Case Identification. SEKE 2013: 759-764
Poster/Demo
- Sadra Abedinzadeh, Samira Sadaoui:

ScubAA: A Human Plausible Reasoning Approach to Agent Trust Management. SEKE 2013: -A-2 - Hyunjun Jung, Sukhoon Lee, Doo-Kwon Baik:

Attribute-Value based Reconfiguration Model for Sensor Network Environ. SEKE 2013: -A-4 - Sandro Santos Andrade, Raimundo José de Araújo Macêdo:

DuSE-MT: From Design Spaces to Automated Software Architecture Design. SEKE 2013: -A-6

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














