dblp: SEKE 2012 (original) (raw)

default search action

• combined dblp search
• author search
• venue search
• publication search

Authors:

• no matches
• 

Venues:

• no matches
• 

Publications:

• no matches
• 

24th SEKE 2012: Redwood City, San Francisco Bay, CA, USA

• 

• 

• 

• 

• 
  jump to

  • Keynote
  • Special Session: Software Engineering with Comp. Intelligence & Machine Learning
  • Program Understanding
  • Agent-based Learning
  • Petri Nets for SEKE
  • Testing
  • Modeling
  • Human-Computer Interaction
  • Dependability and Maintenance
  • UML
  • Poster/Demo

• 

• > Home > Conferences and Workshops > SEKE

SPARQL queries

⚠

Please note that none of the items listed on this page have a DOI stored with their dblp record. Therefore, DOI-based queries won't return any results.

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

• 
  Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), Hotel Sofitel, Redwood City, San Francisco Bay, USA July 1-3, 2012. Knowledge Systems Institute Graduate School 2012, ISBN 1-891706-31-4

Keynote

• 
  • 
  • 
  • 
  • 
    Premkumar T. Devanbu:
    On the Naturalness of Software. SEKE 2012

Data Mining

• 
  • 
  • 
  • 
  • 
    Yingze Wang, Guang Xiang, Shi-Kuo Chang:
    Sparse Linear Influence Model for Hot User Selection on Mining a Social Network. SEKE 2012: 1-6
• 
  • 
  • 
  • 
  • 
    Qiandong Zhang, Bixin Li, Xiaobing Sun:
    Mining Call Graph for Change Impact Analysis. SEKE 2012: 7-12
• 
  • 
  • 
  • 
  • 
    Kushal Jangid, Pratik Paul, Magdalini Eirinaki:
    A Mobile Application for Stock Market Prediction Using Sentiment Analysis. SEKE 2012: 13-18

Requirement Engineering

• 
  • 
  • 
  • 
  • 
    Stefan Farfeleder, Thomas Moser, Andreas Krall:
    Using Semantic Relatedness and Locality for Requirements Elicitation Guidance. SEKE 2012: 19-24
• 
  • 
  • 
  • 
  • 
    Alejandro Hossian, Ramón García-Martínez:
    Phases, Activities, and Techniques for a Requirements Conceptualization Process. SEKE 2012: 25-32
• 
  • 
  • 
  • 
  • 
    Sérgio Roberto Costa Vieira, Davi Viana, Rogério P. C. do Nascimento, Tayana Conte:
    Using Empirical Studies to Evaluate the REMO Requirement Elicitation Technique. SEKE 2012: 33-38
• 
  • 
  • 
  • 
  • 
    Salamah Salamah, Matthew Engskow, Omar Ochoa:
    Consistency Checks of System Properties Using LTL and Büchi Automata. SEKE 2012: 39-44
• 
  • 
  • 
  • 
  • 
    Narendar Mandala, Gursimran Singh Walia:
    Evaluating the Cost-Effectiveness of Inspecting the Requirement Documents: An Empirical Study. SEKE 2012: 45-50
• 
  • 
  • 
  • 
  • 
    Animesh Dutta, Prajna Devi Upadhyay, Sudipta Acharya:
    Requirement Analysis and Automated Verification: A Semantic Approach. SEKE 2012: 51-54
• 
  • 
  • 
  • 
  • 
    Yi Liu, Zhiyi Ma, Hui Liu, Weizhong Shao:
    Risk-driven Non-functional Requirement Analysis and Specification. SEKE 2012: 55-60
• 
  • 
  • 
  • 
  • 
    Xiaohong Chen, Jing Liu:
    Eliciting Security Requirements in the Commanded Behavior Frame: An Ontology based Approach. SEKE 2012: 61-65
• 
  • 
  • 
  • 
  • 
    David de Almeida Ferreira, Alberto Rodrigues da Silva:
    An Overview of the RSLingo Approach. SEKE 2012: 66-69
• 
  • 
  • 
  • 
  • 
    Seyedehmehrnaz Mireslami, Mohammad Moshirpour, Behrouz H. Far:
    Detecting Emergent Behavior in Distributed Systems Caused by Overgeneralization. SEKE 2012: 70-73

Special Session: Software Engineering with Comp. Intelligence & Machine Learning

• 
  • 
  • 
  • 
  • 
    Kehan Gao, Taghi M. Khoshgoftaar, Amri Napolitano:
    Stability of Filter-Based Feature Selection Methods for Imbalanced Software Measurement Data. SEKE 2012: 74-79
• 
  • 
  • 
  • 
  • 
    Laura Maria Chaves, José Renato Villela Dantas, Bruno de Azevedo Muniz, Julio Cesar Campos Neto, Pedro Porfírio Muniz Farias:
    Semantic Interfaces Discovery Server. SEKE 2012: 80-87
