yusuke1997/dblp-id-title huggingface dataset:
Design Analysis of the Propulsion and Control System of an Underactuated Remotely Operated Vehicle Using Axiomatic Design Theory - Part 2
Ties within Fault Localization rankings: Exposing and Addressing the Problem
Swarm Intelligence for Software Effort Estimation: An Empirical Study
Learning Better Inspection Optimization Policies
Association Analysis of Software Measures
Partial Evaluation for the Understanding of Fortran Programs
Verifying Aspect-Oriented Models against Crosscutting Properties
Native Code Generation as a Service
A Refactoring Catalog for Lambda Expressions in Java
SysML-Based Requirement Management to Improve Software Development
An Approach to Quantitative Software Architecture Sensitivity Analysis
A Dynamic Drilling Sampling Method and Evaluation Model for Big Streaming Data
Permission-based Android Malware Detection System Using Feature Selection with Genetic Algorithm
On the Combination of Classical Knowledge Engineering Tools and LLMs to Build Automated Planning Models
An Improved Potential Field Based Method for Crowd Simulation
Towards a Calculus for Nondeterministic Schemas in Z
The Technique of Business Model Driven Analysis and Test Design for Development of Web Applications
An Analysis of Problem-Solving Patterns in Open Source Software
SHAMROQ: A Software Engineering Methodology to Extract Deontic Expressions from the Code of Federal Regulations - A Single-Case, Embedded Case Study
A Methodology for Modeling Interactions in Cooperative Information Systems Using Coloured Petri Nets
Multiple Depth Maps Integration for 3D Reconstruction Using Geodesic Graph Cuts
Formalization of Object Behavior and Interactions from UML Models
A Framework for Method Evolution and Behavior Consistency in Object-Oriented Databases
Guest Editor's Introduction: the Impact of Case on Software Development Processes
Addressing the Construction of Z and Object-Z with Use Case Maps (UCMs)
The Chimera Methodology: Designing Dynamically Reconfigurable and Reusable Real-Time Software Using Port-Based Objects
A Layered Metamodel for Hierarchical Modeling in UML
Winning Strategy Tree Construction for BDD-Based ATL Model Checkers
CrÈme: an Automatic Invariant Prover of Behavioral Specifications
A Frame Model Approach for Expert and Database System Integration
Madd Operation Aware Redundancy Elimination
Applying Association Mining to Change Propagation
Data-Driven Persona Retrospective Based on Persona Significance Index in B-to-B Software Development
A Survey of Privacy-Preserving Collaborative Filtering Schemes
Spy-Tec+ : an Integrated Index Structure for k-Nearest Neighbor Queries with Semantic Predicates in Multimedia Database
A Hierarchical Model for Quality Evaluation of Mixed Source Software Based on ISO/IEC 25010
Gradle-Autofix: An Automatic Resolution Generator for Gradle Build Error
Prediction of Regional Commercial Activeness and Entity Condition Based on Online Reviews
On the Refinement of Logic Specifications
Supporting Elicitation And Specification Of Software Properties Through Patterns And Composite Propositions
Mutual Inference Model for User Roles and Urban Functional Zones
Enhancing Cheque Fraud Detection Through Transformer Models and Optimization Techniques on Structured Textual Data
Samea: Object-Oriented Software Maintenance Environment for Assembly Programs
A Loosely Coupled Aspect Language for SOA Applications
Multi-Label Classification of Pure Code
Integrating Action-Based Defect Prediction to Provide Recommendations for Defect Action Correction
XL-BPMN Model-Based Service Similarity Measurement Technique
Delivering Usability in IT Products: Empirical Lessons from the Field
Meta-Environments for Software Production
An Attribute-Based Development Framework of Node Software for Various Operating Systems in Sensor Network Environment
Modeling and Developing Real-Time Concurrent Applications
Automatically Modeling Developer Programming Ability and Interest Across Software Communities
An Empirical Study on Code Smell Introduction and Removal in Deep Learning Software Projects
Using High Level Petri Nets in the Modelling, Simulation and Verification of Reconfigurable Manufacturing Systems
Retrieving Deep Web Data through Multi-Attributes Interfaces with Structured Queries
Guest Editor's Introduction: Acquisition of Software Engineering Knowledge
Equivalent Mutants Detection Based on Weighted Software Behavior Graph
Development of Scientific Software: a Systematic Mapping, a bibliometrics Study, and a Paper Repository
ModelCC - A Pragmatic Parser Generator
Class Imbalance-oriented Online Feature Selection Method for Just-in-time Software Defect Prediction
Gradual Process Discovery: Conceptual Initiation, Framework, System, and Experimental Validation
Comparing Software Bugs in Clone and Non-clone Code: An Empirical Study
Aggregating Data Sampling with Feature Subset Selection to Address Skewed Software Defect Data
Mobile Computing with Personal Area Network and Human Power Generation
Optimization Location Selection Analysis of Energy Storage Unit in Energy Internet System Based on Tabu Search
Multiagent Systems Engineering
Association-Based Information Flow Control In Object-Oriented Systems
On-Line Visualization and Navigation of the Global Web Structure
A Clustering-Based Strategy to Identify Coincidental Correctness in Fault Localization
Multiple Views Analysis of Software Designs
Feature Selection for Datasets with Imbalanced Class Distributions
Linear Programming Cutting Problems
A Framework for Statistical Testing of Software Components
Computer Aided Software Engineering: Facilitating the Path for True Software and Knowledge Engineering
An Integrity Checking Mechanism of Mobile Agents under a Closed Environment with Trusted Hosts
An Environment Adaptation Agent of Reinforcement Learning in Continuous Integration Test Case Prioritization
Evidential Diagnosis Of Inconsistencies In Object-Oriented Designs
The Role of Nonmonotonic Representations in Requirements Engineering
Possible Effects of the Next Generation Programming Language on the Software Process Model
A Formal Methodology for Analyzing Tradeoffs of Imprecise Requirements
Collaborative Inference Acceleration Integrating DNN Partitioning and Task Offloading in Mobile Edge Computing
STMultiple: Sparse Transformer Based on RFID for Multi-Object Activity Recognition
KEMA++: A Full Representative Knowledge-Graph Embedding Model (036)
Systematic Knowledge Engineering: Building Bodies of Knowledge from Published Research
Mutation with Local Searching and Elite Inheritance Mechanism in Multi-Objective Optimization Algorithm: A Case Study in Software Product Line
Formally Modeling and Analyzing the Reliability of Cloud Applications
An Ontological Framework for Web Service Processes
Using Fuzzy Reasoning to Support Automated Program Understanding
Preventing Mismatch of Homogeneous Components in the Design of Software Architecture
A Systematic Mapping Study of Search-Based Software Engineering for Enterprise Application Integration
Generating Reusable Visual Notations Using Model Transformation
Software Agent-Centric Semantic Social Network for Cyber-Physical Interaction and Collaboration
A Novel Approach for Optimal Grouping of Reusable Software Components for Component Based Software Development Systems
A Modified Hill-Climbing Algorithm for Knowledge Test Assembly Based on Classified Criteria
Generating Data Access Programs from PCTE Schemas with Constraints
Knowledge Graph Construction for SOFL Formal Specifications
An Approach for Designing, Modeling and Realizing ETL Processes Based on Unified Views Model
A Novel Approach for Semantic Interoperability in the Web Based on the Semantic Triangle Communication Model
An Exploration of Functional Size Based Effort Estimation Models
Case Studies in Process Improvement through Retrospective Analysis of Release Planning Decisions
Enhancing Python Code Smell Detection with Heterogeneous Ensembles
Using API Call Sequences for IoT Malware Classification Based on Convolutional Neural Networks
Exposing IoT Objects in the Internet Using the Resource Management Architecture
Program Matching through Code Analysis and Artificial Neural Networks
Software Testing Integration-Based Model (I-BM) Framework for Recognizing Measure Fault Output Accuracy Using Machine Learning Approach
Method for Predicting Mobile Service Evolution from User Reviews and Update Logs
An Object-based Data Flow Testing Approach for Web Applications
Automatic Software Categorization Using Ensemble Methods and Bytecode Analysis
Mutation-Based Minimal Test Suite Generation for Boolean Expressions
Advances and Challenges in Multimodal Entity Linking: A Comprehensive Survey
Deep Transfer Learning for Source Code Modeling
dSubSign: Classification of Instance-Feature Data Using Discriminative Subgraphs as Class Signatures
Machine Learning Models and Statistical Measures for Predicting the Progression of IgA Nephropathy
A Comprehensive Survey of Petri Net Modeling in Software Engineering
An Ontology for Understanding and Applying Object-Oriented Design Knowledge
Book Review: "tedium and the Software Process", by Bruce I. Blum
Detecting Implicit Security Exceptions Using an Improved Variable-Length Sequential Pattern Mining Method
A Medical Documents Rewriting Model Based on Medical Knowledge Demanders' Feelings and Emotions
Supporting Agent-Oriented Modelling with UML
Public Sentiments Analysis Based on Fuzzy Logic for Text
A Software Test and Evaluation Environment Based on Longitudinal Database
EVaDe: Efficient and Lightweight Mirai Variants Detection via Approximate Largest Submatrix Search
Integrating Agent, Service and Organizational Computing
On the Development of a Method to Synthesize Programs from Requirements Specifications
Data Mining For Gene Expression Profiles From Dna Microarray
A Causal Model for Analyzing the Impact of Graphical Modeling Languages on Usability
Efficiently Updating the Discovered Sequential Patterns for Sequence Modification
Model-Driven Approach for Making Citizen Science Data FAIR
Reliability and Performance Analysis of Architecture-Based Software Implementing Restarts and Retries Subject to Correlated Component Failures
MOID: Many-to-One Patent Graph Embedding Base Infringement Detection Model
Risk Assessment in Multi-disciplinary (Software+) Engineering Projects
Using Data Mining For Automated Software Testing
Formal Designs for Embedded and Hybrid Systems
The Impact of undergraduate Software Engineering Education on Advancing Case Tools
Transforming an HCI Model to a Software Design Model
Understanding the Working Habits of GH-SO Users on GitHub Commit Activity and Stack Overflow Post Activity
DAEH: A Tool for Specifying and Monitoring the Exception Handling Policy
Context-Dependent Feature Values in Text Categorization
Test Case Selection: A Systematic Literature Review
AutoWPR: An Automatic Web Page Recoloring Method
Framework for Data Quality Assurance between Composite Services
Situation-Dependent Metaphor for Personal Multimedia Information
Component Security Testing Approach Based on Extended Chemical Abstract Machine
Enhancing Code Summarization with Graph Embedding and Pre-Trained Model
Specification of Multimedia Software Systems Using an Object Oriented Architecture Description Language
Assessing the Use of GitHub Copilot on Students of Engineering of Information Systems
Information Extraction versus Text Segmentation for Web Content Mining
Using Automated Reasoning Techniques to Determine Software Reuse
BOOK REVIEW: "Press on: Principles of Interaction Programming" by Harold Thimbleby
A Unified Framework for Bug Report Assignment
Computer Simulation Software Reuse by Generic/Specific Domain Modeling Approach
Social Network Analysis in Software Development Projects: A Systematic Literature Review
APT: A Simple Adapter for Reusing RGB Video Transformers in Compressed Video Action Recognition
A Two-Level Metadata Dictionary Approach for Semantic Query Processing in Multidatabase Systems
Software Quality Evaluation for Security COTS Products
A Data Mining Application Analysis of Problems Occurring during a Software Project Development Process
Using Domain Knowledge to Improve Reverse Engineering
Boosting Just-In-Time Code Comment Updating Via Programming Context and Refactor
Web Services Interactions: Analysis, Modeling, and Management
Conceptual Model of the Physical Structure of Manufacturing Systems
Practice Selection Framework
Analysis of Susceptibility to the Consensus for a Few Representations of Collective Knowledge
Automated Test Case Generation for Path Coverage by Using Multi-Objective Particle Swarm Optimization Algorithm with Reinforcement Learning and Relationship Matrix Strategies
The Extensible Dependency Analysis Tool Set: a Knowledge Base for Understanding Industrial Software
Improving Multi-Class Code Readability Classification with An Enhanced Data Augmentation Approach (130)
Template-Based Generation of Multimedia Presentations
Cost-Cognizant Combinatorial Test Case Prioritization
Paraphrase-Augmented Evaluation for Dialogue Models: A Unified Framework with AMR and GPT-Based Rewriting
Maintainability Predictors for Relational Database-Driven Software Applications: Extended Results from a Survey
Knowledge Management and Semantic Modeling: a Role of Information Granularity
Analyzing the Cloud Performance Using Different User Subscription Times
BAQoS: A Burst I/O Aware Quality of Service Optimization for Cloud Storage Service
Supporting Requirements to Code Traceability Creation by Code Comments
Model and Application of Impact Wave in Measuring Dynamic Characteristic of Microstructure
Design of Decoupled Clinical Decision Support for Service-Oriented Architectures
A Reinforcement Learning-Based Approach for Determining Infeasible Paths of Programs
An Approach to Testing Black-Box Components Using Contract-Based Mutation
High Performance Mac Unit Using Modified Sign Extension Algorithm and A New High-Speed Alu in Dsp-Core
Intelligent Semantic Concept Mapping For Semantic Query Rewriting/Optimization In Ontology-Based Information Integration System
A Quality of Service Framework for Object-Oriented Architectures
Seamless QoE Support for Mobile Cloud Services Using IEEE802.21 MIH and the GENI Future Internet Framework
Designing Knowledge-Base Tools for Program Comprehension: a Comparison of EDATS & IMCA
An Approach to Software Defect Prediction Combining Semantic Features and Code Changes
Building a Credit Scoring Model Based on Data Mining Approaches
Exact Learning of Qualitative Constraint Networks from Membership Queries
Code Clone Detection with Hierarchical Attentive Graph Embedding
Working and Playing with Scrum
An Empirical Study on the Impact of Python Dynamic Typing on the Project Maintenance
Systematic Construction of I* Strategic Dependency Models for Socio-technical Systems
Prioritized Process Test: An Alternative to Current Process Testing Strategies
An Empirical Study into the Accuracy of IT Estimations and its Influencing Factors
Nested Graph Transformation Units
Improving Class Firewall Regression Test Selection by Removing the Class Firewall
Intelligent Architecture for Comparative Analysis of Public Companies Using Semantics and XBRL Data
A Fully Parallel Approach of Model Checking Via Probe Machine
Enriching SPARQL Queries by User Preferences for Results Adaptation
Assessment of Linux' Data Path Implementations for Download and Streaming
Trusted Service Provider Discovery Based on Data, Information, Knowledge, and Wisdom
Distributed Information and Control in a Concurrent Hypermedia-Oriented Architecture
Improving Resilience of Software Systems: A Case Study in 3D-Online Game System
Clustering-Based Topical Web Crawling for Topic-Specific Information Retrieval Guided by Incremental Classifier
Metaheuristics and Software Engineering: Past, Present, and Future
Identification of Potential Reusable Subroutines in Recorded Automated Test Scripts
Sequence Specification for Concurrent Object-Oriented Applications
Knowledge Recommendation Method for Concept Development of Manufacturing Technology Using Morphological Similarity
How Agile Developers Integrate User-Centered Design Into Their Processes: A Literature Review
Testing Multi-Threaded Applications Using Answer Set Programming
Analysing the Performance of a Resource Reservation Protocol Specification Using a GSPN Method
An Empirical Study on Higher-Order Mutation-Based Fault Localization
Towards Improvement of Analogy-Based Software Development Effort Estimation: A Review
A Meta-Tool to Support the Development of Knowledge Engineering Methodologies and Projects
On the Software and Knowledge Engineering Aspects of the Educational Process
A Quantitative and Qualitative Comparison of Distributed Information Processing Using Mobile Agents Realised in RMI and Voyager
An Improved Faster R-CNN for UAV-Based Catenary Support Device Inspection
The Stabilization Problem for Certain Class of Ecological Systems
Inconsistency-Tolerant Hierarchical Probabilistic CTL Model Checking: Logical Foundations and Illustrative Examples
Development of Energy-aware Mobile Applications Based on Resource Outsourcing
Quantum Software Engineering: Practical Challenges
Language-Driven System Design
An Empirical Study on Model-Agnostic Techniques for Source Code-Based Defect Prediction
Design of 3-Valued R-S & D Flip-Flops Based on Simple Ternary Gates
An Experimental Study of Spammer Detection on Chinese Microblogs
A RAID-Based Secure and Fault-Tolerant Model for Cloud Information Storage
A Constructive Heuristic for Automated Parallel Tests Assembly
SLABS: A Formal Specification Language for Agent-Based Systems
Semantic Code Clone Detection Based on Community Detection
Middleware for Building Adaptive Migratory Continuous Media Applications
Discovering Perceptions in Online Social Media: A Probabilistic Approach
A Methodology and Support Tools for Analysis of Real-Time Specifications
An Evolvable Operating System for Wireless Sensor Networks
A Privacy Awareness System for Software Design
Experimental Evaluation of Redundancy in Android Mutation Testing
XDMA: A Dual Indexing and Mutual Summation Based Keyword Search Algorithm for XML Databases
A Learning-Based Software Engineering Environment for Reusing Design Knowledge
A Design Theory for Cognitive Workflow Systems
A Methodology to Analyze and Estimate the Software Development Process Using Machine Learning Techniques
Design Optimization Metrics for UML Based Object-Oriented Systems
A Methodology for Establishing Multi-Model Environments in Order to Improve Organizational Software Processes
Guest Editors: Introduction
Test Agent System
Concurrent Data Materialization for XML-Enabled Database with Semantic Metadata
Ontology-Based Semantic Verification for UML Behavioral Models
Matching Logic for Concurrent Programs Based on Rely/Guarantee and Abstract Patterns
Robotic Process Automation Efficiency for Mobile App Testing: An Empirical Investigation
A Model-Based Design-for-Verification Approach to Checking for Deadlock in Multi-Threaded Applications
Generative API Recommendation Based on Global Semantics and Local Context
Counterexample Generation in Stochastic Model Checking Based on PSO Algorithm with Heuristic
A Domain Analysis And Modeling Methodology For Component Development
A Framework for Object-Oriented Reverse Engineering of Legacy Information Systems
A Quality-Driven Decision-Support Method for Identifying Software Architecture Candidates
Refactoring with Ordered Collections of Fine-Grain Transformations
Demystifying Practices, Challenges and Expected Features of Using GitHub Copilot
A Comparison of Software Product Line Scoping Approaches
Reasoning Types and AI Programming Paradigms
Grammatical Inference for the Automatic Generation of Visual Languages
Variability Design Techniques for Enhancing Component Reusability
RESEARCH NOTES - GMRepair: Graph Mining Template-Based Automated Software Repair
Predicting of Open Source Software Component Reusability Level Using Object-Oriented Metrics by Taguchi Approach
A Segment Based Approach for the Reduction of the Number of Test Cases for Performance Evaluation of Components
Mining for Program Structure
Controlling the Usability of Web Services
Predicting Software Defects for Object-Oriented Software Using Search-based Techniques
A Framework-Driven Comparison of Automata-Based Tools for Identifying Business Rule Conflicts
Managing Software Projects by Structured Project Planning
Predicting Code Hotspots in Open-Source Software from Object-Oriented Metrics Using Machine Learning
Two Improved Topic Word Detection Algorithms
Investigating the Relationship Between Mutants and Real Faults with Respect to Mutated Code
Scaling up Rule-Based Software Development Environments
A Method to Evaluate the Credibility of Domain Knowledge Network Using Validated Expert Knowledge
Sentiment-Time Heterogeneous Residual Graph Attention Transformer for Session-Based Recommendation
Design Analysis of The Propulsion and Control System of an Underactuated Remotely Operated Vehicle Using Axiomatic Design Theory - Part 1
Predictive Traces in Hybrid Systems
An Automated Tool (ID A F) to Manipulate Interaction Diagrams and Fragmentations for Multi-Agent Systems
Improving Software Reliability Modeling Using Machine Learning Techniques
A Dynamic Inference Model for Intelligent Agents
Guest Editor's Introduction: Software Mathematical Models for Human Understanding
SXM-Based Web Test Generation with Respect to Logic Coverage Criteria
NNTBFV: Simplifying and Verifying Neural Networks Using Testing-Based Formal Verification
Dual Channel Among Task and Contribution on OSS Communities: An Empirical Study
A Specification and Detection Approach for Parallel Evolution Conflicts of Software Architectures
Bootstrap: a Software Process Assessment and Improvement Methodology
Investigating Conflicts in Cots Decision-Making
An Approach for Cluster-Based Retrieval of Tests Using Cover-Coefficients
Localization of Linearizability Faults on the Coarse-Grained Level
A Comparative Study of absent Features and Unobserved Values in Software Effort Data
Issues with Meta-Knowledge
WAAC: An End-to-End Web API Automatic Calls Approach for Goal-Oriented Intelligent Services
Agent Based Decision Tree Learning: a Novel Approach
Optimal Design of Wide Area Based on Fuzzy Controller and Intelligent Method
Evolving More Representative Programs with Genetic Programming
Role-Based Modeling for Designing Agent Behavior in Self-Organizing Multi-Agent Systems
DERAID: A Decryption and Encryption Integrated Redundant Array of Independent Disks Technology
Modeling Secure Systems Using an Agent-oriented Approach and Security Patterns
Arifs Methodology Reusing Incomplete Models at the Requirements Specification Stage
An Empirical Analysis of the Open Source Development Process Based on Mining of Source Code Repositories
Combinatorial Test Sequence Generation Method Integrated with STPA
Efficient State-Saving Architectures for Power-Mode Switching
A Context-Aware Architecture for Realizing Business Process Adaptation Strategies Using Fuzzy Planning
Enhancing the Software Life Cycle of Knowledge-Based Systems Using a Task-Based Specification Methodology
Quality Software - Guest Editor's Introduction
Software Configuration Management for a Reusable Software Library within a Software Maintenance Environment
Enhancing Call-Level Interfaces with Thread-Safe Local Memory Structures
Constructing Bug Knowledge Graph as a Service for Bug Search
Semi-supervised Heterogeneous Defect Prediction with Open-source Projects on GitHub
Ontology-Guided Service-Oriented Architecture Composition to Support Complex and Tailorable Process Definitions
Results of the Application of a Linguistic Approach to Object-Oriented Analysis
An Optimization Method for Train Seat Inventory Control
Specifications and Tools for Building Reliable Expert Systems
Statistical Comparison of Modelling Methods for Software Maintainability Prediction
Exploring the Effort of General Software Project Activities with Data Mining
Understanding Software Productivity: towards a Knowledge-Based Approach
Learning Bayesian Network Structure Using a MultiExpert Approach
Human Resource Allocation in Software Project with Practical Considerations
Approach to Detect Windows Malware Based on Malicious Tendency Image and ResNet Algorithm