Proceedings of the 25th 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 25th International Conference on Software Engineering and Knowledge Engineering
SEKE, 2013.

KER
DBLP
Scholar
Full names Links ISxN
@proceedings{SEKE-2013,
	address       = "Boston, Massachusetts, USA",
	publisher     = "{Knowledge Systems Institute Graduate School}",
	title         = "{Proceedings of the 25th International Conference on Software Engineering and Knowledge Engineering}",
	year          = 2013,
}

Contents (140 items)

SEKE-2013-Chang #re-engineering
Environment-Aware Software Engineering (SKC).
SEKE-2013-Khoshgoftaar #big data #challenge
Overcoming Big Data Challenges (TMK).
SEKE-2013-Picard
Surprising discoveries from emotion sensors (RWP).
SEKE-2013-PereiraAS #data access #policy #relational #runtime
Runtime Values Driven by Access Control Policies — Statically Enforced at the Level of Relational Business Tiers (ÓMP, RLA, MYS), pp. 1–7.
SEKE-2013-CheP #architecture #design #development #paradigm
Exploring Architectural Design Decision Management Paradigms for Global Software Development (MC, DEP), pp. 8–13.
SEKE-2013-DiaoSYG #automation #semantics
A Semantic-based Semi-automated Role Mapping Mechanism (LD, WS, ILY, JG), pp. 14–17.
SEKE-2013-LenhardW #detection #modelling
Detecting Portability Issues in Model-Driven BPEL Mappings (JL, GW), pp. 18–21.
SEKE-2013-PortugalO #process #specification
Introducing Software Process Specification to Task Context (IdSP, TCO), pp. 22–25.
SEKE-2013-SilvaOL #declarative #explosion #modelling #problem #process
A Solution to the State Space Explosion Problem in Declarative Business Process Modeling (NCS, CALO, RMFL), pp. 26–29.
SEKE-2013-BurnayJF #matter #problem #requirements #what #why
Context Factors: What they are and why they matter for Requirements Problems (CB, IJ, SF), pp. 30–35.
SEKE-2013-ThommazoOORWF #detection #network #traceability
Detecting traceability links through neural networks (ADT, TRdO, GO, RR, VW, SF), pp. 36–41.
SEKE-2013-NajeraMPE #generative #modelling #ontology
Generating Ontologies through Organizational Modeling (KN, AM, AP, HE), pp. 42–47.
SEKE-2013-AnchietaSM #case study #diagrams #identification #prototype #uml #user interface #using
Using NLP Techniques for Identifying GUI Prototypes and UML Diagrams From Use Cases (RTA, RFdS, RSM), pp. 48–53.
SEKE-2013-SadiqJ #approach #elicitation #fuzzy #process #requirements
A fuzzy based approach for requirements prioritization in goal oriented requirements elicitation process (MS, SKJ), pp. 54–58.
SEKE-2013-WangZLBCT #analysis #modelling #non-functional #object-oriented #requirements
Integrating Functional with Non-functional Requirements Analysis In Object Oriented Modeling Tool Based on HOOMT (JW, FZ, X(L, ECB, BC, MT), pp. 59–62.
SEKE-2013-MoshirpourEF #approach #automation #ontology #using
Automated Construction of System Domain Knowledge Using an Ontology-Based Approach (MM, AE, BHF), pp. 63–66.
SEKE-2013-AlmeidaCBCLDP #adaptation #in the cloud
Dynamic Adaptation of Cloud Computing Applications (AA, EC, TB, NC, FL, FCD, PFP), pp. 67–72.
SEKE-2013-CarrerasZO #machine learning
A Machine Learning Based File Archival Tool (RC, DZ, JO), pp. 73–76.
SEKE-2013-YuFCL #in the cloud #modelling
Modeling and Analyzing Attack-Defense Strategy of Resource Service in Cloud Computing (HY, GF, LC, DL), pp. 77–82.
SEKE-2013-PytelBG #mining #validation
Proposal and Validation of a Feasibility Model for Information Mining Projects (PP, PB, RGM), pp. 83–88.
SEKE-2013-AlamRP
Decision Support for Re-planning of Software Product Releases (SMDAA, GR, DP), pp. 89–94.
SEKE-2013-GomedeB #development #process #quality #re-engineering
A Non-Intrusive Process to Software Engineering Decision Support focused on increasing the Quality of Software Development (EG, RMB), pp. 95–100.
SEKE-2013-GomesPMFNO #comprehension #education #network #profiling #social
Group Profiling for Understanding Educational Social Networking (JG, RBCP, LM, AAF, ACAN, HO), pp. 101–106.
SEKE-2013-DoranGD #comprehension #online #social #social media
Understanding Common Perceptions from Online Social Media (DD, SSG, AD), pp. 107–112.
SEKE-2013-IqbalKH #behaviour #communication #developer #social
Analyzing Social Behavior of Software Developers Across Different Communication Channels (AI, MK, MH), pp. 113–118.
SEKE-2013-RajasekharanMN #crowdsourcing #effectiveness #online
Effective Crowdsourcing for Software Feature Ideation in Online Co-Creation Forums (KR, APM, SKN), pp. 119–124.
SEKE-2013-MaierS #privacy
Profiles for Convenient Front-end Privacy (RM, JS), pp. 125–130.
SEKE-2013-Lou0 #artificial reality #gesture #interactive #personalisation #realtime #using
A Real-time Personalized Gesture Interaction System Using Wii Remote and Kinect for Tiled-Display Environment (YL, WW), pp. 131–136.
SEKE-2013-BuenoA #experience #knowledge base
Releasing the OMCS-Br Knowledgebase to Facilitate Insertion of Culture in Applications: Brazilian Experience (AdOB, JCA), pp. 137–140.
SEKE-2013-FelizardoBM #approach #overview #replication #validation #visual notation
A Visual Approach to Validate the Selection Review of Primary Studies in Systematic Reviews: A Replication Study (KRF, EFB, JCM), pp. 141–146.
SEKE-2013-AstromskisJSS
Andon for Dentists (SA, AJ, AS, GS), pp. 147–152.
SEKE-2013-KayaF #identification
Identifying Extract Method Opportunities Based on Variable References (MK, JWF), pp. 153–158.
SEKE-2013-NishiuraMWH #analysis #mutation testing #testing
Mutation Analysis for JavaScriptWeb Application Testing (KN, YM, HW, SH), pp. 159–165.
SEKE-2013-Lacanienta0TO #approach #generative #knowledge-based #web
A Knowledge-based Approach for Generating Test Scenarios for Web Applications (RL, ST, HT, MO), pp. 166–171.
SEKE-2013-RiveroC #empirical #usability #web
Improving Usability Inspection Technologies for Web Mockups through Empirical Studies (LR, TC), pp. 172–177.
SEKE-2013-Alegroth #concept #proving #random #testing #user interface #visual notation
Random Visual GUI Testing: Proof of Concept (EA), pp. 178–183.
SEKE-2013-AsuncionSPPDM #information management #using
Using Change Entries to Collect Software Project Information (HUA, MS, RP, KP, ND, WJMJ), pp. 184–189.
SEKE-2013-FortalezaJCVP #development #distributed #simulation
Improving Software Engineers’ Skills through the Simulation of Distributed Software Development in Academic Environments (LLF, OOMJ, TC, SRCV, RP), pp. 190–195.
SEKE-2013-KrollPACF #development
A Feasibility Study of Follow-the-Sun Software Development for GSD Projects (JK, RP, JLNA, EC, JF), pp. 196–199.
SEKE-2013-NevesDMMW #testing
Structural Testing of Autonomous Vehicles (VdON, MED, PCM, CCTM, DFW), pp. 200–205.
SEKE-2013-CarvalhoNM #exception #testing
Structural Testing of Exceptions Handling (LAFC, VdON, PCM), pp. 206–209.
SEKE-2013-ZouFCZZ #hybrid #test coverage #testing
A Hybrid Coverage Criterion for DynamicWeb Testing (YZ, CF, ZC, XZ, ZZ), pp. 210–213.
SEKE-2013-MarcolinoOGM #approach #case study #effectiveness #towards #variability
Towards the Effectiveness of a Variability Management Approach at Use Case Level (AM, EAOJ, IMSG, JCM), pp. 214–219.
SEKE-2013-SouzaV #agile #product line
Selecting Agile Practices for Developing Software Product Lines (DSdS, PV), pp. 220–225.
SEKE-2013-JanesMSS #analysis #problem #programming #requirements
Domain Analysis in Combination with Extreme Programming toAddress Requirements Volatility Problems (AJ, SM, AS, GS), pp. 226–231.
SEKE-2013-FerreiraVQ #approach #product line #testing
A Mutation Approach to Feature Testing of Software Product Lines (JMF, SRV, MAQ), pp. 232–237.
SEKE-2013-SilvaVMA #approach #product line
Scrum-based Approach for Analyzing Commonalities and Variabilities in Software Product Lines (IFdS, TV, SRLM, ESdA), pp. 238–243.
SEKE-2013-Al-MsiedeenSHUVS #concept analysis #mining #object-oriented #semantics #source code #using
Mining Features from the Object-Oriented Source Code of a Collection of Software Variants Using Formal Concept Analysis and Latent Semantic Indexing (RAM, ADS, MH, CU, SV, HES), pp. 244–249.
SEKE-2013-ZhangLK #debugging #on the #statistics #using
On the Use of Bug and Predicate Signatures for Statistical Debugging (YZ, EL, BK), pp. 249–299.
SEKE-2013-PossompesDHT #feature model #generative #modelling
Model-Driven Generation of Context-Specific Feature Models (TP, CD, MH, CT), pp. 250–255.
SEKE-2013-TriasCSM #migration #web
An ADM-based Method for migrating CMS-based Web applications (FT, VdC, MLS, EM), pp. 256–261.
SEKE-2013-BazharAJ #behaviour #modelling #named #repository
BeMoRe: a Repository for Handling Models Behaviors (YB, YAA, SJ), pp. 262–267.
SEKE-2013-LosadaJ #documentation #identification #semantics
Processing rhetorical, morphosyntactic, and semantic features from corporate technical documents for identifying organizational domain knowledge (BML, CMZJ), pp. 268–272.
SEKE-2013-ChenC #process #recognition
Swimming Activity Recognition Based on Slow Intelligence Systems (WHC, SKC), pp. 273–276.
SEKE-2013-AlviD #classification #fuzzy #image #using
Image Steganography Using Fuzzy Domain Transformation and Pixel Classification (AKA, RD), pp. 277–282.
SEKE-2013-AgrawalT #locality #smarttech
Smart Phone Based Indoor Pedestrian Localization System (LA, DT), pp. 283–286.
SEKE-2013-WeiX #analysis #e-commerce #effectiveness #evaluation
A Formal Cost-Effectiveness Analysis Model for Product Evaluation in E-Commerce (RW, HX), pp. 287–293.
SEKE-2013-MateoU #named
BacterioORACLE: An Oracle suggester tool (PRM, MPU), pp. 300–305.
SEKE-2013-AbdouGK #open source #process #testing
Managing Corrective Actions to Closure in Open Source Software Test Process (TA, PG, PK), pp. 306–311.
SEKE-2013-HeDWCL #collaboration #topic
Comparing Collaborative Filtering Methods Based on User-Topic Ratings (TH, XD, WW, ZC, JL), pp. 312–317.
SEKE-2013-DuHCLH #incremental #named #personalisation #recommendation
ABEY: an Incremental Personalized Method Based on Attribute Entropy for Recommender Systems (XD, TH, ZC, JL, CH), pp. 318–321.
SEKE-2013-WangWTZ #evaluation #named #network #recommendation #trust
STERS: A System for Service Trustworthiness Evaluation and Recommendation based on the Trust Network (YW, JW, YT, JZ), pp. 322–325.
SEKE-2013-HansenM #analysis #ecosystem #network #towards
Towards a Network Ecology of Software Ecosystems: an Analysis of two OSGi Ecosystems (KMH, KM), pp. 326–331.
SEKE-2013-KarimM #classification #performance
Revisiting the Performance of Weighted k-Nearest Centroid Neighbor Classifiers (MRK, MM), pp. 332–337.
SEKE-2013-MarcalGCJ #identification #mining #repository #using
Mining Software Repository to Identify Crosscutting Concerns Using Combined Techniques (IM, REG, RCMC, COJ), pp. 338–343.
SEKE-2013-BelleEDM #architecture #optimisation #problem #question
The Layered Architecture revisited: Is it an Optimization Problem? (ABB, GEB, CD, HM), pp. 344–349.
SEKE-2013-BarbosaFNM #architecture #learning #towards
Towards the Establishment of a Reference Architecture for Developing Learning Environments (EFB, MLF, EYN, JCM), pp. 350–355.
SEKE-2013-TaoLG #approach #architecture #component #configuration management #incremental #testing #using
Testing Configurable Architectures For Component-Based Software Using an Incremental Approach (CT, BL, JG), pp. 356–361.
SEKE-2013-SunSJ #architecture #maintenance #using
Using Architecture to Support the Collaborations in Software Maintenance (YS, HS, WJ), pp. 362–357.
SEKE-2013-YoonMPP #diagrams #reverse engineering #sequence chart
Reverse Engineering of Sequence Diagrams by Merging Call Trees (SY, SM, SP, SP), pp. 368–374.
SEKE-2013-MaffortVBHAM #design pattern #mining #using
Mining Architectural Patterns Using Association Rules (CAM, MTV, RdSB, AH, NA, JM), pp. 375–380.
SEKE-2013-YuanYL #debugging #fine-grained #predict #source code
Bug Prediction for Fine-Grained Source Code Changes (ZY, LY, CL), pp. 381–387.
SEKE-2013-Bouzar-BenlabiodBB #correlation #performance #process
An efficient QCL-based alert correlation process (LBB, SB, TBT), pp. 388–393.
SEKE-2013-AlshammariFC #bytecode #java #metric #security #source code
Security Metrics for Java Bytecode Programs (BA, CJF, DC), pp. 394–399.
SEKE-2013-YuYLC #empirical #testing #web
An Empirical Study of an Improved Web Application Fuzz Testing Technique (LY, ZY, CL, FC), pp. 400–404.
SEKE-2013-BublitzSOLAP #adaptation #delivery #pervasive #petri net #specification
A Petri Net Model Specification for Delivering Adaptable Ads through Digital Signage in Pervasive Environments (FMB, LCS, EASO, SODL, HOdA, AP), pp. 405–410.
SEKE-2013-DingXG #approach #petri net #specification
An Approach for Analyzing Software Specifications in Petri Nets (JD, DX, JG), pp. 411–416.
SEKE-2013-ChaoY #analysis #order #reachability #scalability
A Best Method to Synthesize Very Large K-th Order Systems without Reachability Analysis (DYC, THY), pp. 417–420.
SEKE-2013-DengWH #algorithm #combinator #identification #multi #using
Combining multiple stress identification algorithms using combinatorial fusion (YD, ZW, DFH), pp. 421–428.
SEKE-2013-RybarczykRT #pervasive
eDOTS 2.0: A Pervasive Indoor Tracking System (RR, RRR, MT), pp. 429–434.
SEKE-2013-SilvaD #approach #semantics
A context-aware approach on semantic trajectories (CS, MARD), pp. 435–440.
SEKE-2013-KassabE #design pattern #interactive #quality #towards
Towards Quantifying Quality, Tactics and Architectural Patterns Interactions (MK, GEB), pp. 441–446.
SEKE-2013-OliveiraBVC #detection
Metrics-based Detection of Similar Software (PO, HB, MTV, HAXC), pp. 447–450.
SEKE-2013-SantosGGFN #architecture #embedded #evaluation
A Checklist for Evaluation of Reference Architectures of Embedded Systems (JFMS, MG, MG, DF, EYN), pp. 451–454.
SEKE-2013-LinMC #commit #developer #empirical #open source #process
Empirical Evidence on Developer’s Commit Activity for Open-Source Software Projects (SL, YM, JC), pp. 455–460.
SEKE-2013-CalikliB #bias #developer #fault #predict
The Impact of Confirmation Bias on the Release-based Defect Prediction of Developer Groups (, AB), pp. 461–466.
SEKE-2013-WangKWN #case study #feature model #first-order #metric #statistics
A Study on First Order Statistics-Based Feature Selection Techniques on Software Metric Data (HW, TMK, RW, AN), pp. 467–472.
SEKE-2013-ShamsHK #estimation #network #using
Software Effort Estimation using Regularized Radial Basis Function Neural Networks (KMS, HSH, AK), pp. 473–478.
SEKE-2013-ElshaarawyHT #diagrams #framework #ocl #towards
Towards a Unified Framework for Measuring the Properties of Class Diagrams Augmented with OCL (ME, HSH, IAHT), pp. 479–482.
SEKE-2013-IdriHA #estimation #modelling
Assessing RBFN-Based Software Cost Estimation Models (AI, AH, AA), pp. 483–487.
SEKE-2013-MolleriSB #approach #automation #overview #process
Proposal of an Automated Approach to Support the Systematic Review of Literature Process (JSM, LEdS, FBVB), pp. 488–493.
SEKE-2013-JulianoTSM #assessment #automation #case study #complexity #similarity
Automated Computation of Use Cases Similarity can Aid the Assessment of Cohesion and Complexity of Classes (RCJ, BANT, MSS, MdAM), pp. 494–499.
SEKE-2013-SouzaSPFF #case study #generative #using
Generation of Thematic Maps using WPS-Cartographer: An experimental study (FCMS, ACCdS, VP, EF, VRTF), pp. 500–503.
SEKE-2013-FreireCNMKAS #automation #overview #perspective #re-engineering
Automated Support for Controlled Experiments in Software Engineering: A Systematic Review (MAF, DAdC, ECN, TM, UK, EA, SS), pp. 504–509.
SEKE-2013-JuniorF #experience #mobile #web
SIGAA Mobile — A sucessful experience of constructing a mobile application from a existing web system (GSdAJ, IdMBF), pp. 510–515.
SEKE-2013-Perez-CastilloGGFP #android #migration #user interface #visual notation
ANDRIU. A Technique for Migrating Graphical User Interfaces to Android (RPC, IGRdG, RGC, MFR, MP), pp. 516–519.
SEKE-2013-CorralSS #mobile #quality #using
Using a Partially Instantiated GQM to Measure the Quality of Mobile Applications (LC, AS, GS), pp. 520–524.
SEKE-2013-LiLJJ #communication #comprehension #concurrent #debugging #graph
Locating and Understanding Concurrency Bugs Based on Edge-labeled Communication Graphs (HL, ML, TJ, ZJ), pp. 525–530.
SEKE-2013-DelfimG #coordination #mining #multi #slicing #using
Multiple Coordinated Views to Support Aspect Mining Using Program Slicing (FMD, REG), pp. 531–536.
SEKE-2013-WangWMX #analysis #how #performance
How Does Acquirer’s Participation Influence Performance of Software Projects: A Quantitative Analysis (YW, JW, JM, BX), pp. 537–541.
SEKE-2013-Plante #web #web service
Synchronized Data Acquisition from Web Services Serving at Disparate Rates (DRP), pp. 542–547.
SEKE-2013-SeveroFS #approach #collaboration #game studies #risk management
A Dialogue Game Approach to Collaborative Risk Management (FS, LMF, LAdLS), pp. 548–551.
SEKE-2013-HoritaHGB #development #maturity #quality
Maturity Model and Lesson Learned for improve the Quality of Organizational Knowledge and Human Resources Management in Software Development (FEAH, MIH, FHG, RMdB), pp. 552–555.
SEKE-2013-ShahinLL #architecture #concept #documentation #using
Recovering Software Architectural Knowledge from Documentation using Conceptual Model (MS, PL, ZL), pp. 556–561.
SEKE-2013-SouzaFV #information management #testing
Knowledge Management Applied to Software Testing: A Systematic Mapping (EFS, RdAF, NLV), pp. 562–567.
SEKE-2013-TofanGA #architecture #information management
Improving Architectural Knowledge Management in Public Sector Organizations — an Interview Study (DT, MG, PA), pp. 568–573.
SEKE-2013-Unkelos-ShpigelHL #deployment #information management #requirements #traceability
Enhancing Deployment Requirements’ Traceability via Knowledge Management Audit (NUS, IH, ML), pp. 574–577.
SEKE-2013-WangGZZX #array #combinator #generative #interactive #testing
Generating Partial Covering Array for Locating Faulty Interactions in Combinatorial Testing (ZW, TG, WZ, WZ, BX), pp. 578–583.
SEKE-2013-NetoMGA #effectiveness #product line #testing
Analyzing the Effectiveness of a System Testing Tool for Software Product Line Engineering (CRLN, IdCM, VCG, ESdA), pp. 584–588.
SEKE-2013-LiLY #fault #locality #testing
Exploiting Weights of Test Cases to Enhance Fault Localization (YL, CL, ZY), pp. 589–593.
SEKE-2013-KatoSWF #comparative #evaluation #paradigm #programming
Comparative Evaluation of Programming Paradigms: Separation of Concerns with Object-, Aspect-, and Context-Oriented Programming (FK, KS, HW, YF), pp. 594–599.
SEKE-2013-SakamotoWF #design pattern #object-oriented #programming language
Extended Design Patterns in New Object-Oriented Programming Languages (KS, HW, YF), pp. 600–605.
SEKE-2013-LiuWL #analysis #detection #named #online #performance #pointer
ELCD: an efficient online cycle detection technique for pointer analysis (FL, LW, BL), pp. 606–611.
SEKE-2013-GaoKN #estimation #preprocessor #quality
Exploring Ensemble-Based Data Preprocessing Techniques for Software Quality Estimation (KG, TMK, AN), pp. 612–617.
SEKE-2013-StringfellowRVM #comparison #multi #set
Comparison of SRGMs and NNEs on Multiple Data Sets (CS, SR, RVT, SM), pp. 618–623.
SEKE-2013-YuWYLY #evaluation #named #repository
HESA: The Construction and Evaluation of Hierarchical Software Feature Repository (YY, HW, GY, XL, CY), pp. 624–631.
SEKE-2013-AssuncaoV #diagrams #optimisation #retrieval
Class Diagram Retrieval with Particle Swarm Optimization (WKGA, SRV), pp. 632–637.
SEKE-2013-RamosRO #process #source code #towards
Towards a strategy for analysing benefits of Software Process Improvement programs (CSR, ARR, KMdO), pp. 638–643.
SEKE-2013-Perez-CastilloFPC #how #modelling #process #question #refactoring
How Does Refactoring Affect Understandability of Business Process Models? (RPC, MFR, MP, DC), pp. 644–649.
SEKE-2013-AdamE #approach #multi
A multi-dimensional approach for analyzing software artifacts (SA, GEB), pp. 650–655.
SEKE-2013-CostaJM #detection #modelling #semantics
Semantic Conflicts Detection in Model-driven Engineering (VOC, JMBOJ, LGPM), pp. 656–661.
SEKE-2013-SilvaBLDP #automation #generative #semantics #web #web service
Automatic Generation of Semantic Web Services (TPdS, TB, FL, FCD, PFP), pp. 662–667.
SEKE-2013-SantosBC #analysis #education #game studies #modelling #programming #semantics
A Knowledge Modeling System for Semantic Analysis of Games Applied to Programming Education (ECOdS, GBB, EWGC), pp. 668–673.
SEKE-2013-GayedLB #case study #forensics #process #representation
Representing Chains of Custody Along a Forensic Process: A Case Study on Kruse Model (TFG, HL, MB), pp. 674–680.
SEKE-2013-MaghrabyR #synthesis
Argumentation Understood as Program Synthesis (AM, DR), pp. 681–684.
SEKE-2013-DuttaAKB #approach #distributed
Virtual Medical Board: A Distributed Bayesian Agent Based Approach (AD, SA, AK, SB), pp. 685–688.
SEKE-2013-BajnaidBPS #assurance #development #evaluation #ontology #quality
Software Quality Assurance Ontology from Development to Evaluation (NB, RB, AP, SS), pp. 689–694.
SEKE-2013-WuZG #named #requirements
DOPROPC: a domain property pattern system helping to specify control system requirements (FW, HZ, MG), pp. 695–698.
SEKE-2013-QiHW #combinator #concurrent #source code #testing
A Mixed-way Combinatorial Testing for Concurrent Programs (XQ, JH, PW), pp. 699–702.
SEKE-2013-PramudiantoIJ #development #internet #modelling #prototype
Model Driven Development for Internet of Things Application Prototyping (FP, IRI, MJ), pp. 703–708.
SEKE-2013-KalayciS #adaptation #framework #multi #runtime #workflow
Pattern-based Decentralization and Run-time Adaptation Framework for Multi-site Workflow Orchestrations (SK, SMS), pp. 709–714.
SEKE-2013-CabralSC #framework
Framework for digital voting systems (PDC, RPeS, RSdC), pp. 715–720.
SEKE-2013-BassoWPO #how #question #reuse #tool support
How do You Execute Reuse Tasks Among Tools? (FPB, CMLW, RMP, TCO), pp. 721–726.
SEKE-2013-Al-JamimiA #design pattern #detection #prolog #using
Using Prolog Rules to Detect Software Design Patterns: Strengths and Weaknesses (HAAJ, MAA), pp. 727–730.
SEKE-2013-CarmoCML #adaptation #monitoring #runtime #self
Runtime Monitoring and Auditing of Self-Adaptive Systems (DHC, STC, LGPM, OL), pp. 731–736.
SEKE-2013-MachadoMIB #education #ontology #personalisation
An ontology-based user model for personalization of educational content (JBM, GLM, SI, EFB), pp. 737–740.
SEKE-2013-AndradeM #adaptation #architecture #design #feedback #self
Architectural Design Spaces for Feedback Control Concerns in Self-Adaptive Systems (SSA, RJdAM), pp. 741–746.
SEKE-2013-CorreaOW #co-evolution #evolution #graph #metamodelling #modelling #towards #traceability
Towards Coupled Evolution of Metamodels, Models, Graph-Based Transformations and Traceability Links (CKFC, TCO, CW), pp. 747–752.
SEKE-2013-TerraBMVSCB #similarity #source code
Measuring the Structural Similarity between Source Code Entities (RT, JB, LFM, MTV, DS, DC, RdSB), pp. 753–758.
SEKE-2013-Kung #case study #identification #on the
On Use Case Identification (DCK), pp. 759–764.

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.