• 
  • 
  • 
  • 
  • 
    Xabriel J. Collazo-Mojica, Seyed Masoud Sadjadi, Jorge Ejarque, Rosa M. Badia:
    Cloud Application Resource Mapping and Scaling Based on Monitoring of QoS Constraints. SEKE 2012: 88-93
• 
  • 
  • 
  • 
  • 
    Huanjing Wang, Taghi M. Khoshgoftaar, Randall Wald, Amri Napolitano:
    An Empirical Study of Software Metric Selection Techniques for Defect Prediction. SEKE 2012: 94-99
• 
  • 
  • 
  • 
  • 
    Boyi Xie, Rebecca J. Passonneau, Haimonti Dutta, Jing-Yeu Miaw, Axinia Radeva, Ashish Tomar, Cynthia Rudin:
    Progressive Clustering with Learned Seeds: An Event Categorization System for Power Grid. SEKE 2012: 100-105
• 
  • 
  • 
  • 
  • 
    Kuwen Li, Marek Z. Reformat, Witold Pedrycz, Jinfeng Yu:
    Multi-Objective Optimization of Fuzzy Neural Networks for Software Modeling. SEKE 2012: 106-111
• 
  • 
  • 
  • 
  • 
    Leandro T. Costa, Ricardo M. Czekster, Flávio Moreira de Oliveira, Elder M. Rodrigues, Maicon Bernardino da Silveira, Avelino F. Zorzo:
    Generating Performance Test Scripts and Scenarios Based on Abstract Intermediate Models. SEKE 2012: 112-117

Case Study

• 
  • 
  • 
  • 
  • 
    Muhammad Usman Bhatti, Nicolas Anquetil, Marianne Huchard, Stéphane Ducasse:
    A Catalog of Patterns for Concept Lattice Interpretation in Software Reengineering. SEKE 2012: 118-123
• 
  • 
  • 
  • 
  • 
    Hao Han, Yinxing Xue, Keizo Oyama:
    Client-Side Rendering Mechanism: A Double-Edged Sword for Browser-Based Web Applications. SEKE 2012: 124-130
• 
  • 
  • 
  • 
  • 
    Mamoona Humayun, Gang Cui:
    An Empirical Study on Improving Trust among GSD Teams Using KMR. SEKE 2012: 131-134
• 
  • 
  • 
  • 
  • 
    Zuohua Ding, Jiaying Ma:
    Modeling and Analysis of Switched Fuzzy Systems. SEKE 2012: 135-138
• 
  • 
  • 
  • 
  • 
    Chengfeng Hui, Jia Liu, Zhenyu Chen, Xingzhong Du, Weiyun Ma:
    An Empirical Study on Recommendation Methods for Vertical B2C E-commerce. SEKE 2012: 139-142
• 
  • 
  • 
  • 
  • 
    Jefferson Seide Molléri, Fabiane Barreto Vavassori Benitti:
    Automated Approaches to Support Secondary Study Processes: a Systematic Review. SEKE 2012: 143-147

Aspect-Oriented SE

• 
  • 
  • 
  • 
  • 
    Henrique Rebêlo, Ricardo Massa Ferreira Lima, Alexandre Mota, César A. L. de Oliveira, Márcio Ribeiro:
    Enforcing Contracts for Aspect-oriented programs with Annotations, Pointcuts and Advice. SEKE 2012: 148-153
• 
  • 
  • 
  • 
  • 
    Jonathan Cook, Amjad Nusayr:
    Towards More Generic Aspect-Oriented Programming: Rethinking the AOP Joinpoint Concept. SEKE 2012: 154-157
• 
  • 
  • 
  • 
  • 
    Leonardo Simas Duarte, Elisa Yumi Nakagawa:
    Aspect-Orientation in the Development of Embedded Systems: A Systematic Review. SEKE 2012: 158-161

Program Understanding

• 
  • 
  • 
  • 
  • 
    Swapna S. Gokhale, Thérèse Smith, Robert McCartney:
    Evaluating Open Source Reverse Engineering Tools for Teaching Software Engineering. SEKE 2012: 162-167
• 
  • 
  • 
  • 
  • 
    Álvaro F. d'Arce, Rogério Eduardo Garcia, Ronaldo Celso Messias Correia, Danilo Medeiros Eler:
    Coordination Model to Support Visualization of Aspect-Oriented Programs. SEKE 2012: 168-173
• 
  • 
  • 
  • 
  • 
    Elder Vicente, Geycy Dyany, Rivalino Matias, Marcelo de Almeida Maia:
    Improving Program Comprehension in Operating System Kernels with Execution Trace Information. SEKE 2012: 174-179

Component-based SE

