Proceedings of the 24th International Conference on Software Engineering and Knowledge Engineering
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter


Proceedings of the 24th International Conference on Software Engineering and Knowledge Engineering
SEKE, 2012.

KER
DBLP
Scholar
Full names Links ISxN
@proceedings{SEKE-2012,
	isbn          = "1-891706-31-4",
	publisher     = "{Knowledge Systems Institute Graduate School}",
	title         = "{Proceedings of the 24th International Conference on Software Engineering and Knowledge Engineering}",
	year          = 2012,
}

Contents (140 items)

SEKE-2012-Devanbu #on the
On the Naturalness of Software (PTD).
SEKE-2012-WangXC #linear #mining #network #social
Sparse Linear Influence Model for Hot User Selection on Mining a Social Network (YW, GX, SKC), pp. 1–6.
SEKE-2012-ZhangLS #graph #impact analysis #mining
Mining Call Graph for Change Impact Analysis (QZ, BL, XS), pp. 7–12.
SEKE-2012-JangidPE #analysis #mobile #predict #sentiment #using
A Mobile Application for Stock Market Prediction Using Sentiment Analysis (KJ, PP, ME), pp. 13–18.
SEKE-2012-FarfelederMK #elicitation #locality #requirements #semantics #using
Using Semantic Relatedness and Locality for Requirements Elicitation Guidance (SF, TM, AK), pp. 19–24.
SEKE-2012-HossianG #concept #process #requirements
Phases, Activities, and Techniques for a Requirements Conceptualization Process (AH, RGM), pp. 25–32.
SEKE-2012-VieiraVNC #elicitation #empirical #using
Using Empirical Studies to Evaluate the REMO Requirement Elicitation Technique (SRCV, DV, RdN, TC), pp. 33–38.
SEKE-2012-SalamahEO #automaton #consistency #ltl #using
Consistency Checks of System Properties Using LTL and Büchi Automata (SS, ME, OO), pp. 39–44.
SEKE-2012-MandalaW #documentation #effectiveness #empirical
Evaluating the Cost-Effectiveness of Inspecting the Requirement Documents: An Empirical Study (NM, GSW), pp. 45–50.
SEKE-2012-DuttaUA #analysis #approach #automation #semantics #verification
Requirement Analysis and Automated Verification: A Semantic Approach (AD, PDU, SA), pp. 51–54.
SEKE-2012-LiuMLS #analysis #non-functional #specification
Risk-driven Non-functional Requirement Analysis and Specification (YL, ZM, HL, WS), pp. 55–60.
SEKE-2012-ChenL #approach #behaviour #elicitation #ontology #requirements #security
Eliciting Security Requirements in the Commanded Behavior Frame: An Ontology based Approach (XC, JL), pp. 61–65.
SEKE-2012-FerreiraS #approach #overview
An Overview of the RSLingo Approach (DdAF, ARdS), pp. 66–69.
SEKE-2012-MireslamiMF #behaviour #detection #distributed
Detecting Emergent Behavior in Distributed Systems Caused by Overgeneralization (SM, MM, BHF), pp. 70–73.
SEKE-2012-GaoKN #feature model #metric
Stability of Filter-Based Feature Selection Methods for Imbalanced Software Measurement Data (KG, TMK, AN), pp. 74–79.
SEKE-2012-ChavesDMNF #interface #semantics
Semantic Interfaces Discovery Server (LMC, JRVD, BdAM, JCCN, PPMF), pp. 80–87.
SEKE-2012-Collazo-MojicaSEB #constraints #monitoring #scalability
Cloud Application Resource Mapping and Scaling Based on Monitoring of QoS Constraints (XJCM, SMS, JE, RMB), pp. 88–93.
SEKE-2012-WangKWN #empirical #fault #metric #predict
An Empirical Study of Software Metric Selection Techniques for Defect Prediction (HW, TMK, RW, AN), pp. 94–99.
SEKE-2012-XiePDMRTR #categorisation #clustering #grid #power management
Progressive Clustering with Learned Seeds: An Event Categorization System for Power Grid (BX, RJP, HD, JYM, AR, AT, CR), pp. 100–105.
SEKE-2012-LiRPY #fuzzy #modelling #multi #network #optimisation
Multi-Objective Optimization of Fuzzy Neural Networks for Software Modeling (KL, MR, WP, JY), pp. 106–111.
SEKE-2012-CostaCORSZ #generative #modelling #performance #testing
Generating Performance Test Scripts and Scenarios Based on Abstract Intermediate Models (LTC, RMC, FMdO, EdMR, MBdS, AFZ), pp. 112–117.
SEKE-2012-BhattiAHD #concept #re-engineering
A Catalog of Patterns for Concept Lattice Interpretation in Software Reengineering (MUB, NA, MH, SD), pp. 118–123.
SEKE-2012-HanXO #web
Client-Side Rendering Mechanism: A Double-Edged Sword for Browser-Based Web Applications (HH, YX, KO), pp. 124–130.
SEKE-2012-HumayunG #empirical #trust #using
An Empirical Study on Improving Trust among GSD Teams Using KMR (MH, GC), pp. 131–134.
SEKE-2012-DingM #analysis #fuzzy #modelling
Modeling and Analysis of Switched Fuzzy Systems (ZD, JM), pp. 135–138.
SEKE-2012-HuiLCDM #e-commerce #empirical #recommendation
An Empirical Study on Recommendation Methods for Vertical B2C E-commerce (CH, JL, ZC, XD, WM), pp. 139–142.
SEKE-2012-MolleriB #automation #overview #perspective #process
Automated Approaches to Support Secondary Study Processes: a Systematic Review (JSM, FBVB), pp. 143–147.
SEKE-2012-RebeloLMOR #aspect-oriented #contract #source code
Enforcing Contracts for Aspect-oriented programs with Annotations, Pointcuts and Advice (HR, RMFL, AM, CALO, MR), pp. 148–153.
SEKE-2012-CookN #aspect-oriented #concept #programming #towards
Towards More Generic Aspect-Oriented Programming: Rethinking the AOP Joinpoint Concept (JC, AN), pp. 154–157.
SEKE-2012-DuarteN #development #embedded #overview #perspective
Aspect-Orientation in the Development of Embedded Systems: A Systematic Review (LSD, EYN), pp. 158–161.
SEKE-2012-GokhaleSM #education #open source #re-engineering #reverse engineering #tool support
Evaluating Open Source Reverse Engineering Tools for Teaching Software Engineering (SSG, TS, RM), pp. 162–167.
SEKE-2012-dArceGCE #aspect-oriented #coordination #source code #visualisation
Coordination Model to Support Visualization of Aspect-Oriented Programs (ÁFd, REG, RCMC, DME), pp. 168–173.
SEKE-2012-VicenteDMM #comprehension #execution #kernel #operating system
Improving Program Comprehension in Operating System Kernels with Execution Trace Information (EV, GD, RM, MdAM), pp. 174–179.
SEKE-2012-ChangCSZQ #approach #component #ontology #reuse
An Approach for Software Component Reusing Based on Ontological Mapping (SKC, FC, MDS, EZ, YQ), pp. 180–187.
SEKE-2012-WangZWZZ #component #detection #online
Online Anomaly Detection for Components in OSGi-based Software (TW, WZ, JW, JZ, HZ), pp. 188–193.
SEKE-2012-AnguswamyF #case study #component #reuse
An Exploratory Study of One-Use and Reusable Software Components (RA, WBF), pp. 194–219.
SEKE-2012-FoukarakisKT #open source
Choosing Licenses In Free Open Source Software (IEF, GMK, NDT), pp. 200–204.
SEKE-2012-Pelto-PiriMT #evaluation #industrial
A Unified Model for Server Usage and Operational Costs Based on User Profiles: An Industrial Evaluation (JPP, PM, RT), pp. 205–210.
SEKE-2012-ChenCZS #analysis #approach #integration
A Model-centric Approach for the Integration of Software Analysis Methods (XC, JC, ZZ, LS), pp. 211–216.
SEKE-2012-ZhangCGZSC #named #reduction #requirements #testing
CATESR: Change-aware Test Suite Reduction Based on Partial Coverage of Test Requirements (LZ, XC, QG, HZ, XS, DC), pp. 217–224.
SEKE-2012-HoritaBB #development #process #quality
A Process Model for Human Resources Management Focused on Increasing the Quality of Software Development (FEAH, JDB, RMdB), pp. 225–230.
SEKE-2012-ZhaiLZLCJ #algebra #cyber-physical #logic #verification
Verification of Cyber-Physical Systems Based on Differential-Algebraic Temporal Dynamic Logic (XZ, BL, MZ, JL, QC, SJ), pp. 231–234.
SEKE-2012-ZhuLLCZJ #continuation #difference #logic #using #verification
HybridUML Based Verification of CPS Using Differential Dynamic Logic (MZ, BL, JL, QC, XZ, SJ), pp. 235–238.
SEKE-2012-LiLCZJZ #adaptation #continuation #self #verification
A HybridUML and QdL Based Verification Method for CPS Self-Adaptability (JL, BL, QC, MZ, SJ, XZ), pp. 239–242.
SEKE-2012-GregoireR #component
Disabling Subsumptions in a Logic-Based Component (ÉG, SR), pp. 243–248.
SEKE-2012-Zhang #bias #learning #named
i2Learning: Perpetual Learning through Bias Shifting (DZ), pp. 249–255.
SEKE-2012-XavierOC #fuzzy #learning #logic
Evolutionary Learning and Fuzzy Logic Applied to a Load Balancer (FCX, MGdO, CLdC), pp. 256–260.
SEKE-2012-El-SherifFE #concept #learning #multi #network #social #using
Using Social Networks for Learning New Concepts in Multi-Agent Systems (SMES, BHF, AE), pp. 261–266.
SEKE-2012-MiaoCLZZ #clustering #correctness #fault #identification #locality #testing
Identifying Coincidental Correctness for Fault Localization by Clustering Test Cases (YM, ZC, SL, ZZ, YZ), pp. 267–272.
SEKE-2012-NetoBSACR #fuzzy #testing
Regression Testing Prioritization Based on Fuzzy Inference Systems (PSN, RB, TS, WA, JC, RALR), pp. 273–278.
SEKE-2012-LiuLLGCYL #automation #execution #parallel #testing
Parallel Path Execution for Software Testing Over Automated Test Cloud (WL, XL, FL, YG, LC, GY, ZL), pp. 279–282.
SEKE-2012-HaoWZ #classification #empirical #machine learning
An Empirical Study of Execution-Data Classification Based on Machine Learning (DH, XW, LZ), pp. 283–288.
SEKE-2012-MaZQQXY #analysis #dependence #design pattern #identification #using
Identification of Design Patterns Using Dependence Analysis (WM, XZ, XQ, JQ, LX, RY), pp. 289–292.
SEKE-2012-QiXW #concurrent #graph #interprocedural #reachability #slicing #source code
Slicing Concurrent Interprocedural Programs Based on Program Reachability Graphs (XQ, XX, PW), pp. 293–298.
SEKE-2012-WauteletHK
A Usage-Based Unified Resource Model (YW, SH, MK), pp. 299–304.
SEKE-2012-RahmaniAS #modelling #performance #petri net #web #web service
Petri Net Modeling of Application Server Performance for Web Services (MR, AHA, HPS), pp. 305–310.
SEKE-2012-BritoOMNBGM #case study #composition #implementation #social #web
Implementing Web Applications as Social Machines Composition: A Case Study (KdSB, LEAO, PFM, LMN, VAdAB, VCG, SRdLM), pp. 311–314.
SEKE-2012-ChandaMB #architecture #framework #interactive #knowledge base
Interactive Business Rules Framework for Knowledge Based Service Oriented Architecture (DC, DDM, SB), pp. 315–318.
SEKE-2012-CorreaSSA #modelling #rest #testing #uml #web #web service
Defining RESTful Web Services Test Cases from UML Models (ALC, TSdS, EAS, AJA), pp. 319–323.
SEKE-2012-BelkhatirOV #composition #quality
A Model Introducing SOAs Quality Attributes Decomposition (RB, MO, AV), pp. 324–327.
SEKE-2012-MerlinoDPG #as a service #undo
Software as a Service: Undo (HM, OD, PP, RGM), pp. 328–332.
SEKE-2012-FitchX #fault tolerance #petri net
A Petri Net Model for Secure and Fault-Tolerant Cloud-Based Information Storage (DFF, HX), pp. 333–339.
SEKE-2012-LuZZBA #decidability #invariant #petri net
Decidability of Minimal Supports of S-invariants and the Computation of their Supported S-invariants of Petri Nets (FL, QZ, HZ, YB, JA), pp. 340–345.
SEKE-2012-XuT #automation #concurrent #generative
Automated Generation of Concurrent Test Code from Function Nets (DX, JT), pp. 346–351.
SEKE-2012-LiuZSH #analysis #architecture #modelling #named
SAMAT — A Tool for Software Architecture Modeling and Analysis (SL, RZ, ZS, XH), pp. 352–358.
SEKE-2012-LiuCL #concurrent #in the cloud
Singular Formulas for Compound Siphons, Complementary Siphons and Characteristic Vectors for Deadlock Prevention in Cloud Computing (GL, DYC, YNL), pp. 359–362.
SEKE-2012-DingX #case study #modelling #testing
Model-Based Metamorphic Testing: A Case Study (JD, DX), pp. 363–368.
SEKE-2012-CuiWLBZL #aspect-oriented #diagrams #petri net #process #verification
Verifying Aspect-Oriented Activity Diagrams Against Crosscutting Properties with Petri Net Analyzer (ZC, LW, XL, LB, JZ, XL), pp. 369–374.
SEKE-2012-BouchenebB #parametricity #verification #workflow
Parametric Verification of TimeWorkflow Nets (HB, KB), pp. 375–380.
SEKE-2012-WangL #analysis #approach #modelling #petri net #workflow
Resource Modeling and Analysis for Workflows: A Petri Net Approach (JW, DL), pp. 381–386.
SEKE-2012-PereiraAS #adaptation #architecture #data access #named
ACADA: Access Control-driven Architecture with Dynamic Adaptation (ÓMP, RLA, MYS), pp. 387–393.
SEKE-2012-ShinMGK #architecture
Connectors for Secure Software Architectures (MES, BM, HG, TK), pp. 394–399.
SEKE-2012-DoranCG #api #how #network #privacy #social
How Social Network APIs Have Ended the Age of Privacy (DD, SC, SSG), pp. 400–405.
SEKE-2012-GayedLB #forensics #semantics #towards #web
Computer Forensics: Toward the Construction of Electronic Chain of Custody on the Semantic Web (TFG, HL, MB), pp. 406–411.
SEKE-2012-AsuncionT #approach #traceability
A Holistic Approach to Software Traceability (HUA, RNT), pp. 412–417.
SEKE-2012-IqbalA #aspect-oriented #design
Pointcut Design with AODL (SI, GA), pp. 418–421.
SEKE-2012-ShenHTGZ #feature model #logic #modelling #verification
Feature modeling and Verification based on Description Logics (GS, ZH, CT, QG, WZ), pp. 422–425.
SEKE-2012-BublitzAP #case study #ontology #pervasive
A Context Ontology Model for Pervasive Advertising: a Case Study on Pervasive Displays (FB, HOdA, AP), pp. 426–431.
SEKE-2012-GrolingerCMS #modelling #ontology #representation #simulation
Ontology-based Representation of Simulation Models (KG, MAMC, JRM, KDS), pp. 432–437.
SEKE-2012-AvelarSP #approach #database #ontology #relational #xml
An Ontology-based Approach for Storing XML Data Into Relational Databases (FTMdA, DdBS, EKP), pp. 438–443.
SEKE-2012-SoaresPCSTGD #architecture #automation #generative #modelling
Automatic Generation of Architectural Models From Goals Models (MS, JP, JC, CTLLS, CTNS, GG, DD), pp. 444–447.
SEKE-2012-PimentelSDCF #architecture #evolution #model transformation #towards
Towards Architectural Evolution through Model Transformations (JP, ES, DD, JC, AF), pp. 448–451.
SEKE-2012-SunLTZ #impact analysis #testing #using
Using FCA-based Change Impact Analysis for Regression Testing (XS, BL, CT, QZ), pp. 452–457.
SEKE-2012-DagninoSR #fault #machine learning #using
Forecasting Fault Events in Power Distribution Grids Using Machine Learning (AD, KS, LR), pp. 458–463.
SEKE-2012-MaarabaniAC #policy #security #testing
Testing Interoperability Security Policies (MEM, CA, ARC), pp. 464–469.
SEKE-2012-YangCXZZ #approach #multi #optimisation
A New Approach to Evaluate Path Feasibility and Coverage Ratio of EFSM Based on Multi-objective Optimization (RY, ZC, BX, ZZ, WZ), pp. 470–475.
SEKE-2012-MeloSS #effectiveness #evaluation #parallel #source code #testing #thread
Structural Testing for Multithreaded Programs: An Experimental Evaluation of the Cost, Strength and Effectiveness (SMM, SdRSdS, PSLdS), pp. 476–479.
SEKE-2012-HumairaSOWF #framework #metric #multi #programming language #source code #towards
Towards a Unified Source Code Measurement Framework Supporting Multiple Programming Languages (RH, KS, AO, HW, YF), pp. 480–485.
SEKE-2012-WilsonL #metalanguage #specification
A Tiny Specification Metalanguage (WWW, YL), pp. 486–490.
SEKE-2012-AlvesGBMA #named #using
SciprovMiner: Provenance Capture Using the OPM Model (TOMA, WG, RMMB, MAM, WA), pp. 491–494.
SEKE-2012-ConradoC #domain-specific language #embedded #visual notation
Engineering Graphical Domain Specific Languages to Develop Embedded Robot Applications (DBFC, VVdC), pp. 495–498.
SEKE-2012-SmithP #design pattern #recommendation
Dynamically recommending design patterns (SS, DRP), pp. 499–504.
SEKE-2012-JlaielA #approach #novel #process #reuse #semantics #towards
Towards a Novel Semantic Approach for Process Patterns’ Capitalization and Reuse (NJ, MBA), pp. 505–510.
SEKE-2012-VegiFCOB #analysis #named
DC2AP: A Dublin Core Application Profile to Analysis Patterns (LFdMV, JLF, GLdSC, AdPO, JLB), pp. 511–516.
SEKE-2012-DeltombeGB #legacy #modelling
Bridging KDM and ASTM for Model-Driven Software Modernization (GD, OLG, FB), pp. 517–524.
SEKE-2012-Cao #logic #refinement
Modal ZIA, Modal Refinement Relation and Logical Characterization (ZC), pp. 525–530.
SEKE-2012-OliveiraCEP #modelling #process #towards
Towards Autonomic Business Process Models (KO, JC, SE, OP), pp. 531–536.
SEKE-2012-RakaLM #approach #generative #modelling #product line
Interoperable EMR Message Generation: A Model-Driven Software Product Line Approach (DR, SHL, MM), pp. 537–540.
SEKE-2012-GaoHYZS #collaboration #design
A Data Collaboration Model for Collaborative Design Based on C-Net (XG, WH, WY, SZ, XS), pp. 541–544.
SEKE-2012-PassosMAN #agile #game studies
Working and Playing with SCRUM (EBP, DM, WA, PSN), pp. 545–550.
SEKE-2012-KrollSPHGSAF #adaptation #development #empirical
Follow-the-Sun Software Development: A Controlled Experiment to Evaluate the Benefits of Adaptive and Prescriptive Approaches (JK, ARS, RP, ERH, RAG, AS, JLNA, PHLF), pp. 551–556.
SEKE-2012-FreireCAK #monitoring #process #statistics #using #workflow
Software Process Monitoring Using Statistical Process Control Integrated in Workflow Systems (MAF, DAdC, EA, UK), pp. 557–562.
SEKE-2012-MarchettiG #framework #logic #model transformation #using
Model Transformation for Frameworks Using Logical Planning (GAM, ESG), pp. 563–569.
SEKE-2012-PittoliSN #monitoring #network #using
Investigating the Use of Bayesian Networks as a Support Tool for Monitoring Software Projects (FP, ALRdS, DJN), pp. 570–573.
SEKE-2012-AlbuquerquePL #approach #case study #experience #natural language #requirements #reuse #using
Reuse of Experiences Applied to Requirements Engineering: An Approach Based on Natural Language Processing (AA, VP, TL), pp. 574–577.
SEKE-2012-SubburajUS #safety #specification
Specification of Safety Critical Systems with Intelligent Software Agent Method (VHS, JEU, MRS), pp. 578–581.
SEKE-2012-RiveroC #usability #using #web
Using the Results from a Systematic Mapping Extension to Define a Usability Inspection Method for Web Applications (LR, TC), pp. 582–587.
SEKE-2012-FernandesCB #usability #web
Improving a Web Usability Inspection Technique through an Observational Study (PF, TC, BB), pp. 588–593.
SEKE-2012-BoaratiP #design #guidelines #identification #interface
Identification Guidelines for the Design of Interfaces in the context of ECAs and ADHD (SRSB, CSAP), pp. 594–598.
SEKE-2012-MCRM #effectiveness #performance #usability
Measuring the Effect Of Usability Mechanisms On User Efficiency, Effectiveness and Satisfaction (MA, DMC, ADlR, AMM), pp. 599–604.
SEKE-2012-DamianiV #automation #diagrams #generative #interactive #interface #web
Automatic Generation of Web Interfaces from User Interaction Diagrams (FBD, PV), pp. 605–610.
SEKE-2012-RadulovicG #network #process #recommendation #semantics
Semantic Technology Recommendation Based on the Analytic Network Process (FR, RGC), pp. 611–616.
SEKE-2012-SiCD #community #ontology #web
P2P-based Publication and Location of Web Ontology for Knowledge Sharing in Virtual Communities (HS, ZC, YD), pp. 617–621.
SEKE-2012-JuniorGM #architecture #complexity #empirical #metric #product line #validation #variability
Empirical Validation of Variability-based Complexity Metrics for Software Product Line Architecture (EAdOJ, IMdSG, JCM), pp. 622–627.
SEKE-2012-NetoNAM #product line #testing #tool support
A Mapping Study on Software Product Lines Testing Tools (CRLN, PAdMSN, ESdA, SRdLM), pp. 628–634.
SEKE-2012-MedeirosSPM #product line #variability
Optimal Variability Selection in Product Line Engineering (RPM, UdSS, FP, LGPM), pp. 635–640.
SEKE-2012-LobatoMNAM #risk management #synthesis
Synthesizing Evidence on Risk Management: A Narrative Synthesis of two Mapping Studies (LLL, IdCM, PAdMSN, ESdA, SRdLM), pp. 641–646.
SEKE-2012-RodriguesZJGMD #automation #named #product line
PlugSPL: An Automated Environment for Supporting Plugin-based Software Product Lines (EdMR, AFZ, EAdOJ, IMdSG, JCM, ARPD), pp. 647–650.
SEKE-2012-GuedesSCSDS #named #product line
GS2SPL: Goals and Scenarios to Software Product Lines (GG, CTLLS, JC, MS, DD, CS), pp. 651–656.
SEKE-2012-CunhaCAM #modelling #product line #set
A Set of Inspection Techniques on Software Product Line Models (RC, TC, ESdA, JCM), pp. 657–662.
SEKE-2012-NoorianBD #classification #non-functional #product line #taxonomy
Non-functional Properties in Software Product Lines: A Taxonomy for Classification (MN, EB, WD), pp. 663–667.
SEKE-2012-AffonsoR #architecture #configuration management #development
A Proposal of Reference Architecture for the Reconfigurable Software Development (FJA, ELLR), pp. 668–671.
SEKE-2012-TanizakiAK #variability
A Variability Management Method for Software Configuration Files (HT, TA, TK), pp. 672–677.
SEKE-2012-GallegosG #detection #tool support
Tool Support for Anomaly Detection in Scientific Sensor Data (IG, AQG), pp. 678–683.
SEKE-2012-ShinKKJR #configuration management #dependence #impact analysis #using
Reconfiguration of Robot Applications using Data Dependency and Impact Analysis (MES, TK, SK, SJ, MR), pp. 684–687.
SEKE-2012-BagheriSS #named #synthesis #trade-off
Spacemaker: Practical Formal Synthesis of Tradeoff Spaces for Object-Relational Mapping (HB, KJS, SHS), pp. 688–693.
SEKE-2012-CourbisLLPUV #agile #behaviour #development #incremental #specification
A Formal Support for Incremental Behavior Specification In Agile Development (ALC, TL, HVL, TLP, CU, SV), pp. 694–799.
SEKE-2012-LeeS #approach #re-engineering
A Process-Based Approach to Improving Knowledge Sharing in Software Engineering (SBL, KS), pp. 700–705.
SEKE-2012-AlrayesL #automation #web
Automatic Acquisition of isA Relationships from Web Tables (NA, WSL), pp. 706–711.
SEKE-2012-CordeiroCP
A Light Weight Alternative for OLAP (HC, JC, EP), pp. 712–717.
SEKE-2012-GuoCZ #visualisation
A Tool for Visualization of a Knowledge Model (SSG, CWC, QZ), pp. 718–723.
SEKE-2012-NarkngamL #diagrams #domain-specific language #process #uml
Rendering UML Activity Diagrams as a Domain Specific Language — ADL (CN, YL), pp. 724–729.
SEKE-2012-GrunwaldM #approach #named #owl #uml
umlTUowl — A Both Generic and Vendor-specific Approach for UML to OWL Transformation (AG, TM), pp. 730–736.
SEKE-2012-SalamiA #algorithm #diagrams #framework #retrieval #search-based #using
A Framework for Class Diagram Retrieval Using Genetic Algorithm (HOS, MAA), pp. 737–740.
SEKE-2012-NarataM #linear
Managing Linear Hash in a Closed Space (SN, TM), pp. 741–746.
SEKE-2012-AlawawdehAL #adaptation #collaboration #learning #named
CLAT: Collaborative Learning Adaptive Tutor (AMHA, CA, LL), pp. 747–752.
SEKE-2012-SouzaR #performance
A proposal for the improvement of the technique of Earned Value Management utilizing the history of performance data (ADdS, ARCdR), pp. 753–758.
SEKE-2012-HuangL
A Goal-Driven Method for Selecting Issues Used in Agent Negotiation (YCH, AL), pp. 759–762.
SEKE-2012-Lozano-FuentesGBSEWHGT #using
Using Cell Phones for Mosquito Vector Surveillance and Control (SLF, SG, JMB, DS, LE, FW, EHG, JGR, DTC), pp. 763–767.
SEKE-2012-DingS #architecture #collaboration #mobile #using
Proactive Two Way Mobile Advertisement Using a Collaborative Client Server Architecture (WD, XS), pp. 768–773.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.