yusuke1997/dblp-id-title huggingface dataset:
Combining Expert Knowledge and Data Mining in a Medical Diagnosis Domain
A New Satellite Constellation Networking Certification and Reliable Maintenance Protocol (S)
Fine-Grained Source Code Vulnerability Detection via Graph Neural Networks (S)
Scenario Oriented Project Management Knowledge Reuse within a Risk Analysis Process
Elevating Interaction Requirements for Web Service Composition
Model Driven Development for Internet of Things Application Prototyping
An Exploratory Study of One-Use and Reusable Software Components
DDCL: A Dual Decision-making Continuous Reinforcement Learning Method Based on Sim2Real
Self-adaptive Systems Driven by Runtime Models
Problem-specific knowledge based artificial bee colony algorithm for the rectangle layout optimization problem in satellite design
MyBatRecommender: Automated optimization of energy consumption for Android smartphones in software layer
An XML-based approch to multimedia software engineering for distance learning
Applicability of McCabe's complexity metric to knowledge engineering products
A Dynamic Drilling Sampling Method and Evaluation Model for Large-Scale Streaming Data
Version Management in Structured Document Retrieval Systems
Evaluating Dynamic Correctness Properties of Domain Reference Architectures Using a Combination of Simulation and Model Checking
Verification of Optimization Algorithms: a Case Study of a Quadratic Assignment Problem Solver
Overcoming Big Data Challenges
A Knowledge Engineering Approach to UML Modeling (S)
Stochastic Embeddings in Multi-Intent Contrastive Learning for Sequential Recommendation
Modeling of software process families with automated generation of variants (S)
Conformance Checking of Software Development Processes Through Process Mining
Aspect-Oriented Secure Connectors for Implementation of Secure Software Architecture
INTEK: A Software Tool for an Intermediate Knowledge Representation Formalism
How to Enhance the Creativity of Software Developers: A Systematic Literature Review
A multi-dimensional approach for analyzing software artifacts
Integration testing criteria for mobile robotic systems
A Kemel Architecture for a Computer Aided Knowledge Engineering Workbench
A Model for Knowledge Retrieval based on Semantic Images(S)
CoreCast: Leveraging Project Metrics to Predict Core Contributor Trends in Open Source C57
Web based architecture for Dynamic eCollaborative work
WebLang: A Language for Modeling and Implementing Web Applications
Learning to Discover Subsumptions between Software Engineering Concepts in Wikipedia
A family of experiments for evaluating the usability of a collaborative modelling chatbot
Study on the Accident-causing Model Based on Safety Region and Applications in China Railway Transportation System
Systematic Review of Requirements Reuse
The Service Interaction Protocol for the Chronobot/Virtual Classroom (CVC) System
Representing Structural and Functional Knowledge with Stochastic Petri Nets
Document Clustering with Adaptive Term Weighting and Feature Reduction Capabilities
A Systematic SOA-based Architecture Process
A Proposal to Delegate GUI Implementation using a Source Code based Model
A divide and conquer approach to until and until stable model checking
Improving Program Comprehension in Operating System Kernels with Execution Trace Information
Specification patterns can be formal and still easy
Data manipulation API in ERP systems
3D Time-pillars: an information access metaphor for the TV Domain
Enhancing Compiler Optimization with Reinforcement Learning and Monte Carlo Tree Search
Secure Outsourcing Algorithm of Polynomials in Cloud Computing
An LLM-based Multi-stage Approach for Automated Test Case Generation from User Stories (S)
Automated support to system modeling from informal software requirements
Image Mining by Color Coateat
A Design Methodology for Parallel Programming
Towards the Selection of the Most Suitable Elicitation Technique Through a Defined Requirements Elicitation Process
A Framework for Explanations in Weighted Networks: The Community Detection Case
A Relationship-based Flexible Authorization Framework for Mediation Systems
Induction of Generic Data Models by Conceptual Clustering
A Decision Modelling Approach for Analysing Requirements Configuration Trade-offs in Timeconstrained Web Application Development
Automatic XACML requests generation for testing access control policies
Digging into the Visitor Pattern
Using a Mining Frequency Patterns Model to Automate Passive Testing of Real-time Systems
Team Tacit Knowledge as a Predictor of Performance in Software Development Teams
Evaluating a Tool for Creating Bug Report Assignment Recommenders (S)
Modeling and Verifying AUPS Using CSP
Using genetic algorithms and coupling measures to devise optimal integration test orders
Dual Contrastive Learning for Unsupervised Knowledge Selection
Semantic Rule Based Program Monitoring (S)
Ontology-driven Model for Knowledge-Based Software Engineering
An Extended Knowledge Representation Learning Approach for Context-based Traceability Link Recovery
TACE: A Toolkit for Analyzing Concept Evolution in Computing Curricula
Sustainable Memory Footprint in Federated AI of SensorThings (S)
Relation Extraction Model Based on Keywords Attention (S)
An Integrated Toolkit for Pattern Matching and Pattern Discovery in Scientific, Program, and Document databases
A Hierarchy Testing of Object-Oriented Program Structure
Understanding Normative BDI Agents Behavior
Towards Reusability Based Upon Similar Computational Behavior
Specification and Implementation of SPEM4MDE, a metamodel for MDE software processes
A Model-driven Approach to Architecting Secure Software
A Mutation Approach to Feature Testing of Software Product Lines
Multi-Label Classification of Parrott's Emotions
Multi-objective Genetic Algorithms: Construction and Recombination of Passive Testing Properties
A New Scheme for Citation Classification based on Convolutional Neural Networks
Experimental Frame Design Using E-DEVSML for Software Quality Evaluation
Interval-valued Data Clustering Based on Range Metrics (P)
A complete sequent calculus for a first order branching temporal logic
Automatic Identification of Architecture Smell Discussions from Stack Overflow
Accelerated Risk Management using Statistical Triggers
Decidability of Minimal Supports of S-invariants and the Computation of their Supported S-invariants of Petri Nets
Representation and Adaptation of Organization Coordination Knowledge for Autonomous Agent Systems
Identifying Security Concerns Based on a Use Case Ontology Framework
Architectural Design Spaces for Feedback Control Concerns in Self-Adaptive Systems (S)
A Semantic Analyzer for Simple Games Source Codes to Programming Learning
Software Maintenance Maturity Model (S3mDSS) A Decision Support System
Development of an Automated Machine Learning Solution for Educational Data Mining (S)
Smifier: A Smart Contract Verifier for Composite Transactions
Contextual Comparison of Discovered Knowledge Patterns
Improving Event Detection via Trigger Word Expansion
When LLMs Meet Multi-Category Complex Classification: A Comparative Stud
On the introduction of quality of service awareness in legacy ditributed applications
Measurement Model of Software Requirements Derived from System Maintainability Requirements
Joint Coverage and Latency for Data-intensive Application Deployment in Mobile Edge Computing Environment (S)
Towards Dynamic Generation of Knowledge-Based Environments for Software Process Assistance
Formal Specification and Analysis of Post-quantum OpenPGP Protocol in CafeOBJ
STEM: A Simulation-Based Testbed for Electromagnetic Big Data Management
Software Project Risk Evaluation based on Specific and Systemic Risks
Deep Learning based Information Extraction Framework on Chinese Electronic Health Records
Interactive Tool for Iterative Test Suite Construction
ATFE: A Two-dimensional Feature Encoding-based Sentence-level Attention Model for Distant Supervised Relation Extraction
Generating Properties for Runtime Monitoring from Software Specification Patterns
A Re-cnginacring Tool for the Reuse of Large Scale Software Systems
Big Data ETL Implementation Approaches: A Systematic Literature Review (P)
A Usage-Based Unified Resource Model
Consistency Checks of System Properties Using LTL and Büchi Automata
An Empirical Study of Software Metric Selection Techniques for Defect Prediction
A Framework Based on Learning Techniques for Decision-making in Self-adaptive Software
ACADA: Access Control-driven Architecture with Dynamic Adaptation
Remaining Activity Sequence Prediction for ongoing process instances
How to make an information elephant dance
Detecting traceability links through neural networks
Network-Based Simple Recursive Answer Evaluation for Deductive Databases in Parallel Environment
A Constraint Solver for Code-based Test Data Generation
Towards Extreme Multi-label Text Classification Through Group-wise Label Ranking
Towards Architecture-centric Collaborative Software Development
A Semantic Based Certification and Access Control Approach Using Security Patterns on SEAGENT
Domain Analysis in Combination with Extreme Programming toAddress Requirements Volatility Problems (S)
Automatic Detection of Parameter Shielding for Test Case Generation
Token-level Input Grammar Synthesis (P)
Collecting, Storing and Utilizing Information about Improvement Opportunities: A Discussion of the Non-Technological Barriers to Success
Sentiment Analysis over Collaborative Relationships in Open Source Software Projects
Unifying Multi-Paradigms in Software System Design
Abstract Logic Tree based Framework for Component Based Solution Composition Design and Execution
GUARD: Dual-Agent based Backdoor Defense on Chain-of-Thought in Neural Code Generation
Cross-language Clone Detection
Automatic Diagnosis of Quantum Software Bug Fix Motifs
Approach to Define a Non-Functional Requirements Elicitation Guide Using a Customer Language
BOP: A Bitset-based Optimization Paradigm for Content-based Event Matching Algorithms (S)
A Deadlock Detector for Synchronous Java
RiSD: A Methodology for Building i-Strategic Dependency Models
Decision Support for Re-planning of Software Product Releases (S)
Design and implementation of a knowledge based BPA/BPR tool: EUOBFE
Verifying the Communication and Security Mechanisms of WAMP
Towards a Better Understanding of Gradient-Based Explanatory Methods in NLP
Data Selection for Cross-Project Defect Prediction with Local and Global Features of Source Code
Towards a contextualized access to the cultural heritage world using 360 Panoramic Images
Reo2PVS: Formal Specification and Verification of Component Connectors
Machine Learning for Learnability of MDD tools
A Review of Methods for Identifying Extract Method Refactoring
Towards Integrating Logic, Object, Frame, and Production
Complementary Representation of ALBERT for Text Summarization
Collecting Usage Data for Software Development: Selection Framework for Technological Approaches
A Self-Adaptation Framework of Microservice Systems (S)
Salient Phrases-based Clustering and Ranking in Chinese Bulletin Board System
An Empirical Study of the LSS Specification Toolkit in Use
Deriving models of software fault-proneness
Attention Guided Filter for Jointly Extracting Entities and Classifying Relations
Automated Unit Testing of Hydrologic Modeling Software with CI/CD and Jenkins
Visualisation for informed decision making; from code to components
A Knowledge Modeling System for Semantic Analysis of Games Applied to Programming Education
An Expert Solution to Functional Testability Analysis of VLSI Circuits
Extracting Knowledge from Technical Documents
Crosscutting quality attributes for requirements engineering
A Federated Model Personalisation Method Based on Sparsity Representation and Clustering
A Services Development Approach for Smart Home Based on Natural Language Instructions
DeepSCC: Source Code Classification Based on Fine-Tuned RoBERTa (S)
A Quantitative Approach for Assessing the Priorities of Software Quality Requirements
Towards the Effectiveness of a Variability Management Approach at Use Case Level
Automatic Discovery of Interactions Between Software Requirements
Graph queries for analyzing the coverage of requirements by test cases
PM: A Metrics Driven Plan Compiler
Common Coupling as a Measure of Reuse Effort in Kernel-Based Software
Learning to understand software from examples using cultural algorithms
Generating Partial Covering Array for Locating Faulty Interactions in Combinatorial Testing
On the Use of Support Mechanisms to Perform Experimental Variables Selection
Software Process Agents
Feature model recovery from product variants based on a cloning technique
LD2SD: Linked Data Driven Software Development
An Algorithm for Computing Loop Functions
Dealing with software design issues using an Agent-Oriented methodology
Entering the Heart of Design: Relationships for Tracing Claim Evolution
An ontology-based user model for personalization of educational content (S)
A Context Conceptual Model for a Distributed Software Development Environment
A State-Based Approach to Testing Aspect-Oriented Programs
Unlearnable Examples: Protecting Open-Source Software from Unauthorized Neural Code Learning
Impact of Combining Syntactic and Semantic Similarities on Patch Prioritization while using the Insertion Mutation Operators
Predicate Interpretation Analysis Based on Soot
Structural Testing of Autonomous Vehicles
Ontology-based Development of Testing Related Tools
An Ontology-based Software Test Generation Framework
Coordination Model to Support Visualization of Aspect-Oriented Programs
Using LSTM to Predict Tactics in Coq
KatGCN: Knowledge-Aware Attention based Temporal Graph Convolutional Network for Multi-Event Prediction
Risk Management Analysis in Software Projects which Use the Scrum Framework
ArchiNet: A Concept-token based Approach for Determining Architectural Change Categories
MACA: A Residual Network with Multi-Attention and Core Attributes for Code Search (S)
WasmFuzzer: A Fuzzer for WasAssembly Virtual Machines
Spacemaker: Practical Formal Synthesis of Tradeoff Spaces for Object-Relational Mapping
Structured Specifications, Semantics, and System Semantics
Searching, Examining, and Exploiting In-demand Technical (SEE IT) Skills using Web Data Mining
Software Clustering using Hybrid Multi-Objective Black Hole Algorithm
Automatic reconstruction of the underlying interaction design of web applications
A Case Study Approach: Iterative Prototyping Model Based Detection of Macular Edema in Retinal OCT Images
Investigating Technical Debt Folklore: A Replicated Survey
Mining Intentions to Improve Bug Report Summarization
A Software Engineering Environment for Modeling and Developing Knowledge-Intensive Systems
A Systematic Method for Process Tailoring Based on Knowledge Reuse
Revisiting Dependence Cluster Metrics based Defect Prediction
A Multi-Agent-Based Approach for Autonomic Data Exchange Processes
CXPath: a Query Language for Conceptual Models of Integrated XML Data
Reasoning at Runtime using time-distorted Contexts: A Models@run.time based Approach
Knowledge Management at a Software House. An Experience Report
The Role of Traditional Engineering Design Techniques in Software Engineering
Toward Modeling and Analysis for Software Installation Testing
Formal Description Techniques for CSPs and TCSPs
Representing Chains of Custody Along a Forensic Process: A Case Study on Kruse Model
Automating the Debugging Process of Pascal Syntax Errors
Improving Text Document Clustering by Exploiting Open Web Directory
A functional specification of reusing software components
SEKE'94, The 6th International Conference on Software Engineering and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia
Combining Smartphone and Smartwatch Sensor Data in Activity Recognition Approaches: an Experimental Evaluation
On Identifying Deficiencies in a Knowledge Management System
State of the Survey on Team-based Software Engineering Project Course
Software Process Improvement Programs: What happens after official appraisal?
A GQM-based Approach for Software Process Patterns Recommendation
A Framework for Component-based System Modeling
Impact! The Challenge of Industrial Research in Computer Science in a web 2.0 world
Case Study: Applying Business Process Management Systems
Modeling and Simulation of CPS based on SysML and Modelica (S)
XMILE - An Expert System for Maintenance Learning from Textual Reports (S)
Ensuring Consistent Use/Misuse Case Decomposition for Secure Systems
DALICA: Intelligent Agents for User Profile Deduction
Application Semiotics Engineering Process
Representing and Querying the Evolution of Databases and their Schemas in XML
A Survey Study on the Inference Problem in Distributed Environment (S)
Enhancing Deployment Requirements' Traceability via Knowledge Management Audit (S)
Inspect Defect of Power Equipment via Deep Learning Method
Multi-Location Program Repair Strategies Learned from Successful Experience (S)
Model Checking Framework-based Applications with AspectJ Assistance
Comparing Collaborative Filtering Methods Based on User-Topic Ratings
MAPLE: a Maintenance Approach for Pattern-enabLed rEconfiguration of SOA-based Enterprise Application
A Reflective Model for Architecting Feedback Control Systems
Metrics for Data Uniformity of User Scenarios through User Interaction Diagrams (S)
A Survey on Visual GUI Testing for Automatic Test Case Generation: Tools, AI Techniques, and Emerging Trends (S)
Test Order Generation for Efficient Object-oriented Class Integration Testing
A Software Framework for Data Provenance
Establish Decision Making Process for Selecting Outsourcing Company
Improving Automatic Model Creation Using Ontologies
Intelligent Preprocessing Selection for Pavement Crack Detection based on Deep Reinforcement Learning
Knowledge based support for reuse
Evaluating Multiple User Interactions for Ranking Personalization Using Ensemble Methods
Re-checking App Behavior against App Description in the Context of Third-party Libraries
An adaptive time-convolutional network online prediction method for ocean observation data
A Software Defect Prediction Method based on Multi-type Features and Feature Selection
Dynamic Heterogeneous Information Network Embedding in Hyperbolic Space
The Prediction of Delay Time and Route Planning for Autonomous Vehicles
Testing the Stationarity Assumption in Software Effort Estimation Datasets
Decomposition of Data Flow Diagrams
Decoding Serverless Security: Exploring Developer Challenges and Solutions from Stack Overflow
AePPollo: Automated Exploit Generation for Prototype Pollution Vulnerabilities in Node.js Application
Identifying Extract Method Opportunities Based on Variable References (S)
What Do Developers Reply To? An Empirical Study of the Top Unmanned Aerial Vehicles (UAVs) Apps (S)
XML Schema Evolution by Context Free Grammar Inference
Software Engineering with Computational Intelligence and Machine Learning A Novel Software Metric Selection Technique Using the Area Under ROC Curves
On the Specification of Model Transformations through a Platform Independent Approach
Applying Lightweight Formal Approach to Automatic Configuration Inspection
Pattern-Driven Reverse Engineering
A systematic process to define expert-driven software metrics thresholds (S)
DOPROPC: a domain property pattern system helping to specify control system requirements (S)
Semantic Support to Reformulate Public Services in Terms of Life Events
Map-Reduce based Link Prediction for Large Scale Social Network
Synchronization of UML Based Refactoring with Graph Transformation
Utilizing Edge Attention in Graph-Based Code Search
A Model-based Approach to Regression Testing of Component-based Software
Documenting Implementation Decisions with Code Annotations
Systematic Approach to Risk Management in Software Projects through Process Tailoring
Definition of Properties of User Interfaces Using Action-Based Temporal Logic
Yet Another Purchasing Specification Construction in E-Business
A Language-based Approach to Addressing Reliability in Composite Web Services
Weighted Static Code Attributes for Software Defect Prediction
Towards an artifact to support agile teams in software analytics activities
Using Learning Styles of Software Professionals to Improve their Inspection Team Performance
A Slow Intelligence System Test Bed Enhanced with Super-Components
A Membership-based Multi-dimension Hierarchical Deep Neural Network Approach for Fault Diagnosis
An Improved Structure-based Approach to Measure Similarity of Business Process Models
A Middleware Framework for Leveraging Local and Global Adaptation in IT Ecosystems
A Meta-model to Support Regression Testing of Web Applications
Impact Analysis Model for Brasília Area Control Center using Multi-agent System with Reinforcement Learning
Applications & Services Exploration for the Broadband Mobile Systems
CRCC: Collaborative Relation Context Consistency on the Knowledge Graph for Recommender Systems (S)
Modeling and Verification of Automatic Multi-business Transactions
The 25th International Conference on Software Engineering and Knowledge Engineering, Boston, MA, USA, June 27-29, 2013
Formalization and Verification of the OpenFlow Bundle Mechanism Using CSP
Research on Multi-constraint Combinatorial Test Technology for High Confidence Embedded Software (S)
Maturity Model and Lesson Learned for improve the Quality of Organizational Knowledge and Human Resources Management in Software Development (S)
Building Testable Components - a Systematic Approach and Its Experimental Study
Towards Effective Developer Recommendation in Software Crowdsourcing
Time-Series based phase-ordering selection for code-size reduction
Self-Adaptive Task Allocation for Decentralized Deep Learning in Heterogeneous Environments
Design of Component-based Slow Intelligence Systems and Application to Social Influence Analysis
Software Engineering in the Embedded Software and Mobile Robot Software Development: A Systematic Mapping
An Empirical Study on the Test Adequacy Criterion Based on Coincidental Correctness Probability
Postoperative MPA-AUC0-12h Prediction for Kidney Transplant Recipients based on Few-shot Learning
A Decision-centric Architecture Design Method Facilitating the Contextually Capture and Reuse of Design Knowledge
An empirical study on the adoption of C++ templates: Library templates versus user defined templates
Effort Estimation in Agile Software Development: an Updated Review
Decision-Making in Software Engineering
SEKE'89, Proceedings of the First International Conference on Software Engineering and Knowledge Engineering, Skokie, USA, June 15-16, 1989
Collaborative Merge in Distributed Software Development: Who Should Participate?
A Visualization Tool for Pattern Matching and Discovery in Scientific Databases
Analyzing Open-Source Serverless Platforms: Characteristics and Performance (S)
Integration of Task Level Architecture with O-O Technology
Risk-driven Non-functional Requirement Analysis and Specification
Measurement of Usability of Software Using a Fuzzy Systems Approach
Automated Support for Property Specification Based on Patterns
A Framework for Detecting Code Piracy Using Class Structure
Identification Guidelines for the Design of Interfaces in the context of ECAs and ADHD
Pseudo-Exhaustive Verification of Rule Based Systems
Quality Indicators in Requirements Elicitation
SHAMROQ: Towards semantic models of regulations
Learning action models with indeterminate effects
Revisting the Impact of Regression Models for Predicting the Number of Defects
Statically-Guided Fork-based Symbolic Execution for Vulnerability Detection
BoolMuTest: A Prototype Tool for Fault-Based Boolean-Specification Testing (P)
An Adaptive Neural Network with Dynamic Structure for Software Defect Prediction
KID-a- Knowledge Acquisition Support Tool to develop Validated Knowledge Base
MFAE: Multi-Feature-Aware Expert Modeling for Web Service QoS Prediction (S)
An Approach for Analyzing Software Specifications in Petri Nets
MSECO-DEV: Application Development Process in Mobile Software Ecosystems
How Will ZNS SSDs Perform on Real SQL DBMSs? An Experimental Analysis of MyRocks
The Development of a Knowledge-Based System for Predicting Strategic Building Maintenance