• 
  • 
  • 
  • 
  • 
    Shi-Kuo Chang, Francesco Colace, Massimo De Santo, Emilio Zegarra, Yongjun Qie:
    An Approach for Software Component Reusing Based on Ontological Mapping. SEKE 2012: 180-187
• 
  • 
  • 
  • 
  • 
    Tao Wang, Wenbo Zhang, Jun Wei, Jianhua Zhang, Hua Zhong:
    Online Anomaly Detection for Components in OSGi-based Software . SEKE 2012: 188-193
• 
  • 
  • 
  • 
  • 
    Reghu Anguswamy, William B. Frakes:
    An Exploratory Study of One-Use and Reusable Software Components . SEKE 2012: 194-219
• 
  • 
  • 
  • 
  • 
    Ioannis E. Foukarakis, Georgia M. Kapitsaki, Nikolaos D. Tselikas:
    Choosing Licenses In Free Open Source Software. SEKE 2012: 200-204

Software Quality

• 
  • 
  • 
  • 
  • 
    Johannes Pelto-Piri, Peter Molin, Richard Torkar:
    A Unified Model for Server Usage and Operational Costs Based on User Profiles: An Industrial Evaluation. SEKE 2012: 205-210
• 
  • 
  • 
  • 
  • 
    Xiangping Chen, Jiaxi Chen, Zibin Zhao, Lingshuang Shao:
    A Model-centric Approach for the Integration of Software Analysis Methods . SEKE 2012: 211-216
• 
  • 
  • 
  • 
  • 
    Lijiu Zhang, Xiang Chen, Qing Gu, Haigang Zhao, Xiaoyan Shi, Daoxu Chen:
    CATESR: Change-aware Test Suite Reduction Based on Partial Coverage of Test Requirements. SEKE 2012: 217-224
• 
  • 
  • 
  • 
  • 
    Flávio E. A. Horita, Jacques Duílio Brancher, Rodolfo Miranda de Barros:
    A Process Model for Human Resources Management Focused on Increasing the Quality of Software Development. SEKE 2012: 225-230
• 
  • 
  • 
  • 
  • 
    Xiaoxiang Zhai, Bixin Li, Min Zhu, Jiakai Li, Qiaoqiao Chen, Shunhui Ji:
    Verification of Cyber-Physical Systems Based on Differential-Algebraic Temporal Dynamic Logic. SEKE 2012: 231-234
• 
  • 
  • 
  • 
  • 
    Min Zhu, Bixin Li, Jiakai Li, Qiaoqiao Chen, Xiaoxiang Zhai, Shunhui Ji:
    HybridUML Based Verification of CPS Using Differential Dynamic Logic. SEKE 2012: 235-238
• 
  • 
  • 
  • 
  • 
    Jiakai Li, Bixin Li, Qiaoqiao Chen, Min Zhu, Shunhui Ji, Xiaoxiang Zhai:
    A HybridUML and QdL Based Verification Method for CPS Self-Adaptability. SEKE 2012: 239-242

Agent-based Learning

• 
  • 
  • 
  • 
  • 
    Éric Grégoire, Sébastien Ramon:
    Disabling Subsumptions in a Logic-Based Component. SEKE 2012: 243-248
• 
  • 
  • 
  • 
  • 
    Du Zhang:
    i2Learning: Perpetual Learning through Bias Shifting. SEKE 2012: 249-255
• 
  • 
  • 
  • 
  • 
    Francisco Calaça Xavier, Max Gontijo de Oliveira, Cedric Luiz de Carvalho:
    Evolutionary Learning and Fuzzy Logic Applied to a Load Balancer. SEKE 2012: 256-260
• 
  • 
  • 
  • 
  • 
    Shimaa M. El-Sherif, Behrouz Homayoun Far, Armin Eberlein:
    Using Social Networks for Learning New Concepts in Multi-Agent Systems. SEKE 2012: 261-266

Special Session: Software Testing and Analysis with Intelligent Technology

• 
  • 
  • 
  • 
  • 
    Yi Miao, Zhenyu Chen, Sihan Li, Zhihong Zhao, Yuming Zhou:
    Identifying Coincidental Correctness for Fault Localization by Clustering Test Cases. SEKE 2012: 267-272
• 
  • 
  • 
  • 
  • 
    Pedro de Alcântara dos Santos Neto, Ricardo Britto, Thiago Soares, Werney Ayala, Jonathas Cruz, Ricardo A. L. Rabêlo:
    Regression Testing Prioritization Based on Fuzzy Inference Systems. SEKE 2012: 273-278
• 
  • 
  • 
  • 
  • 
    Wei Liu, Xiaoqiang Liu, Feng Li, Yulong Gu, Lizhi Cai, Genxing Yang, Zhenyu Liu:
    Parallel Path Execution for Software Testing Over Automated Test Cloud. SEKE 2012: 279-282
