yusuke1997/dblp-id-title huggingface dataset:
A Semi-Automated Approach to the Recovery of SOA System Structure from Low-Level Artifacts
Understanding the Evolution and Co-evolution of Classes in Object-oriented Systems
Research Notes : Distributed Shadow for Router Security Defense
An XML Definition Language to Support Scenario-Based Requirements Engineering
An Evolutionary Method for the Formal Specification Construction of Service-Based Software
Fault Detection Prediction Using a Deep Belief Network-Based Multi-Classifier in the Semiconductor Manufacturing Process
Integrated Security Framework for Industrial R&d Environments
Navigating the AI Landscape: The Interplay of Digital Leadership, Knowledge Management, and Organizational Agility
Constructing Flow-Based Tools with Generative and Compositional Techniques
Generalized Software Reliability Model Considering Uncertainty and Dynamics: Model and Applications
The Viability of Fuzzy Logic Modeling in Software Development Effort Estimation: Opinions and Expectations of Project Managers
A Framework for Modeling Software Engineering Processes
A Management Discipline of Software Metrics and the Software Quality Manager
Specification Patterns: Formal and Easy
An OCL-Based Approach to Derive Constraint Test Cases for Database Applications
Dynamic Knowledge Extraction from Software Systems Using Sequential Pattern Mining
From Scenarios to Hierarchical Broadcasting Software Architectures Using UML-RT
Empirical Evaluation and Validation of Interface Complexity Metrics for Software Components
A Compositional Knowledge Level Process Model of Requirements Engineering
FASICA Framework: Service Selection Using K-d Tree and Cache
Formal Methods to Aid the Evolution of Software
Shortest Paths Anonymization on Weighted Graphs
Automated Localization Testing of Mobile Applications Method
Exploring the Impact of Vocabulary Techniques on Code Completion: A Comparative Approach
EFSM-Based Test Case Generation: Sequence, Data, and Oracle
A Multi-Source Approach for Bug Triage
VulnTrace: Tracking and Detecting Code Vulnerabilities with Historical Commits and Semantic Embeddings
Toward a Pattern-Based Comprehensive Framework Using Process Mining for RBAC Conformance Checks
Forecasting Stock Index Using a Volume-Aware Positional Attention-Based Recurrent Neural Network
Uncertain Context Factors in ERP Project Estimation are an Asset: Insights from a Semi-Replication Case Study in a Financial Services Firm
EdgeOpt-Sched: A Dynamic GNN and RL Scheduler for DNN Acceleration on Edge Devices
Knowledge-Based Model of Expert Systems Using Rela-Model
An Empirical Evaluation of Repetitive Undersampling Techniques
A Change-Level Defect Prediction Approach based on Teacher-Student Network
Facilitating the Maintenance of Safety-Critical Systems
Matching Logic Based on Ownership Transfer
Improving Classification of Interlinked Entities Using Only the Network Structure
Methodology for Data Conversion from XML Documents to Relations Using Extensible Stylesheet Language Transformation
Visual Text Mining: Ensuring the Presence of Relevant Studies in Systematic Literature Reviews
Deepfake Audio Detection Using Generative Adversarial Network-Based Spatial-Temporal Feature Learning
A Software Engineering Design Tool for Modeling Hard Real-Time Performance
Enhancing Translation Validation of Compiler Transformations with Large Language Models
Identifying the Optimal Refactoring Dependencies Using Heuristic Search Algorithms to Maximize Maintainability
Automated Learning Content Generation from Knowledge Bases in the STUDYBATTLES Environment
SMOTE and Feature Selection for More Effective Bug Severity Prediction
RAPRSUM: Retrieval-Augmented Code Summarization with Advanced Prototype Refinement
A Repository for Component-based Embedded Software Development
An Intelligent Agent Mobile emissions Model for Urban Environmental Management
Use Case Patterns
An Empirical Study of MBFL on Novice Programs Across Different Programming Languages
A Hybrid Software Cost Estimation Approach Utilizing Decision Trees and Fuzzy Logic
A Fine Grained Aspect Coordination Mechanism
Datetime Feature Recommendation by Word Embedding Methods Using Data Column Names
Characterizing and Detecting Methods to be Benchmarked under Performance Unit Test
From Software Engineering to Knowledge Engineering: The Shape of the Software Industry in the 1990s
Python Code Smell Refactoring Route Generation Based on Association Rule and Correlation
Towards Generating Realistic and High Coverage Test Data for Constraint-Based Fault Injection
An Efficient Sorting Algorithm for Non-Volatile Memory
A Versatile Approach for the Estimation of Software Development Effort Based on SRS Document
Assessing the Effectiveness of Coverage-Based Fault Localizations Using Mutants
On the Succinctness of Modal μ-Calculus Based on Covariant-Contravariant Refinement
Modeling and Motion Control of Robotic Hand for Telemanipulation Application
System Development as a Wicked Problem
Identifying High-impact Bug Reports with Imbalance Distribution by Instance Fuzzy Entropy
A Clustering-Based Bipartite Graph Privacy-Preserving Approach for Sharing High-Dimensional Data
Recovery of Traceability Links between Software Documentation and Source Code
Is Bug Severity in Line with Bug Fixing Change Complexity?
Developer Identity Linkage and Behavior Mining Across GitHub and StackOverflow
A Statistical Methodology to Simplify Software Metric Models Constructed Using Incomplete Data Samples
Author Reputation Measurement on Question and Answer Sites by the Classification of Author-Generated Content
Knowledge-Based Reasoning Enhanced Control System for in-situ Bioremediation Processes
State Estimation Based on Ensemble DA-DSVM in Power System
An Approach of Automated Anomalous Microservice Ranking in Cloud-Native Environments
Design, Build and Evaluation of an Ontology-Based KMS for Supporting CMMI-DEV Understanding: Benefits and Limitations
USLTG: Test Case Automatic Generation by Transforming Use Cases
Performance-Parameterized Reusable Software Components
Dynamic Behaviors of High-G Mems Accelerometer Incorporated with Novel Micro-Flexures
Software Engineering for Web Services Workflow Systems
Conceptualization, Prototyping And Process Of Hypermedia Applications
Program Segment Testing for Human-Machine Pair Programming
Function-Level Code Obfuscation Detection Through Self-Attention-Guided Multi-Representation Fusion
Document-oriented Development of Content-intensive Applications
An Approach to Checking Behavioral Compatibility between Web Services
Animating LOTOS Specifications Using Amlog
Automatic Analysis of Available Source Code of Top Artificial Intelligence Conference Papers
Regular Expression Learning from Positive Examples Based on Integer Programming
An Iterative Group-Based MOPSO with Isomap-Guided Leaders and DQN-Adaptive Parameters for Automated Path Coverage Test Case Generation
Integrated Formal Tools for Software Architecture Smell Detection
Evaluation Techniques for Chatbot Usability: A Systematic Mapping Study
A Procedure To Translate Paradigm Specifications To Propositional Linear Temporal Logic And Its Application To Verification
ComboRT: A New Approach for Generating Regression Test Cases for Evolving Programs
A Dual Decision-Making Continuous Reinforcement Learning Method Based on Sim2Real
A Methodology for Modeling Multimedia Databases
Investigating the Effect of Aspect-Oriented Refactoring on the Unit Testing Effort of Classes: An Empirical Evaluation
Bug Localization with Features Crossing and Structured Semantic Information Matching
Exploiting a Generic Approach to Construct Component-Based Systems Software in Linux Environments
Defect Prediction using Case-Based Reasoning: an Attribute Weighting Technique Based upon sensitivity Analysis in Neural Networks
SmartClean: Smart City Street Cleanliness System Using Multi-Level Assessment Model - Research Notes
Visualized Awareness Support for Collaborative Software Development on Mobile Devices
Efficient Code Reachability Analysis and Visualization Using Probabilistic Model Checking
Viewpoints: A Framework for Integrating Multiple Perspectives in System Development
Semi-Automatic Online Tagging with K-Medoid Clustering
Automatic Voter Recommendation Method for Closing Questions in Stack Overflow
Piecewise Aggregation for HMM Fitting: A Pre-Fitting Model for Seamless Integration with Time-Series Data
A Software Reliability Model for Artificial Intelligence Programs
Object-Oriented Analysis as Design: a Case Study
Multi-Perspective Exploratory Analysis of Software Development Data
Semantic Service Search in IT Crowdsourcing Platform: A Knowledge Graph-Based Approach
The FUNSOFT Net Approach to Software Process Management
Data Flow Analysis of System Specifications in Lotos
Feature Selection and Spatial-Temporal Forecast of Oceanic Niño Index Using Deep Learning
Mining Fine-Grained Code Change Patterns Using Multiple Feature Analysis
The Safety and Performance of Prominent Programming Languages
Identification of Extract Method Refactoring Opportunities through Analysis of Variable Declarations and Uses
Reverse Engineering Distributed Applications: an Event Abstraction Tool
Genereation of Object-Oriented Software Process Using Milestones
The Universal Solutions of Interval Systems of Linear Algebraical Equations
Unanticipated Software Evolution: Evaluating the Impact on Development Cost and Quality
Automated Requirements Elicitation: Combining a Model-Driven Approach with Concept Reuse
Identifying Temporal Corpus for Enhanced User Comments Analysis
An Infrastructure for Engineering Cooperative Agents
Improvements of Directed Automated Random Testing in Test Data Generation for C++ Projects
Weaving Deployment Aspects into Domain-specific Models
An Empirical Investigation on Wrapper-Based Feature Selection for Predicting Software Quality
An Approach Based on Machine Learning for the Cybersecurity of Blockchain-Based Smart Internet of Medical Things (IoMT) Networks
Apply Market Mechanism to Agent-Based Grid Resource Management
Dynamic Grade Prediction in Programming Education Using Time-Series XGBoost and SHAP Analysis
Collaborative and Observability Enhanced Fault Injection for Resilient Cloud-Edge Computing
An Ensemble Keyword Extraction Model for News Texts with Statistical and Graphical Features
Software Engineering Job Productivity - a Systematic Review
A Formal Approach for Consistency Management in UML Models
Understanding the Role of Stack Overflow in Supporting Software Development Tasks: A Research Perspective
Object-Oriented Analysis: Criteria and Case Study
A Transformation-Based Approach to Application Model Development: Class Diagram Generation
Leveraging Software Reuse with Knowledge Management in Software Development
Metrics for Concept-Oriented Knowledge Bases
Performance of AEB System on a Slope Using an Extended Kalman Filter
Bringing the Agile Philosophy to Formal Specification Settings
Formal Interoperability Models of Sensor Networks Based on Logical Workflow Nets
API Misuse Detection in C Programs: Practice on SSL APIs
Rapid Construction of Software Comprehension Tools
Pg-Trust: a Self-Adaptive and Scalable Trust Computing Model for Large-Scale Peer-to-Peer Grid Computing
An Object-Oriented Software Requirements Analysis Method
A Development Environment for Hard Real-Time Applications
Representation of Robots in Matlab
Evaluating the Feasibility of MAX: A Method Using Cards and a Board for Assessing the Post-Use UX
Assessing Proximity to Fruition: a Case Study of Phases in Case Technology Transfer
Proof Score Approach to Analysis of Electronic Commerce Protocols
Improving Large-Gap Clone Detection Recall Using Multiple Features
A Modeling Methodology for Conflict Control in Multi-Agent Systems
User Profile Visualization to Facilitate MSLIM-Model-Based Social Influence Analysis Based on Slow Intelligence Approach
Memory-Aware Scheduling Parallel Real-Time Tasks for Multicore Systems
Advanced Conceptual Clustering and Associated Querying Facilities in Object-Oriented Databases
Detecting Duplicate Questions in Stack Overflow via Source Code Modeling
Hybrid Model with Multi-Level Code Representation for Multi-Label Code Smell Detection (077)
Comparison of Open Source Tools for Project Management
Formalization and Verification of Enhanced Group Communication CoAP
Detecting Emulated Environments
Neighbor-Aware Embedding Interaction for Link Prediction
Formal Approach to Assertion-Based Code Generation
Automatic Extraction of Ontological Explanation for Machine Learning-Based Systems
A Knowledge-Based System for Correcting Users' Misconceptions in Database Retrieval
An Online Quantified Safety Assessment Method for Train Service State Based on Safety Region Estimation and Hybrid Intelligence Technologies
A Method for Prioritizing Integration Testing in Software Product Lines Based on Feature Model
The Metamodel: a Starting Point for Design Processes Construction
A Pattern Framework for Software Quality Assessment and Tradeoff Analysis
Generation and Application of Constrained Interaction Test Suites Using Base Forbidden Tuples with a Mixed Neighborhood Tabu Search
Designing a Scalable Agricultural Information System for Pest Detection and Decision Support in Hazelnut Cultivation
Integrating Multimedia Semantic Content Analysis of YouTube Videos with Hurricane Wind Analysis for Public Situation Awareness and outreach
Software Components for Object-Oriented Database Systems
An Imperfect Debugging Non-Homogeneous Poisson Process Software Reliability Model Based on a 3-Parameter S-Shaped Function
On pi-Calculus Semantics as a Formal Basis for UML Activity Diagrams
Gated Hierarchical LSTMs for Target-Based Sentiment Analysis
Root Cause Analysis of Anomalies Based on Graph Convolutional Neural Network
A Study Investigating Challenges in the Interface between Product Development and manufacturing in the Development of Software-Intensive Automotive Systems
Aspect Oriented Re-engineering of Legacy Software Using Cross-Cutting Concern Characterization and Significant Code Smells Detection
Test Focus Selection for Integration Testing
Fuzzy Clustering with Feature Weight Preferences for Load Balancing in Cloud
Software Engineering Practices and Tools for Real-Time Systems (Part I): Guest Editor's Introduction
From Knowledge Modeling To Ontology Construction
Variability Management for Software Product-Line Architecture Development
Software Product Line Testing Based on Feature Model Mutation
Cooad: a Case Tool for Object-Oriented Analysis and Design
Peer-To-Peer Information Workspaces In Infotop
Analysis of the Relationship between Editing Behaviors and Questions in Stack Overflow
An Outlier Degree Shilling Attack Detection Algorithm Based on Dynamic Feature Selection
Using Your Fingers to Think: Enabling Subjective Routing with a Rubber Band Metaphor
Automatic Ontology Construction in Fiction-Based Domain
Influential Spreaders Identification by Fusing Network Topology
Query Expansion via Intent Predicting
Category-Aware Next Event Prediction Based on Temporal Influence
Research Notes - Software Process Selection Based Upon Abstract Machines for Slow Intelligence Systems
Class Change Prediction by Incorporating Community Smell: An Empirical Study
Reusable Knowledge-Based Components for Building Software Applications: A Knowledge Modelling Approach
Novel Strategy Generating Variable-Length State Machine Test Paths
VulEPEDE: A Function-Level Vulnerability Detection Method via Enhanced Positional Encoding and Dependency Embedding
User Scenarios Through User Interaction Diagrams
ProActNet: Modeling Processes Through Activity Networks
Integration of Modal and Fuzzy Methods of Knowledge Representation in Artificial Agents
The Frame Problem from an Engineering Perspective
A Business Process Centered Software Analysis Method
A Hierarchical Measurement Framework for the Evaluation of Automated Business Processes
Book Review: "software Conflict: Essays on the Art and Science of Software Engineering"
HCIA: Hierarchical Change Impact Analysis Based on Hierarchy Program Slices
Specifying Requirements for Modern Software Development: A Test-Oriented Methodology
Distributed Process Planning Support with MILOS
Software Quality Assessment Model: A New Approach for Software Testing Tools
Programming Style Based Program Partition
Refactoring UML Models of Object-Oriented Software: A Systematic Review
On Specification of Reusable Software Components
A Service Architecture for Mobile Teamwork
A Formal Object Specification Technique Integrating Object and Functional Model
Efficiently Mining Recent Frequent Patterns over Online Transactional Data Streams
An Rpcl-Based Indexing Approach For Software Component Classification
Abstract Logic Tree Based Framework for Component Based Solution Composition Design and Execution
Enhancing CASE Environments by Using Linguistics
Interactive Sand Art Drawing Using RGB-D Sensor
An Effective fuzzy Clustering Algorithm for Web Document Classification: a Case Study in Cultural Content Mining
Fact Updates in Logic Databases
Action Machines: a Framework for Encoding and Composing Partial Behaviors
Personalized Learning Path Recommendation for E-Learning Based on Knowledge Graph and Graph Convolutional Network
Book Review: Can We Improve the Ability to Improve?
An Empirical Study of Fault Localization on Novice Programs and Addressing the Tie Problem
Issues and Models in Software Product Lines
Retrieval by Construction: a Traceability Technique to Support Verification and Validation of Uml Formalizations
Model-based Testing of Concurrent Programs with Predicate Sequencing Constraints
Integration Testing of Context-sensitive Middleware-based Applications: a Metamorphic Approach
Automatic Programming and Program Maintenance with Genetic Programming
A New Approach in Designing Interprocess Communication for Real-Time Systems
Modularity and Correctness for Logic Programs and Knowledge Bases
Software Performance Engineering by Simulated-Based Object Deployment
Model and Verification of WS-CDL Based on UML Diagrams
A Knowledge-Based Software Development Environment Supporting Cooperative Work
An Approach to Checking the Compliance of User Permission Policy in Software Development
SWEBOK Matters: Report and Reflection of a SEKE Panel on the Educational and Professional Implications of SWEBOK
Learning Conceptual Modeling Design Through the Classutopia Serious Game
An Embedded System to Support Tele-Medical Activity
Deep Understanding of Runtime Configuration Intention
An Inexact Reasoning Algorithm for Dealing with Inexact Knowledge
Semantic Trajectory Knowledge Discovery: A Promising Way to Extract Meaningful Patterns from Spatiotemporal Data
Evaluating Theories for Managing Imperfect Knowledge in Human-Centric Database Reengineering Environments
Trends in Structure-Oriented Environments
Applying Expert Judgment to Improve an Individual's Ability to Predict Software Development Effort
Efficient Construction of Practical Python Call Graphs with Entity Knowledge Base
Reachability Graph-Based Test Sequence Generation for Concurrent Programs
SmartShell: Automated Shell Scripts Synthesis from Natural Language
Writing and Analyzing System Specifications by Integrated Linguistic Tools
A New Approach to Verify Statechart Specifications for Reactive Systems
Algorithmic Transparency of Large-Scale *AIDA Programs
Towards an Open Software Conversion Architecture
A Review Approach to Detecting Violations of Consistency between Specification and Program Structures
Test Scenario Generation Based on Formal Specification and Usage Profile
Cost and Effectiveness of Search-Based Techniques for Model-Based Testing: An Empirical Analysis
Using Peer Assessment Leveraging Large Language Models in Software Engineering Education
Transobj: Software Prototyping Environment for Real-Time Transaction-Based Software System Applications
An Effective Approach for Context Driven Testing in Practice - A Case Study
Aligning Software Architecture Training with Software Industry Requirements
CodeQG: Automated Multiple Question Generation for Source Code Comprehension
Thread Scheduling Sequence Generation Based on All Synchronization Pair Coverage Criteria
Video Multimodal Entity Linking via Multi-Perspective Enhanced Subgraph Contrastive Network
Aspect-Oriented Specification: a Case Study in Space Domain
Intrusion Detection Algorithm Based on Convolutional Neural Network and Light Gradient Boosting Machine
Proving Properties of Rule-Based Systems
Parallel Execution of Programs as a Support for Mutation Testing: A Replication Study
Structured Design of a Knowledge-Based Message Dissemination System
A Generic Formal Framework For Constructing Agent Interaction Protocols
Enhanced Fault Detection Using Coupling and Cohesion Metrics with Deep CNN Modeling
Identifying Possible Improvements of Software Development Life Cycle (SDLC) Process of a Bank by Using Process Mining
Performance Analysis of Traffic Control Systems Based upon Stochastic Timed Petri Net Models
Programmable Reverse Engineering
A Reachability-Based Technique for Idle Speed Control Synthesis
Expert Systems Implementation: Rules are Bad, Objects are Good
Efficient Mining of Data Streams Using Associative Classification Approach
Code Generation with Hybrid of Structural and Semantic Features Retrieval
Handling Quantity in Variability Models for System-of-Systems
Multi-Granularity Knowledge Mining on the Web
A Test Case Prioritization Based on Degree of Risk Exposure and its Empirical Study
Code-Change Impact Analysis using Counterfactuals: Theory and Implementation
Graph-Based Root Cause Localization in Microservice Systems with Protection Mechanisms
Using Test Oracles and Formal Specifications with Test-Driven Development
Using Mathematical Induction in Systematic Program Development
Ada Reusability and System Design Assessment Using the Data Binding Tool
Estimation and Generation of Software Architectural Specification to Handle Variation Points
Enhancing Navigability in Websites Built Using Web Content Management Systems
Formal Requirements and Design Specifications: The Clepsydra Methodology
Heterogeneous and Elastic Computation Framework for Mobile Cloud Computing
Prediction Phase in Associative Classification Mining
Remaining Activity Sequence Prediction for Ongoing Process Instances
Guest Editor's Introduction - Special Issue on Social Computing and Engineering
An Efficient Web-Based Wrapper and Annotator for Tabular Data
A Semantic Web-Enabled Approach for Dependency Management
Editorial: A New Emphasis on Software Engineering and Knowledge Engineering Education
An Extensible Modeling Method Supporting Ontology-Based Scenario Specification and Domain-Specific Extension
IGA-Based Interactive Framework Using Conjoint Analysis and SOM for Designing Room Layout
An Incremental Verification Algorithm for Real-Time Systems
A Proposal for the Improvement of Project's Cost Predictability Using Earned Value Management and Historical Data of Cost - An Empirical Study
Event Normalization Methodology for Computer Game Environment Simulation
Model-Based Clustering In Gene Expression Microarrays: An Application To Breast Cancer Data
Enhancing Goal-Oriented Security Requirements Analysis using Common Criteria-Based Knowledge
On Representing Resilience Requirements of Microservice Architecture Systems
Criteria for Comparing Reuse-Oriented Domain Analysis Approaches
Verification of Embedded Supervisory Controllers Considering Hybrid Plant Dynamics
OC-Detector: Detecting Smart Contract Vulnerabilities Based on Clustering Opcode Instructions
Verifying Requirements Through Mathematical Modelling and Animation
Deep Tasks Summarization for Comprehending Mixed Tasks in a Commit
An Abstract, Shared and Persistent Data Structure for Supporting Database Management and Multilingual Natural Language Processing
Access Control Strategies for Coordinating Teams of Software Engineers
An Efficient LOTOS-Based Framework for Describing and Solving (Temporal) CSPs
An Integration of Train Timetabling, Platforming and Routing-Based Cooperative Adjustment Methodology for Dealing with Train Delay
A Self-Adaptable Indoor Localization Scheme for Wireless Sensor Networks
Specifying Active Database Systems in an Object-Oriented Framework
Applying Epistemic Network Analysis to Open Source Software Projects