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 S. 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 Figueredo 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 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