• 
  • 
  • 
  • 
  • 
    Dan Hao, Xingxia Wu, Lu Zhang:
    An Empirical Study of Execution-Data Classification Based on Machine Learning. SEKE 2012: 283-288
• 
  • 
  • 
  • 
  • 
    Wentao Ma, Xiaoyu Zhou, Xiaofang Qi, Ju Qian, Lei Xu, Rui Yang:
    Identification of Design Patterns Using Dependence Analysis. SEKE 2012: 289-292
• 
  • 
  • 
  • 
  • 
    Xiaofang Qi, Xiaojing Xu, Peng Wang:
    Slicing Concurrent Interprocedural Programs Based on Program Reachability Graphs. SEKE 2012: 293-298

Service-Centric SE

• 
  • 
  • 
  • 
  • 
    Yves Wautelet, Samedi Heng, Manuel Kolp:
    A Usage-Based Unified Resource Model. SEKE 2012: 299-304
• 
  • 
  • 
  • 
  • 
    M. Rahmani, Azad H. Azadmanesh, Harvey P. Siy:
    Petri Net Modeling of Application Server Performance for Web Services. SEKE 2012: 305-310
• 
  • 
  • 
  • 
  • 
    Kellyton dos Santos Brito, Lenin Ernesto Abadié Otero, Patrícia Fontinele Muniz, Leandro Marques Nascimento, Vanilson André de Arruda Burégio, Vinicius Cardoso Garcia, Silvio Romero de Lemos Meira:
    Implementing Web Applications as Social Machines Composition: A Case Study. SEKE 2012: 311-314
• 
  • 
  • 
  • 
  • 
    Debashis Chanda, Dwijesh Dutta Majumder, Swapan Bhattacharya:
    Interactive Business Rules Framework for Knowledge Based Service Oriented Architecture. SEKE 2012: 315-318
• 
  • 
  • 
  • 
  • 
    Alexandre L. Correa, Thiago Silva-de-Souza, Eber Assis Schmitz, Antonio Juarez Alencar:
    Defining RESTful Web Services Test Cases from UML Models. SEKE 2012: 319-323
• 
  • 
  • 
  • 
  • 
    Riad Belkhatir, Mourad Oussalah, Arnaud Viguier:
    A Model Introducing SOAs Quality Attributes Decomposition. SEKE 2012: 324-327
• 
  • 
  • 
  • 
  • 
    Hernán Merlino, Oscar Dieste, Patricia Pesado, Ramón García-Martínez:
    Software as a Service: Undo. SEKE 2012: 328-332

Petri Nets for SEKE

• 
  • 
  • 
  • 
  • 
    Daniel F. Fitch, Haiping Xu:
    A Petri Net Model for Secure and Fault-Tolerant Cloud-Based Information Storage. SEKE 2012: 333-339
• 
  • 
  • 
  • 
  • 
    Faming Lu, Qingtian Zeng, Hao Zhang, Yunxia Bao, Jiufang An:
    Decidability of Minimal Supports of S-invariants and the Computation of their Supported S-invariants of Petri Nets. SEKE 2012: 340-345
• 
  • 
  • 
  • 
  • 
    Dianxiang Xu, Janghwan Tae:
    Automated Generation of Concurrent Test Code from Function Nets. SEKE 2012: 346-351
• 
  • 
  • 
  • 
  • 
    Su Liu, Reng Zeng, Zhuo Sun, Xudong He:
    SAMAT - A Tool for Software Architecture Modeling and Analysis. SEKE 2012: 352-358
• 
  • 
  • 
  • 
  • 
    GaiYun Liu, Daniel Yuh Chao, Yao-Nan Lien:
    Singular Formulas for Compound Siphons, Complementary Siphons and Characteristic Vectors for Deadlock Prevention in Cloud Computing. SEKE 2012: 359-362
• 
  • 
  • 
  • 
  • 
    Junhua Ding, Dianxiang Xu:
    Model-Based Metamorphic Testing: A Case Study. SEKE 2012: 363-368
• 
  • 
  • 
  • 
  • 
    Zhanqi Cui, Linzhang Wang, Xi Liu, Lei Bu, Jianhua Zhao, Xuandong Li:
    Verifying Aspect-Oriented Activity Diagrams Against Crosscutting Properties with Petri Net Analyzer. SEKE 2012: 369-374
• 
  • 
  • 
  • 
  • 
    Hanifa Boucheneb, Kamel Barkaoui:
    Parametric Verification of TimeWorkflow Nets. SEKE 2012: 375-380
• 
  • 
  • 
  • 
  • 
    Jiacun Wang, Demin Li:
    Resource Modeling and Analysis for Workflows: A Petri Net Approach. SEKE 2012: 381-386

