SEKE C

144 papers

YearTitle / Authors
2012A Catalog of Patterns for Concept Lattice Interpretation in Software Reengineering.
Muhammad Usman Bhatti, Nicolas Anquetil, Marianne Huchard, Stéphane Ducasse
2012A Context Ontology Model for Pervasive Advertising: a Case Study on Pervasive Displays.
Frederico Bublitz, Hyggo Oliveira de Almeida, Angelo Perkusich
2012A Data Collaboration Model for Collaborative Design Based on C-Net.
Xin Gao, Wenhui Hu, Wei Ye, Shikun Zhang, Xuan Sun
2012A Formal Support for Incremental Behavior Specification In Agile Development.
Anne-Lise Courbis, Thomas Lambolais, Hong-Viet Luong, Thanh-Liem Phan, Christelle Urtado, Sylvain Vauttier
2012A Framework for Class Diagram Retrieval Using Genetic Algorithm.
Hamza Onoruoiza Salami, Moataz A. Ahmed
2012A Goal-Driven Method for Selecting Issues Used in Agent Negotiation.
Yen-Chieh Huang, Alan Liu
2012A Holistic Approach to Software Traceability.
Hazeline U. Asuncion, Richard N. Taylor
2012A HybridUML and QdL Based Verification Method for CPS Self-Adaptability.
Jiakai Li, Bixin Li, Qiaoqiao Chen, Min Zhu, Shunhui Ji, Xiaoxiang Zhai
2012A Light Weight Alternative for OLAP.
Hugo Cordeiro, Jackson Casimiro, Erick Passos
2012A Mapping Study on Software Product Lines Testing Tools.
Crescencio Rodrigues Lima Neto, Paulo Anselmo da Mota Silveira Neto, Eduardo Santana de Almeida, Silvio Romero de Lemos Meira
2012A Mobile Application for Stock Market Prediction Using Sentiment Analysis.
Kushal Jangid, Pratik Paul, Magdalini Eirinaki
2012A Model Introducing SOAs Quality Attributes Decomposition.
Riad Belkhatir, Mourad Oussalah, Arnaud Viguier
2012A Model-centric Approach for the Integration of Software Analysis Methods .
Xiangping Chen, Jiaxi Chen, Zibin Zhao, Lingshuang Shao
2012A New Approach to Evaluate Path Feasibility and Coverage Ratio of EFSM Based on Multi-objective Optimization.
Rui Yang, Zhenyu Chen, Baowen Xu, Zhiyi Zhang, Wujie Zhou
2012A Petri Net Model for Secure and Fault-Tolerant Cloud-Based Information Storage.
Daniel F. Fitch, Haiping Xu
2012A Process Model for Human Resources Management Focused on Increasing the Quality of Software Development.
Flávio E. A. Horita, Jacques Duílio Brancher, Rodolfo Miranda de Barros
2012A Process-Based Approach to Improving Knowledge Sharing in Software Engineering.
Sarah B. Lee, Kenneth Steward
2012A Proposal of Reference Architecture for the Reconfigurable Software Development.
Frank José Affonso, Evandro Luís Linhari Rodrigues
2012A Set of Inspection Techniques on Software Product Line Models.
Rafael Cunha, Tayana Conte, Eduardo Santana de Almeida, José Carlos Maldonado
2012A Tiny Specification Metalanguage.
Walter W. Wilson, Yu Lei
2012A Tool for Visualization of a Knowledge Model.
Simon Suigen Guo, Christine W. Chan, Qing Zhou
2012A Unified Model for Server Usage and Operational Costs Based on User Profiles: An Industrial Evaluation.
Johannes Pelto-Piri, Peter Molin, Richard Torkar
2012A Usage-Based Unified Resource Model.
Yves Wautelet, Samedi Heng, Manuel Kolp
2012A Variability Management Method for Software Configuration Files.
Hiroaki Tanizaki, Toshiaki Aoki, Takuya Katayama
2012A proposal for the improvement of the technique of EVM utilizing the history of performance data.
Adler Diniz de Souza, Ana Regina Cavalcanti da Rocha
2012A proposal for the improvement of the technique of Earned Value Management utilizing the history of performance data.
Adler Diniz de Souza, Ana Regina Cavalcanti da Rocha
2012ACADA: Access Control-driven Architecture with Dynamic Adaptation.
Óscar Mortágua Pereira, Rui L. Aguiar, Maribel Yasmina Santos
2012An Approach for Software Component Reusing Based on Ontological Mapping.
Shi-Kuo Chang, Francesco Colace, Massimo De Santo, Emilio Zegarra, Yongjun Qie
2012An Empirical Study of Execution-Data Classification Based on Machine Learning.
Dan Hao, Xingxia Wu, Lu Zhang
2012An Empirical Study of Software Metric Selection Techniques for Defect Prediction.
Huanjing Wang, Taghi M. Khoshgoftaar, Randall Wald, Amri Napolitano
2012An Empirical Study on Improving Trust among GSD Teams Using KMR.
Mamoona Humayun, Gang Cui
2012An Empirical Study on Recommendation Methods for Vertical B2C E-commerce.
Chengfeng Hui, Jia Liu, Zhenyu Chen, Xingzhong Du, Weiyun Ma
2012An Exploratory Study of One-Use and Reusable Software Components .
Reghu Anguswamy, William B. Frakes
2012An Ontology-based Approach for Storing XML Data Into Relational Databases.
Francisco Tiago Machado de Avelar, Deise de Brum Saccol, Eduardo Kessler Piveta
2012An Overview of the RSLingo Approach.
David de Almeida Ferreira, Alberto Rodrigues da Silva
2012Aspect-Orientation in the Development of Embedded Systems: A Systematic Review.
Leonardo Simas Duarte, Elisa Yumi Nakagawa
2012Automated Approaches to Support Secondary Study Processes: a Systematic Review.
Jefferson Seide Molléri, Fabiane Barreto Vavassori Benitti
2012Automated Generation of Concurrent Test Code from Function Nets.
Dianxiang Xu, Janghwan Tae
2012Automatic Acquisition of isA Relationships from Web Tables.
Norah Alrayes, Wo-Shun Luk
2012Automatic Generation of Architectural Models From Goals Models.
Monique Soares, João Pimentel, Jaelson Castro, Carla T. L. L. Silva, Cleice Talitha Nascimento Souza, Gabriela Guedes, Diego Dermeval
2012Automatic Generation of Web Interfaces from User Interaction Diagrams.
Filipe Bianchi Damiani, Patricia Vilain
2012Bridging KDM and ASTM for Model-Driven Software Modernization.
Gaëtan Deltombe, Olivier Le Goaër, Franck Barbier
2012CATESR: Change-aware Test Suite Reduction Based on Partial Coverage of Test Requirements.
Lijiu Zhang, Xiang Chen, Qing Gu, Haigang Zhao, Xiaoyan Shi, Daoxu Chen
2012CLAT: Collaborative Learning Adaptive Tutor.
Alaeddin M. H. Alawawdeh, César Andrés, Luis Llana
2012Checking Contracts for AOP using XPIDRs.
Henrique Rebêlo, Ricardo Massa Ferreira Lima, Alexandre Mota, César A. L. de Oliveira, Márcio Ribeiro
2012Choosing Licenses In Free Open Source Software.
Ioannis E. Foukarakis, Georgia M. Kapitsaki, Nikolaos D. Tselikas
2012Client-Side Rendering Mechanism: A Double-Edged Sword for Browser-Based Web Applications.
Hao Han, Yinxing Xue, Keizo Oyama
2012Cloud Application Resource Mapping and Scaling Based on Monitoring of QoS Constraints.
Xabriel J. Collazo-Mojica, Seyed Masoud Sadjadi, Jorge Ejarque, Rosa M. Badia
2012Computer Forensics: Toward the Construction of Electronic Chain of Custody on the Semantic Web.
Tamer Fares Gayed, Hakim Lounis, Moncef Bari
2012Connectors for Secure Software Architectures .
Michael E. Shin, Bhavya Malhotra, Hassan Gomaa, Taeghyun Kang
2012Consistency Checks of System Properties Using LTL and Büchi Automata.
Salamah Salamah, Matthew Engskow, Omar Ochoa
2012Coordination Model to Support Visualization of Aspect-Oriented Programs.
Álvaro F. d'Arce, Rogério Eduardo Garcia, Ronaldo Celso Messias Correia, Danilo Medeiros Eler
2012DC2AP: A Dublin Core Application Profile to Analysis Patterns.
Lucas Francisco da Matta Vegi, Jugurta Lisboa Filho, Glauber Luis da Silva Costa, Alcione de Paiva Oliveira, José Luís Braga
2012Decidability of Minimal Supports of S-invariants and the Computation of their Supported S-invariants of Petri Nets.
Faming Lu, Qingtian Zeng, Hao Zhang, Yunxia Bao, Jiufang An
2012Defining RESTful Web Services Test Cases from UML Models.
Alexandre L. Correa, Thiago Silva-de-Souza, Eber Assis Schmitz, Antonio Juarez Alencar
2012Detecting Emergent Behavior in Distributed Systems Caused by Overgeneralization.
Seyedehmehrnaz Mireslami, Mohammad Moshirpour, Behrouz H. Far
2012Disabling Subsumptions in a Logic-Based Component.
Éric Grégoire, Sébastien Ramon
2012Dynamically recommending design patterns.
S. Smith, D. R. Plante
2012Eliciting Security Requirements in the Commanded Behavior Frame: An Ontology based Approach.
Xiaohong Chen, Jing Liu
2012Empirical Validation of Variability-based Complexity Metrics for Software Product Line Architecture.
Edson A. Oliveira Junior, Itana Maria de Souza Gimenes, José Carlos Maldonado
2012Enforcing Contracts for Aspect-oriented programs with Annotations, Pointcuts and Advice.
Henrique Rebêlo, Ricardo Massa Ferreira Lima, Alexandre Mota, César A. L. de Oliveira, Márcio Ribeiro
2012Engineering Graphical Domain Specific Languages to Develop Embedded Robot Applications.
Daniel B. F. Conrado, Valter Vieira de Camargo
2012Evaluating Open Source Reverse Engineering Tools for Teaching Software Engineering.
Swapna S. Gokhale, Thérèse Smith, Robert McCartney
2012Evaluating the Cost-Effectiveness of Inspecting the Requirement Documents: An Empirical Study.
Narendar Mandala, Gursimran Singh Walia
2012Evolutionary Learning and Fuzzy Logic Applied to a Load Balancer.
Francisco Calaça Xavier, Max Gontijo de Oliveira, Cedric Luiz de Carvalho
2012Feature modeling and Verification based on Description Logics.
Guohua Shen, Zhiqiu Huang, Changbao Tian, Qiang Ge, Wei Zhang
2012Follow-the-Sun Software Development: A Controlled Experiment to Evaluate the Benefits of Adaptive and Prescriptive Approaches.
Josiane Kroll, Alan R. Santos, Rafael Prikladnicki, Estevão Ricardo Hess, Rafael A. Glanzner, Afonso Sales, Jorge Luis Nicolas Audy, Paulo Henrique Lemelle Fernandes
2012Forecasting Fault Events in Power Distribution Grids Using Machine Learning.
Aldo Dagnino, Karen Smiley, Lakshmi Ramachandran
2012GS2SPL: Goals and Scenarios to Software Product Lines.
Gabriela Guedes, Carla T. L. L. Silva, Jaelson Castro, Monique Soares, Diego Dermeval, Cleice Souza
2012Generating Performance Test Scripts and Scenarios Based on Abstract Intermediate Models.
Leandro T. Costa, Ricardo M. Czekster, Flávio Moreira de Oliveira, Elder M. Rodrigues, Maicon Bernardino da Silveira, Avelino F. Zorzo
2012How Social Network APIs Have Ended the Age of Privacy.
Derek Doran, Sean Curley, Swapna S. Gokhale
2012HybridUML Based Verification of CPS Using Differential Dynamic Logic.
Min Zhu, Bixin Li, Jiakai Li, Qiaoqiao Chen, Xiaoxiang Zhai, Shunhui Ji
2012Identification Guidelines for the Design of Interfaces in the context of ECAs and ADHD.
Sandra Rodrigues Sarro Boarati, Cecilia Sosa Arias Peixoto
2012Identification of Design Patterns Using Dependence Analysis.
Wentao Ma, Xiaoyu Zhou, Xiaofang Qi, Ju Qian, Lei Xu, Rui Yang
2012Identifying Coincidental Correctness for Fault Localization by Clustering Test Cases.
Yi Miao, Zhenyu Chen, Sihan Li, Zhihong Zhao, Yuming Zhou
2012Implementing Web Applications as Social Machines Composition: A Case Study.
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
2012Improving Program Comprehension in Operating System Kernels with Execution Trace Information.
Elder Vicente, Geycy Dyany, Rivalino Matias, Marcelo de Almeida Maia
2012Improving a Web Usability Inspection Technique through an Observational Study.
Priscila Silva Fernandes, Tayana Conte, Bruno A. Bonifácio
2012Interactive Business Rules Framework for Knowledge Based Service Oriented Architecture.
Debashis Chanda, Dwijesh Dutta Majumder, Swapan Bhattacharya
2012Interoperable EMR Message Generation: A Model-Driven Software Product Line Approach .
Deepa Raka, Shih-Hsi Liu, Marjan Mernik
2012Investigating the Use of Bayesian Networks as a Support Tool for Monitoring Software Projects.
Fábio Pittoli, Abraham L. R. de Sousa, Daltro J. Nunes
2012Managing Linear Hash in a Closed Space .
Satoshi Narata, Takao Miura
2012Measuring the Effect Of Usability Mechanisms On User Efficiency, Effectiveness and Satisfaction.
Marianella Aveledo, Diego M. Curtino, Agustín De la Rosa, Ana M. Moreno
2012Mining Call Graph for Change Impact Analysis.
Qiandong Zhang, Bixin Li, Xiaobing Sun
2012Modal ZIA, Modal Refinement Relation and Logical Characterization.
Zining Cao
2012Model Transformation for Frameworks Using Logical Planning.
Guilherme A. Marchetti, Edson S. Gomi
2012Model-Based Metamorphic Testing: A Case Study.
Junhua Ding, Dianxiang Xu
2012Modeling and Analysis of Switched Fuzzy Systems.
Zuohua Ding, Jiaying Ma
2012Multi-Objective Optimization of Fuzzy Neural Networks for Software Modeling.
Kuwen Li, Marek Z. Reformat, Witold Pedrycz, Jinfeng Yu
2012Non-functional Properties in Software Product Lines: A Taxonomy for Classification.
Mahdi Noorian, Ebrahim Bagheri, Weichang Du
2012On the Naturalness of Software.
Premkumar T. Devanbu
2012Online Anomaly Detection for Components in OSGi-based Software .
Tao Wang, Wenbo Zhang, Jun Wei, Jianhua Zhang, Hua Zhong
2012Ontology-based Representation of Simulation Models.
Katarina Grolinger, Miriam A. M. Capretz, José R. Martí, Krishan D. Srivastava
2012Optimal Variability Selection in Product Line Engineering.
Rafael Pinto Medeiros, Uéverton dos Santos Souza, Fábio Protti, Leonardo Gresta Paulino Murta
2012P2P-based Publication and Location of Web Ontology for Knowledge Sharing in Virtual Communities.
Huayou Si, Zhong Chen, Yong Deng
2012Parallel Path Execution for Software Testing Over Automated Test Cloud.
Wei Liu, Xiaoqiang Liu, Feng Li, Yulong Gu, Lizhi Cai, Genxing Yang, Zhenyu Liu
2012Parametric Verification of TimeWorkflow Nets.
Hanifa Boucheneb, Kamel Barkaoui
2012Petri Net Modeling of Application Server Performance for Web Services.
M. Rahmani, Azad H. Azadmanesh, Harvey P. Siy
2012Phases, Activities, and Techniques for a Requirements Conceptualization Process.
Alejandro Hossian, Ramón García-Martínez
2012PlugSPL: An Automated Environment for Supporting Plugin-based Software Product Lines.
Elder M. Rodrigues, Avelino F. Zorzo, Edson A. Oliveira Junior, Itana Maria de Souza Gimenes, José Carlos Maldonado, Anderson R. P. Domingues
2012Pointcut Design with AODL .
Saqib Iqbal, Gary Allen
2012Proactive Two Way Mobile Advertisement Using a Collaborative Client Server Architecture.
Weimin Ding, Xiao Su
2012Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), Hotel Sofitel, Redwood City, San Francisco Bay, USA July 1-3, 2012
2012Progressive Clustering with Learned Seeds: An Event Categorization System for Power Grid.
Boyi Xie, Rebecca J. Passonneau, Haimonti Dutta, Jing-Yeu Miaw, Axinia Radeva, Ashish Tomar, Cynthia Rudin
2012Reconfiguration of Robot Applications using Data Dependency and Impact Analysis.
Michael E. Shin, Taeghyun Kang, Sunghoon Kim, Seungwook Jung, Myungchan Roh
2012Regression Testing Prioritization Based on Fuzzy Inference Systems.
Pedro de Alcântara dos Santos Neto, Ricardo Britto, Thiago Soares, Werney Ayala, Jonathas Cruz, Ricardo A. L. Rabêlo
2012Rendering UML Activity Diagrams as a Domain Specific Language - ADL.
Charoensak Narkngam, Yachai Limpiyakorn
2012Requirement Analysis and Automated Verification: A Semantic Approach.
Animesh Dutta, Prajna Devi Upadhyay, Sudipta Acharya
2012Resource Modeling and Analysis for Workflows: A Petri Net Approach.
Jiacun Wang, Demin Li
2012Reuse of Experiences Applied to Requirements Engineering: An Approach Based on Natural Language Processing.
Adriano Albuquerque, Vládia Pinheiro, Thiago Leite
2012Risk-driven Non-functional Requirement Analysis and Specification.
Yi Liu, Zhiyi Ma, Hui Liu, Weizhong Shao
2012SAMAT - A Tool for Software Architecture Modeling and Analysis.
Su Liu, Reng Zeng, Zhuo Sun, Xudong He
2012SciprovMiner: Provenance Capture Using the OPM Model.
Tatiane O. M. Alves, Wander Gaspar, Regina M. M. Braga, Marco Antonio Machado, Wagner Arbex
2012Semantic Interfaces Discovery Server.
Laura Maria Chaves, José Renato Villela Dantas, Bruno de Azevedo Muniz, Julio Cesar Campos Neto, Pedro Porfírio Muniz Farias
2012Semantic Technology Recommendation Based on the Analytic Network Process.
Filip Radulovic, Raul Garcia-Castro
2012Singular Formulas for Compound Siphons, Complementary Siphons and Characteristic Vectors for Deadlock Prevention in Cloud Computing.
Gaiyun Liu, Daniel Yuh Chao, Yao-Nan Lien
2012Slicing Concurrent Interprocedural Programs Based on Program Reachability Graphs.
Xiaofang Qi, Xiaojing Xu, Peng Wang
2012Software Process Monitoring Using Statistical Process Control Integrated in Workflow Systems.
Marília Aranha Freire, Daniel Alencar da Costa, Eduardo Aranha, Uirá Kulesza
2012Software as a Service: Undo.
Hernán Merlino, Oscar Dieste, Patricia Pesado, Ramón García-Martínez
2012Spacemaker: Practical Formal Synthesis of Tradeoff Spaces for Object-Relational Mapping.
Hamid Bagheri, Kevin J. Sullivan, Sang H. Son
2012Sparse Linear Influence Model for Hot User Selection on Mining a Social Network.
Yingze Wang, Guang Xiang, Shi-Kuo Chang
2012Specification of Safety Critical Systems with Intelligent Software Agent Method.
Vinitha Hannah Subburaj, Joseph E. Urban, Manan R. Shah
2012Stability of Filter-Based Feature Selection Methods for Imbalanced Software Measurement Data.
Kehan Gao, Taghi M. Khoshgoftaar, Amri Napolitano
2012Structural Testing for Multithreaded Programs: An Experimental Evaluation of the Cost, Strength and Effectiveness.
Silvana M. Melo, Simone do Rócio Senger de Souza, Paulo Sergio Lopes de Souza
2012Synthesizing Evidence on Risk Management: A Narrative Synthesis of two Mapping Studies.
Luanna Lopes Lobato, Ivan do Carmo Machado, Paulo Anselmo da Mota Silveira Neto, Eduardo Santana de Almeida, Silvio Romero de Lemos Meira
2012Testing Interoperability Security Policies.
Mazen El Maarabani, César Andrés, Ana R. Cavalli
2012The COIN Platform: Supporting the Marine Shipping Industrial Sector.
Achilleas Achilleos, Georgia M. Kapitsaki, George A. Sielis, George A. Papadopoulos
2012Tool Support for Anomaly Detection in Scientific Sensor Data.
Irbis Gallegos, Ann Q. Gates
2012Towards Architectural Evolution through Model Transformations.
João Pimentel, Emanuel Santos, Diego Dermeval, Jaelson Castro, Anthony Finkelstein
2012Towards Autonomic Business Process Models.
Karolyne Oliveira, Jaelson Castro, Sergio España, Oscar Pastor
2012Towards More Generic Aspect-Oriented Programming: Rethinking the AOP Joinpoint Concept.
Jonathan Cook, Amjad Nusayr
2012Towards a Novel Semantic Approach for Process Patterns' Capitalization and Reuse.
Nahla Jlaiel, Mohamed Ben Ahmed
2012Towards a Unified Source Code Measurement Framework Supporting Multiple Programming Languages.
Reisha Humaira, Kazunori Sakamoto, Akira Ohashi, Hironori Washizaki, Yoshiaki Fukazawa
2012Using Cell Phones for Mosquito Vector Surveillance and Control.
Saul Lozano-Fuentes, Sudipto Ghosh, James M. Bieman, D. Sadhu, Lars Eisen, Fadi Wedyan, E. Hernandez-Garcia, J. Garcia-Rejon, D. Tep-Chel
2012Using Empirical Studies to Evaluate the REMO Requirement Elicitation Technique.
Sérgio Roberto Costa Vieira, Davi Viana, Rogério P. C. do Nascimento, Tayana Conte
2012Using FCA-based Change Impact Analysis for Regression Testing.
Xiaobing Sun, Bixin Li, Chuanqi Tao, Qiandong Zhang
2012Using Semantic Relatedness and Locality for Requirements Elicitation Guidance.
Stefan Farfeleder, Thomas Moser, Andreas Krall
2012Using Social Networks for Learning New Concepts in Multi-Agent Systems.
Shimaa M. El-Sherif, Behrouz Homayoun Far, Armin Eberlein
2012Using the Results from a Systematic Mapping Extension to Define a Usability Inspection Method for Web Applications.
Luis Rivero, Tayana Conte
2012Verification of Cyber-Physical Systems Based on Differential-Algebraic Temporal Dynamic Logic.
Xiaoxiang Zhai, Bixin Li, Min Zhu, Jiakai Li, Qiaoqiao Chen, Shunhui Ji
2012Verifying Aspect-Oriented Activity Diagrams Against Crosscutting Properties with Petri Net Analyzer.
Zhanqi Cui, Linzhang Wang, Xi Liu, Lei Bu, Jianhua Zhao, Xuandong Li
2012Working and Playing with SCRUM.
Erick Baptista Passos, Danilo Medeiros, Wandresson Araújo, Pedro de Alcântara dos Santos Neto
2012i2Learning: Perpetual Learning through Bias Shifting.
Du Zhang
2012umlTUowl - A Both Generic and Vendor-specific Approach for UML to OWL Transformation.
Andreas Grünwald, Thomas Moser