yusuke1997/dblp-id-title huggingface dataset:
Development of Real-Time Simulation Application Software for Four-Quadrant Converter System Based on MATLAB
A Survey of Case Studies of the Use of Knowledge Management in Software Engineering
Semantics-Driven Programming of Self-Adaptive Reactive Systems
Static Privacy Analysis by Flow Reconstruction of Tainted Data
Which Exceptions Do We Have to Catch in the Python Code for AI Projects?
A Novel Algorithm for Identifying Key Function Nodes in Software Network Based on Evidence Theory
Credit Card Fraud Detection Algorithm Based on a Stacked Ensemble Model
A Tool Supporting End-User Development of Access Control in Web Applications
Construction and Analysis of Scientific and Technological Personnel Relational Graph for Group Recognition
Classification of the Era Emotion Reflected on the Image Using Characteristics of Color and Color-Based Classification Method
Ltcc Technology For Photonic and Millimeter Wave Module Integration
Combining the Strengths of BPEL and Mule ESB
Empirical Study on the Distribution of Bugs in Software Systems
Schedulability Analysis of Graph-Based Real-Time Task Model with Precedence Constraints
NMMp: A Model-Driven UML Extension for the Description of Navigation Maps for Web Applications
An Iterative Approach to Managing Uncertain Mappings in Dataspace Support Platforms
Industry Practices in Project Management for Multimedia Information Systems
CodeLabeller: A Web-Based Code Annotation Tool for Java Design Patterns and Summaries
Building a Model-Based GUI Test Automation System for Mobile Applications
HEAT: Hierarchical Entropy Approach for Texture Indexing in Image Databases
A Methodology to Analyze Multi-Agent Systems Modeled in High Level Petri Nets
Quality System for production Software (QSPS): an Innovative Approach to Improve the Quality of production Software
15 Years of Software Regression Testing Techniques - A Survey
User Control and Dynamic Reorganization of Multimedia Presentations During Playout
Modeling and Control of Drinking Water Supply Infrastructures Through Multi-Agent Systems for Sustainability
Detecting Emergent Behavior in Distributed Systems using Scenario-Based Specifications
Useful Specification-Based Logic Coverage criteria
Knowledge Acquisition and Process Guidance for Building System Dynamics Simulation Models: an Experience Report from Software Industry
Recommending Relevant Tutorial Fragments for API-Related Natural Language Questions
A Novel Effort Measure Method for Effort-Aware Just-in-Time Software Defect Prediction
Feedback2Code: A Deep Learning Approach to Identifying User-Feedback-Related Source Code Files
A Generic Process for the Design and Generation of Software Product Line Skeleton Architectures
Research Notes : Binary Test-Suites Using Covering Arrays
Capturing Interface Protocols to Support Comprehension and Evaluation of C++ Libraries
Restricted Random Testing: Adaptive Random Testing by Exclusion
Focusing Testing by using Inspection and Product Metrics
Trends in Life-Cycle Models for SE and KE: Proposal for a Spiral-conical Life-Cycle Approach
On the Semantics of Architectural Decisions
Supporting Decision-Making in Software Engineering with Process Simulation and Empirical Studies
Detecting Fault Modules Using Bioinformatics Techniques
Markov Chain-Like Model for Prediction Service Based on Improved Hierarchical Particle Swarm Optimization Cluster Algorithm
MultiCoS - A Requirements Engineering Tool
Activity Based CIM Modeling and Transformation for Business Process Systems
ICG: A Machine Learning Benchmark Dataset and Baselines for Inline Code Comments Generation Task
Icrad: an Integrated Process for the Solution of Requirements Conflicts and Architectural Design
An Approach to Constructing High-Available Decentralized Systems via Self-Adaptive Components
The Design and Implementation of a Customizable Fault Tolerance Framework
From Hippocratic Databases to Secure Tropos: a Computer-Aided Re-Engineering Approach
A Decision-making Specification Language for Verifiable User-interface Adaptation Logic
Utilizing Multifaceted Requirement Traceability Approach: a Case Study
A General Framework to Detect Design Patterns by Combining Static and Dynamic Analysis Techniques
Fuzzy Constraints for Knowledge Graph Embeddings
A Risk-Based Maintenance Decision-Making Approach for Railway Asset Management
A Business Software Testing Process-Based Model Design
Visual Programming for Message-Passing Systems
Correlation of Agile Principles and Practices to Software Project Performance: An AHP-Delphi Analysis
OAM: An Ontology Application Management Framework for Simplifying Ontology-Based Semantic Web Application Development
Multi-Channel Biotelemetry System Using Microcontroller with Uhf Transmit Function
Finding and Emulating Keyboard, Mouse, and Touch Interactions and Gestures while Crawling RIAs
IPR Centered Institutional Service and Tools for Content and Metadata Management
The Application of a Hierarchical Tree Method to Ontology Knowledge Engineering
An Efficient Test for the Validity of Unbiased Hybrid Knowledge Fragmentation in Distributed Databases
Delta-Plan-Es - the Interactive System of Numerical Analysis of improper Linear Programs
Formal Modeling and Performance Evaluation for Hybrid Systems: A Probabilistic Hybrid Process Algebra-Based Approach
Combinatorial Test Design Using Design-Time Decisions for Variability
Verification of Dataflow Scheduling
Applying Concept Formation Methods to Software Reuse
Incremental Learning of Production Rules from Examples under Uncertainty: a Rough Set Approach
Improved Entity Linking for Simple Question Answering Over Knowledge Graph
A Sub Chunk-Confusion Based Privacy Protection Mechanism for Association Rules in Cloud Services
Assessing and Evolving a Domain Specific Language for Formalizing Software Engineering Experiments: An Empirical Study
Incremental Scenario Modeling Using Hierarchical Object-Oriented Petri Net
Author Index Volume 35 (2025)
Formal Verification of Bundle Authentication Mechanism in Osgi Service Platform: Ban Logic
A Software Architecture for Finding Motifs Using Genetic Algorithm
Formal Models in Industry Standard Tools: an Argos Block within Simulink
SCR-LIBM: A Correctly Rounded Elementary Function Library in Double-Precision
Utilization of Dependence and Weight to Improve Fault Localization Method of Regression Test Cases
Guest Editor'S Introduction
A Combined Usage of NLP Libraries Towards Analyzing Software Documents
LSTM-Based with Deterministic Negative Sampling for API Suggestion
DEJIT: A Differential Evolution Algorithm for Effort-Aware Just-in-Time Software Defect Prediction
A Translator of Software Architecture Design from SAM to Java
A Graph-Based System for Managing Configurations of Engineering Design Documents
An Integrated Classification-Tree Methodology for Test Case Generation
When to Inherit and when not to
Aspect-Oriented Approach for Testing Software Applications and Automatic Aspect Creation
An Investigation on the Use of Machine Learned Models for Estimating Software Correctability
A Knowledge-Assisted Approach to Parameterized Reuse
TRAFMEL: Multimodal Entity Linking Based on Transformer Reranking and Multimodal Co-Attention Fusion
Integration Object-Oriented Software Testing and Metrics
Semantic Restful Service Composition Using Task Specification
Visualizing Animation Databases
Research on Trust Prediction Model for Selecting Web Services Based on Multiple Decision Factors
Secure Tropos: a Security-Oriented Extension of the Tropos Methodology
An ISM Approach for Modeling the Issues and Factors of Mobile App Development
The Turnout Abnormality Diagnosis Based on Semi-Supervised Learning Method
A Laboratory for Prototyping and Testing Multimedia Presentations
Analyzing the Stationarity Process in Software Effort Estimation Datasets
Fine-Grained Entity-Type Completion Based on Neighborhood-Attention and Cartesian-Polar Coordinates Mapping
Return Instruction Classification in Binary Code Using Machine Learning
Adding Flexibility in Information Flow Control for Object-Oriented Systems Using Versions
An Optimistic Third Party Protocol to Protect a Mobile Agent's Binary Code
Visual Specification and Monitoring of Software Agents in Decentralized Process-Centred Environments
An Adaptive Semantic Descriptive Model for Multi-Document Representation to Enhance Generic Summarization
An Empirical Study on Software Defect Prediction Using Over-Sampling by SMOTE
Bayesian-Learning Based Guidelines to Determine Equivalent Mutants
Optimization of Conflicting Tram Signal Priority Requests Based on Spatiotemporal Interlocking Logic Using Microscopic Simulation
Etifis: An Innovative e-Forecasting Web Application
Case Studies in The Hybrid Process Algebra Hypa
Assessment on Security Risks of Customer Relationship Management Systems
Improving Similarity Measure for Java Programs Based on Optimal Matching of Control Flow Graphs
COSABuilder and COSAInstantiator: An Extensible Tool for Architectural Description
Summarizing Personal Dataspace Based on User Interests
Comparing and Improving the Synthesis of State-Based Specifications from Scenario-Based Specifications
Comparative Search of Entities
Requirements Traceability: a Systematic Review and Industry Case Study
A Unifying Coalgebraic Semantics Framework for Quantum Systems
Positive Influence Maximization in the Signed Social Networks Considering Polarity Relationship and Propagation Probability
Semal: a Cost Language Based on the Calculus of Self-Modifiable Algorithms
The Technical Debt Density Over Multiple Releases and the Refactoring Story
Association-Oriented Database Model - n -ary Associations
Maintainability Metrics for Aspect-Oriented Software
Detecting Interaction Related Bugs in a Multi-Tenant Setting Using Kubernetes
PRST: A PageRank-Based Summarization Technique for Summarizing Bug Reports with Duplicates
Component-based Verification in a Synchronous Setting
Validating Secure Cloud Communication Mechanisms of Graphene with CSP-Based Modeling
Coo-Flow: A Process Technology To Support Cooperative Processes
Semantic Recovery of Traceability Links between System Artifacts
A Review of Design Pattern Mining Techniques
Prosumer Framework for Knowledge Management Based on Prosumer Service Patterns
Quantum Software Encompasses Classical Software: Density Matrix from the Laplacian
Towards Effective People Management in Software Projects: A Comprehensive Catalog of Good Practices
AppPerm Analyzer: Malware Detection System Based on Android Permissions and Permission Groups
Network-Based Ranking for Open Source Software Developer Prediction
MIAR: A Context-Aware Approach for App Review Intention Mining
Knowledge-Assisted Retrieval of Spatiotemporal Content in Multimedia Databases
An Improved Regional Traffic Volume Dynamic Feedback Control
A Noise Validation for Quantum Circuit Scheduling Through a Service-Oriented Architecture
Automatic Identification of High-Impact Bug Report by Product and Test Code Quality
Application of Graph Grammars in an Educational Software Engineering Game: A Case Study in Pragmatic Adoption
A Formalism for Structured Planning of a Software Project
Modeling and Analysis of Nanotips for Thermoelectric Coolers
A New Pattern-Based Flexible Approach for Maintaining a Constrained Workflow
Formal Specification and Prototyping of Multimedia Applications
A Case-Based Reasoning Approach for the Cybersecurity Incident Recording and Resolution
What Information is Relevant When Selecting Software Testing Techniques?
Parallel Combinatorial Algorithms for Multi-Sets and their Applications
Automating Functional Testing of Components from UML Specifications
Automatic Failure Analysis Using Safecharts
A Systematic Design Method For High Quality Process-Control Systems Development
Using Genetic Algorithms and Decision Tree Induction to Classify Software Failures
An Efficient Method to Generate Test Data for Software Structural Testing Using Artificial Bee Colony Optimization Algorithm
Question-Oriented Answer Summarization via Term Hierarchical Structure
Continuous CMMI Assessment Using Non-Invasive Measurement and Process Mining
Unified Cohesion Measures for Aspect-Oriented Systems
Approach to Predict Software Vulnerability Based on Multiple-Level N-gram Feature Extraction and Heterogeneous Ensemble Learning
A Framework for the Modeling and Prototyping of Distributed Information Systems
Embodying the Number of an Entity's Relations for Knowledge Representation Learning
Identifying Android Malware Using Fine-Grained Path Information from HIN
Argumentation Schemes for Collaborative Debate of Requirement Risks in Software Projects
Efficiency Improvement of Classification Model Based on Altered K-Means Using PCA and Outlier
A Tool for Creating Design Models from Web Site Code
External Knowledge Network-Based Patent Event Extraction Model
An Intelligent Control Architecture for Adaptive Service-Based Software Systems
Identifying Reusable Software Components by Induction
Improve Language Modeling for Code Completion Through Learning General Token Repetition of Source Code with Optimized Memory
Virtually Zero Delay Interaction Between Online Game Players Using Kalman Filter-Based Dead Reckoning with Density and Distance Gain Control Adaptation
A Novel Framework of Using Petri Net to Timed Service Business Process Modeling
Enabling Reliability-Driven Optimization Selection with Gate Graph Attention Neural Network
Enhance Solar Panel Efficiency with a Scale-Down Model and Using Artificial Intelligence (AI) Model
Knowledge and Experience Reuse Through Communication Among Competent (Peer) Agents
A Novel Method for Identifying Microservices by Considering Quality Expectations and Deployment Constraints
The Effect of Environmental Metrics on Software Fault Prediction
The Dsaw Aspect-Oriented Software Development Platform
Early Usability Measurement in Model-Driven Development: Definition and Empirical Evaluation
The Use of an Ontotrigger for Designing the Ontology of a Model Maturity Capsule
Knowledge Adaptability Evaluation in View of Patent Citation in Technological Evolutionary Process: A Case Study of Fuel Cell
Software Product and Process Assessment through Profile-Based Evaluation
Real-Time Object-Oriented Distributed Software Engineering and the TMO Scheme
Bp Neural Network-Based Effective Fault Localization
SOORLS: A Software Reuse Approach on the Web
Software Metrics in Software Engineering and Artificial Intelligence
Quantitative Measurement of Scientific Software Quality: Definition of a Novel Quality Model
Engineering via Discourse: Content Structure as an Essential Component for Multimedia Documents
Integrated Framework for Seamless Modeling of Business and Technical Aspects in Process-Oriented Enterprise Applications
Refactoring Legacy Software for Layer Separation
Verifiable Model Construction for Business Processes
Uml Representation for Rule-Based Application Models with XTT2-Based Business Rules
Usability Requirements Extraction Method from Software Document
Generating Test Cases of Composite Services Based on OWL-S and eh-CPN
Modeling under Local Structure Hypotheses
Software Evolution Rules with Condition Constrains to Support Component Type Matching Based on Bigraph
Regression Test Case Prioritization Based on Fixed Size Candidate Set ART Algorithm
Identifying Similar Users Based on Their Check-in Data: A Graph Embedding Approach
Proposing an Effective Artificial Neural Network Architecture to Improve the Precision of Software Cost Estimation Model
Trade-off Analysis for Requirements Selection
Object Modeling to Re-Engineer Legacy Systems
A Framework for Integrating Formal Specification, Review, and Testing to Enhance Software Reliability
Assessing Repository Technology: Where do We Go from Here?
Supporting Continuous Changes to Business Intents
Towards Composable Location Models in Ubiquitous Computing Applications
Understanding and Communicating It Security Specifications with Uml
Towards a Theory of Elaboration Tolerance: Logic Programming Approach
Comparing Two Hybrid Expert System Shells
Multimode Process Monitoring Based on Geodesic Distance
Cogito: a Methodology and System for Formal Software Development
Linking Design Model with Code
Search for Compatible Source Code
Automatically Exploring Hypotheses About Fault Prediction: A Comparative Study of Inductive Logic Programming Methods
Performance Evaluation of Imputation Methods for Incomplete Datasets
SyncAS: A Virtual Block Approach to Tame Asynchronous Programming
An Object-Oriented Security Knowledge Framework for the Nuclear Safety System Project
Monitoring cumulated Anomaly in Databases
A Comparison of Software Product Line Traceability Approaches from End-to-End Traceability Perspectives
A Tool For Analyzing Magnetoencephalography-Data Based On Different Artificial Neural Networks
Lecture Information Service Based on Multiple Features Fusion
Android-SRV: Scenario-Based Runtime Verification of Android Applications
Semi-Supervised Dynamic Classification for Intrusion Detection
Deriving System Complexity Metric from Events and its Validation
An Object-Oriented Development Method for Consumer Support Systems
VeRA: Verifying RBAC and Authorization Constraints Models of Web Applications
A Computation Model for Senior Citizen Health Self-Care
Linear Software Models: Standard Modularity Highlights Residual Coupling
Guest Editor's Introduction: Adding Pieces to the Software Evolution Puzzle
Enhancing Software Maintenance via Early Prediction of Fault-Prone Object-Oriented Classes
LevDetectCode: Zero-Shot Detection of AI-Generated Code Using Levenshtein Distance
Impact of Software Complexity on Development Productivity
Key Classes in Object-Oriented Systems: Detection and Assessment
Investigating Different Metrics for Evaluation and Selection of Mutation Operators for Java
Predictive Prefetching in Client-Server Systems: A Navigational Behavior Modeling Approach
An Empirical Study of Software Metrics for Assessing the Phases of an Agile Project
Maintaining Shared Workspaces Consistency during Software Development
Guest Editors' Introduction: Special Issue on Embedded Software Engineering
Architecture-Based Planning of Software Evolution
Organizing the Software Development Process Knowledge: An Approach Based on Patterns
Towards a Unified Version Model Using the Resource Description Framework (RDF)
Verifying Java Object Invariants at Runtime
A Bayesian Network Approach to Rational Architectural Design
Ranking Developers' Importance Factors Based on Team Leader Perspective
Generation of Tutorial Systems on PCs for Smartphone Apps
Extracting Prerequisite Relations among Concepts From the Course Descriptions (SEKEEO-RN)
Image-Based Approach to Determining Regression Test Results of Dynamic Web Applications
Creating Tools in a Software Environment Based on Graph Rewriting Rules
Equivalence Checking of Communicating UML Statechart Diagrams
A Novel Approach of Requirement Gathering and Analysis for Agent Oriented Software Engineering (AOSE)
Extended Association Rule Mining and Its Application to Software Engineering Data Sets
A Case Representation and Similarity Measurement Model with Experience-Grounded Semantics
Analysis and Design of programmatic Interfaces for Integration of Diverse Web Contents
Metric Selection for Software Defect Prediction
Redesigning Legacy Systems Into The Object-Oriented Paradigm
A Multiple-Layer Knowledge Management System Framework Considering User Knowledge Privileges
Flexible and Extensible Runtime Verification for Java (Extended Version)
Use of Journey Maps and Personas in Software Requirements Elicitation
The Evolution Mechanism of Correctness for Cyber-Physical System
Self-Explanatory Components: A New Programming Paradigm
The Development of an Embedded, Integrated Ins/Gps System
Categorization of Multiple Documents Using Fuzzy Overlapping Clustering Based on Formal Concept Analysis
A Metric for the Size Estimation of Object-Oriented Graphical User Interfaces
Measurement in Software Engineering: from the Roadmap to the Crossroads
Parametrization and Evaluation of Intermediate Level Obfuscator
Using Closed Patterns to Solve the Consensus Clustering Problem
Learning Frameworks in a Social-Intensive Knowledge Environment - An Empirical Study
Risk Management in Software Product Line Engineering: a Mapping Study
Dsp-Based Motion Control of a Non-Commutated Dc Linear Motor Module
Statistical Model Checking for Stochastic and Hybrid Autonomous Driving Based on Spatio-Clock Constraints
Alternatives to the Knowledge Discovery Metamodel: An Investigation
Knowledge Engineering of a Monitoring and Control Decision Support System
Using OCL in the Formal Specification of the Library Standards
The Rapid Development of A Closed-Loop Control System
Requirements Engineering Based on Knowledge Management: Theoretical Aspects and a Practical Proposal
Industrial Case Studies for Evaluating Search Based Structural Testing
Deliberative Evolution in Multi-Agent Systems
Adaptive Random Testing in Detecting Layout Faults of Web Applications
Formalization of Textual Use Cases Based on Petri Nets
Automated Staged Configuration with Semantic Web Technologies
Distributed Systems Management Software-in-the-Loop
Multi-Resource Modeling of Real-Time Software Based on Resource Timed Process Algebra
The Dynamical Models For Software Technology Transition
Automatic Image Completion with Structure Propagation and Texture Synthesis
Generalization and Instantiation for Component Reuse
Clean and Learn: Improving Robustness to Spurious Solutions in API Question Answering
Nimbus++: Revisiting Efficient Function Signature Recovery with Depth Data Analysis
Assisted Knowledge Base Generation, Management and Competence Retrieval
Benchmarking Whole Knowledge Graph Embedding Techniques
Dialogue Generation Model with Hierarchical Encoding and Semantic Segmentation of Dialogue Context
Linear Software Models: An Occam's Razor Set of Algebraic Connectors Integrates Modules into a Whole Software System
An Evolution-Based Approach to Program Understanding Using Cultural Algorithms
MTKeras: An Automated Metamorphic Testing Platform
Practices to Improve Risk Management in Agile Projects
Formal Specification and Analysis of an Agent-Based Medical Image Processing System
Software Defect Prediction Using Intertransaction Association Rule Mining
Translating OODB Method to RDB Routine
A Tool for Constructing Interactive Software
Multi-Key Index for Distributed Database System
Investigating the Relationship Between SLOC and Logical Database Measures to Improve the Early Estimation of Software Cost
Formal Transformational Program Developments Directed by Operational Properties Evaluations
A Systematic Review of the Empirical Validation of Object-Oriented Metrics towards Fault-proneness Prediction
Software Effort Estimation by Analogy Using Attribute Selection Based on Rough Set Analysis
Predicting Fault-Prone Modules in Embedded Systems Using Analogy-Based Classification Models
A Constraint Solver and Its Application to Path Feasibility Analysis
A Model-Based Evaluation Metric for Question Answering Systems
Towards Dynamic Evolution of Runtime Variability Based on Computational Reflection
Towards a Reusable Fault Handling in WS-BPEL
Investigating Two Approaches for Adding Feature Ranking to Sampled Ensemble Learning for Software Quality Estimation
Software Process Representation to Support Multiple Views
An Empirical Study on Rule Violation History of JavaScript Code Blocks on Stack Overflow
The Design of an Expert System for Domain Knowledge Engineering and Decision Making: A Case Study in the Criminal Justice System
Modeling and Selecting Frameworks in Terms of Patterns, Tactics and System Qualities
On the Measures of Success in Replication of Controlled Experiments with STRIDE
A Survey Of Xml Applications On Science And Technology
Flaky Test Detection Based on Adaptive Latest Position Execution for Concurrent Android Applications
Guest Editor's Introduction: 11th International Conference on Software Engineering and Knowledge Engineering (SEKE'99)
A Survey of Access Methods for Image Data
Rationalization of Business Software Systems Development and enhancement Projects Investment Decisions on the Basis of Functional Size Measurement
An Empirical Study of Development Visualization for Procurement by in-Process Measurement during Integration and Testing