Security and Privacy

• 
  • 
  • 
  • 
  • 
    Óscar Mortágua Pereira, Rui L. Aguiar, Maribel Yasmina Santos:
    ACADA: Access Control-driven Architecture with Dynamic Adaptation. SEKE 2012: 387-393
• 
  • 
  • 
  • 
  • 
    Michael E. Shin, Bhavya Malhotra, Hassan Gomaa, Taeghyun Kang:
    Connectors for Secure Software Architectures . SEKE 2012: 394-399
• 
  • 
  • 
  • 
  • 
    Derek Doran, Sean Curley, Swapna S. Gokhale:
    How Social Network APIs Have Ended the Age of Privacy. SEKE 2012: 400-405
• 
  • 
  • 
  • 
  • 
    Tamer Fares Gayed, Hakim Lounis, Moncef Bari:
    Computer Forensics: Toward the Construction of Electronic Chain of Custody on the Semantic Web. SEKE 2012: 406-411

Ontologies and Architecture

• 
  • 
  • 
  • 
  • 
    Hazeline U. Asuncion, Richard N. Taylor:
    A Holistic Approach to Software Traceability. SEKE 2012: 412-417
• 
  • 
  • 
  • 
  • 
    Saqib Iqbal, Gary Allen:
    Pointcut Design with AODL . SEKE 2012: 418-421
• 
  • 
  • 
  • 
  • 
    Guohua Shen, Zhiqiu Huang, Changbao Tian, Qiang Ge, Wei Zhang:
    Feature modeling and Verification based on Description Logics. SEKE 2012: 422-425
• 
  • 
  • 
  • 
  • 
    Frederico Bublitz, Hyggo Oliveira de Almeida, Angelo Perkusich:
    A Context Ontology Model for Pervasive Advertising: a Case Study on Pervasive Displays. SEKE 2012: 426-431
• 
  • 
  • 
  • 
  • 
    Katarina Grolinger, Miriam A. M. Capretz, José R. Martí, Krishan D. Srivastava:
    Ontology-based Representation of Simulation Models. SEKE 2012: 432-437
• 
  • 
  • 
  • 
  • 
    Francisco Tiago Machado de Avelar, Deise de Brum Saccol, Eduardo Kessler Piveta:
    An Ontology-based Approach for Storing XML Data Into Relational Databases. SEKE 2012: 438-443
• 
  • 
  • 
  • 
  • 
    Monique Soares, João Pimentel, Jaelson Castro, Carla T. L. L. Silva, Cleice Talitha Nascimento Souza, Gabriela Guedes, Diego Dermeval:
    Automatic Generation of Architectural Models From Goals Models. SEKE 2012: 444-447
• 
  • 
  • 
  • 
  • 
    João Pimentel, Emanuel Santos, Diego Dermeval, Jaelson Castro, Anthony Finkelstein:
    Towards Architectural Evolution through Model Transformations. SEKE 2012: 448-451

Testing

• 
  • 
  • 
  • 
  • 
    Xiaobing Sun, Bixin Li, Chuanqi Tao, Qiandong Zhang:
    Using FCA-based Change Impact Analysis for Regression Testing. SEKE 2012: 452-457
• 
  • 
  • 
  • 
  • 
    Aldo Dagnino, Karen Smiley, Lakshmi Ramachandran:
    Forecasting Fault Events in Power Distribution Grids Using Machine Learning. SEKE 2012: 458-463
• 
  • 
  • 
  • 
  • 
    Mazen El Maarabani, César Andrés, Ana R. Cavalli:
    Testing Interoperability Security Policies. SEKE 2012: 464-469
• 
  • 
  • 
  • 
  • 
    Rui Yang, Zhenyu Chen, Baowen Xu, Zhiyi Zhang, Wujie Zhou:
    A New Approach to Evaluate Path Feasibility and Coverage Ratio of EFSM Based on Multi-objective Optimization. SEKE 2012: 470-475
• 
  • 
  • 
  • 
  • 
    Silvana M. Melo, Simone do Rócio Senger de Souza, Paulo Sergio Lopes de Souza:
    Structural Testing for Multithreaded Programs: An Experimental Evaluation of the Cost, Strength and Effectiveness. SEKE 2012: 476-479

Programming Languages

• 
  • 
  • 
  • 
  • 
    Reisha Humaira, Kazunori Sakamoto, Akira Ohashi, Hironori Washizaki, Yoshiaki Fukazawa:
    Towards a Unified Source Code Measurement Framework Supporting Multiple Programming Languages. SEKE 2012: 480-485
• 
  • 
  • 
  • 
  • 
    Walter W. Wilson, Yu Lei:
    A Tiny Specification Metalanguage. SEKE 2012: 486-490
