BibSLEIGH — Proceedings of the 24th International Conference on Software Engineering and Knowledge Engineering

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

KER

@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.

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

Contents (140 items)

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