


Остановите войну!
for scientists:


default search action
24th SEKE 2012: Redwood City, San Francisco Bay, CA, USA
- 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 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 Rocio 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