• 
  • 
  • 
  • 
  • 
    Tatiane O. M. Alves, Wander Gaspar, Regina M. M. Braga, Marco Antonio Machado, Wagner Arbex:
    SciprovMiner: Provenance Capture Using the OPM Model. SEKE 2012: 491-494
• 
  • 
  • 
  • 
  • 
    Daniel B. F. Conrado, Valter Vieira de Camargo:
    Engineering Graphical Domain Specific Languages to Develop Embedded Robot Applications. SEKE 2012: 495-498

Patterns and Frameworks

• 
  • 
  • 
  • 
  • 
    S. Smith, D. R. Plante:
    Dynamically recommending design patterns. SEKE 2012: 499-504
• 
  • 
  • 
  • 
  • 
    Nahla Jlaiel, Mohamed Ben Ahmed:
    Towards a Novel Semantic Approach for Process Patterns' Capitalization and Reuse. SEKE 2012: 505-510
• 
  • 
  • 
  • 
  • 
    Lucas Francisco da Matta Vegi, Jugurta Lisboa Filho, Glauber Luis da Silva Costa, Alcione de Paiva Oliveira, José Luís Braga:
    DC2AP: A Dublin Core Application Profile to Analysis Patterns. SEKE 2012: 511-516

Modeling

• 
  • 
  • 
  • 
  • 
    Gaëtan Deltombe, Olivier Le Goaër, Franck Barbier:
    Bridging KDM and ASTM for Model-Driven Software Modernization. SEKE 2012: 517-524
• 
  • 
  • 
  • 
  • 
    Zining Cao:
    Modal ZIA, Modal Refinement Relation and Logical Characterization. SEKE 2012: 525-530
• 
  • 
  • 
  • 
  • 
    Karolyne Oliveira, Jaelson Castro, Sergio España, Oscar Pastor:
    Towards Autonomic Business Process Models. SEKE 2012: 531-536
• 
  • 
  • 
  • 
  • 
    Deepa Raka, Shih-Hsi Liu, Marjan Mernik:
    Interoperable EMR Message Generation: A Model-Driven Software Product Line Approach . SEKE 2012: 537-540
• 
  • 
  • 
  • 
  • 
    Xin Gao, Wenhui Hu, Wei Ye, Shikun Zhang, Xuan Sun:
    A Data Collaboration Model for Collaborative Design Based on C-Net. SEKE 2012: 541-544

Tools and Environment

• 
  • 
  • 
  • 
  • 
    Erick Baptista Passos, Danilo Medeiros, Wandresson Araújo, Pedro de Alcântara dos Santos Neto:
    Working and Playing with SCRUM. SEKE 2012: 545-550
• 
  • 
  • 
  • 
  • 
    Josiane Kroll, Alan R. Santos, Rafael Prikladnicki, Estevão Ricardo Hess, Rafael A. Glanzner, Afonso Sales, Jorge Luis Nicolas Audy, Paulo Henrique Lemelle Fernandes:
    Follow-the-Sun Software Development: A Controlled Experiment to Evaluate the Benefits of Adaptive and Prescriptive Approaches. SEKE 2012: 551-556
• 
  • 
  • 
  • 
  • 
    Marília Aranha Freire, Daniel Alencar da Costa, Eduardo Aranha, Uirá Kulesza:
    Software Process Monitoring Using Statistical Process Control Integrated in Workflow Systems. SEKE 2012: 557-562

AI for SE

• 
  • 
  • 
  • 
  • 
    Guilherme A. Marchetti, Edson S. Gomi:
    Model Transformation for Frameworks Using Logical Planning. SEKE 2012: 563-569
• 
  • 
  • 
  • 
  • 
    Fábio Pittoli, Abraham L. R. de Sousa, Daltro J. Nunes:
    Investigating the Use of Bayesian Networks as a Support Tool for Monitoring Software Projects. SEKE 2012: 570-573
• 
  • 
  • 
  • 
  • 
    Adriano Albuquerque, Vládia Pinheiro, Thiago Leite:
    Reuse of Experiences Applied to Requirements Engineering: An Approach Based on Natural Language Processing. SEKE 2012: 574-577
• 
  • 
  • 
  • 
  • 
    Vinitha Hannah Subburaj, Joseph E. Urban, Manan R. Shah:
    Specification of Safety Critical Systems with Intelligent Software Agent Method. SEKE 2012: 578-581

Human-Computer Interaction

• 
  • 
  • 
  • 
  • 
    Luis Rivero, Tayana Conte:
    Using the Results from a Systematic Mapping Extension to Define a Usability Inspection Method for Web Applications. SEKE 2012: 582-587
• 
  • 
  • 
  • 
  • 
    Priscila Silva Fernandes, Tayana Conte, Bruno A. Bonifácio:
    Improving a Web Usability Inspection Technique through an Observational Study. SEKE 2012: 588-593
• 
  • 
  • 
  • 
  • 
    Sandra Rodrigues Sarro Boarati, Cecilia Sosa Arias Peixoto:
    Identification Guidelines for the Design of Interfaces in the context of ECAs and ADHD. SEKE 2012: 594-598
• 
  • 
  • 
  • 
  • 
    Marianella Aveledo, Diego M. Curtino, Agustín De la Rosa, Ana M. Moreno:
    Measuring the Effect Of Usability Mechanisms On User Efficiency, Effectiveness and Satisfaction. SEKE 2012: 599-604
• 
  • 
  • 
  • 
  • 
    Filipe Bianchi Damiani, Patricia Vilain:
    Automatic Generation of Web Interfaces from User Interaction Diagrams. SEKE 2012: 605-610

Semantic Web

• 
  • 
  • 
  • 
  • 
    Filip Radulovic, Raul Garcia-Castro:
    Semantic Technology Recommendation Based on the Analytic Network Process. SEKE 2012: 611-616
• 
  • 
  • 
  • 
  • 
    Huayou Si, Zhong Chen, Yong Deng:
    P2P-based Publication and Location of Web Ontology for Knowledge Sharing in Virtual Communities. SEKE 2012: 617-621

Software Product Lines

• 
  • 
  • 
  • 
  • 
    Edson A. Oliveira Junior, Itana Maria de Souza Gimenes, José Carlos Maldonado:
    Empirical Validation of Variability-based Complexity Metrics for Software Product Line Architecture. SEKE 2012: 622-627
• 
  • 
  • 
  • 
  • 
    Crescencio Rodrigues Lima Neto, Paulo Anselmo da Mota Silveira Neto, Eduardo Santana de Almeida, Silvio Romero de Lemos Meira:
    A Mapping Study on Software Product Lines Testing Tools. SEKE 2012: 628-634
• 
  • 
  • 
  • 
  • 
    Rafael Pinto Medeiros, Uéverton dos Santos Souza, Fábio Protti, Leonardo Gresta Paulino Murta:
    Optimal Variability Selection in Product Line Engineering. SEKE 2012: 635-640
• 
  • 
  • 
  • 
  • 
    Luanna Lopes Lobato, Ivan do Carmo Machado, Paulo Anselmo da Mota Silveira Neto, Eduardo Santana de Almeida, Silvio Romero de Lemos Meira:
    Synthesizing Evidence on Risk Management: A Narrative Synthesis of two Mapping Studies. SEKE 2012: 641-646
• 
  • 
  • 
  • 
  • 
    Elder M. Rodrigues, Avelino F. Zorzo, Edson A. Oliveira Junior, Itana Maria de Souza Gimenes, José Carlos Maldonado, Anderson R. P. Domingues:
    PlugSPL: An Automated Environment for Supporting Plugin-based Software Product Lines. SEKE 2012: 647-650
• 
  • 
  • 
  • 
  • 
    Gabriela Guedes, Carla T. L. L. Silva, Jaelson Castro, Monique Soares, Diego Dermeval, Cleice Souza:
    GS2SPL: Goals and Scenarios to Software Product Lines. SEKE 2012: 651-656
• 
  • 
  • 
  • 
  • 
    Rafael Cunha, Tayana Conte, Eduardo Santana de Almeida, José Carlos Maldonado:
    A Set of Inspection Techniques on Software Product Line Models. SEKE 2012: 657-662
• 
  • 
  • 
  • 
  • 
    Mahdi Noorian, Ebrahim Bagheri, Weichang Du:
    Non-functional Properties in Software Product Lines: A Taxonomy for Classification. SEKE 2012: 663-667
• 
  • 
  • 
  • 
  • 
    Frank José Affonso, Evandro Luís Linhari Rodrigues:
    A Proposal of Reference Architecture for the Reconfigurable Software Development. SEKE 2012: 668-671

Dependability and Maintenance

• 
  • 
  • 
  • 
  • 
    Hiroaki Tanizaki, Toshiaki Aoki, Takuya Katayama:
    A Variability Management Method for Software Configuration Files. SEKE 2012: 672-677
• 
  • 
  • 
  • 
  • 
    Irbis Gallegos, Ann Q. Gates:
    Tool Support for Anomaly Detection in Scientific Sensor Data. SEKE 2012: 678-683
• 
  • 
  • 
  • 
  • 
    Michael E. Shin, Taeghyun Kang, Sunghoon Kim, Seungwook Jung, Myungchan Roh:
    Reconfiguration of Robot Applications using Data Dependency and Impact Analysis. SEKE 2012: 684-687

Automated Software Specification

• 
  • 
  • 
  • 
  • 
    Hamid Bagheri, Kevin J. Sullivan, Sang H. Son:
    Spacemaker: Practical Formal Synthesis of Tradeoff Spaces for Object-Relational Mapping. SEKE 2012: 688-693
• 
  • 
  • 
  • 
  • 
    Anne-Lise Courbis, Thomas Lambolais, Hong-Viet Luong, Thanh-Liem Phan, Christelle Urtado, Sylvain Vauttier:
    A Formal Support for Incremental Behavior Specification In Agile Development. SEKE 2012: 694-799

Knowledge Acquisition and Visualization

• 
  • 
  • 
  • 
  • 
    Sarah B. Lee, Kenneth Steward:
    A Process-Based Approach to Improving Knowledge Sharing in Software Engineering. SEKE 2012: 700-705
• 
  • 
  • 
  • 
  • 
    Norah Alrayes, Wo-Shun Luk:
    Automatic Acquisition of isA Relationships from Web Tables. SEKE 2012: 706-711
• 
  • 
  • 
  • 
  • 
    Hugo Cordeiro, Jackson Casimiro, Erick Passos:
    A Light Weight Alternative for OLAP. SEKE 2012: 712-717
• 
  • 
  • 
  • 
  • 
    Simon Suigen Guo, Christine W. Chan, Qing Zhou:
    A Tool for Visualization of a Knowledge Model. SEKE 2012: 718-723

UML

• 
  • 
  • 
  • 
  • 
    Charoensak Narkngam, Yachai Limpiyakorn:
    Rendering UML Activity Diagrams as a Domain Specific Language - ADL. SEKE 2012: 724-729
• 
  • 
  • 
  • 
  • 
    Andreas Grünwald, Thomas Moser:
    umlTUowl - A Both Generic and Vendor-specific Approach for UML to OWL Transformation. SEKE 2012: 730-736
• 
  • 
  • 
  • 
  • 
    Hamza Onoruoiza Salami, Moataz A. Ahmed:
    A Framework for Class Diagram Retrieval Using Genetic Algorithm. SEKE 2012: 737-740

Measurement and Adaptive Systems

• 
  • 
  • 
  • 
  • 
    Satoshi Narata, Takao Miura:
    Managing Linear Hash in a Closed Space . SEKE 2012: 741-746
• 
  • 
  • 
  • 
  • 
    Alaeddin M. H. Alawawdeh, César Andrés, Luis Llana:
    CLAT: Collaborative Learning Adaptive Tutor. SEKE 2012: 747-752
• 
  • 
  • 
  • 
  • 
    Adler Diniz de Souza, Ana Regina Cavalcanti da Rocha:
    A proposal for the improvement of the technique of Earned Value Management utilizing the history of performance data. SEKE 2012: 753-758

Agents and Mobile Systems

• 
  • 
  • 
  • 
  • 
    Yen-Chieh Huang, Alan Liu:
    A Goal-Driven Method for Selecting Issues Used in Agent Negotiation. SEKE 2012: 759-762
• 
  • 
  • 
  • 
  • 
    Saul Lozano-Fuentes, Sudipto Ghosh, James M. Bieman, D. Sadhu, Lars Eisen, Fadi Wedyan, E. Hernandez-Garcia, J. Garcia-Rejon, D. Tep-Chel:
    Using Cell Phones for Mosquito Vector Surveillance and Control. SEKE 2012: 763-767
• 
  • 
  • 
  • 
  • 
    Weimin Ding, Xiao Su:
    Proactive Two Way Mobile Advertisement Using a Collaborative Client Server Architecture. SEKE 2012: 768-773

Poster/Demo

• 
  • 
  • 
  • 
  • 
    Achilleas Achilleos, Georgia M. Kapitsaki, George A. Sielis, George A. Papadopoulos:
    The COIN Platform: Supporting the Marine Shipping Industrial Sector. SEKE 2012
• 
  • 
  • 
  • 
  • 
    Adler Diniz de Souza, Ana Regina Cavalcanti da Rocha:
    A proposal for the improvement of the technique of EVM utilizing the history of performance data. SEKE 2012
• 
  • 
  • 
  • 
  • 
    Henrique Rebêlo, Ricardo Massa Ferreira Lima, Alexandre Mota, César A. L. de Oliveira, Márcio Ribeiro:
    Checking Contracts for AOP using XPIDRs. SEKE 2012

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.

Unpaywalled article links

Add open access links from to the list of external document links (if available).

load links from unpaywall.org

Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.

Archived links via Wayback Machine

For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).

load content from archive.org

Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.

Reference lists

Add a list of references from , , and to record detail pages.

load references from crossref.org and opencitations.net

Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.

Citation data

Add a list of citing articles from and to record detail pages.

load citations from opencitations.net

Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.

OpenAlex data

Load additional information about publications from .

load data from openalex.org

Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.

dblp was originally created in 1993 at:

since 2018, dblp has been operated and maintained by: