yusuke1997/dblp-id-title huggingface dataset:
umlTUowl - A Both Generic and Vendor-specific Approach for UML to OWL Transformation
Lattice-Context Based Digital Paper Search
A context-aware approach on semantic trajectories (S)
Formal Software Architecture Design of Secure Distributed Systems
Using implications from FCA to represent a two mode network data
Combination of software development effort prediction intervals: why, when and how?
Integrating Challenge Based Learning Into a Smart Learning Environment: Findings From a Mobile Application Development Course (P)
A Method for Detection, Classification and Resolution of Discrepancies in Viewpoint-based Requirements Engineering
Towards a Representation of Enterprise Architecture based on Zachman Framework through OMG Standards (S)
DualATLog: Dual-mode Anomaly Transformer-based Log Anomaly Detection Framework for Securing Software Systems (S)
Executable Graphic Specifications in Automation Projects
Acquiring Design Schemas for Software Reuse
Empirical study upon software testing learning with support from educational game
A Constrained Particle Swarm Optimization Approach for Test Case Selection
Network Services via Reflective Architecture
LLM-Augmented KBQA: Robust Reasoning over Error-Prone Programs (S)
RiSE-DA: An Agile Domain Analysis Process and its Industrial Evaluation
Detecting Spammers from Hot Events on Microblog Platforms: An Experimental Study
Collaborative Development of System Architecture - a Tool for Coping with Inconsistency
What Information is Relevant when Selecting Testing Techniques?
External Knowledge Network based Patent Event Extraction Model
RoBF: An Auto-Tuning Bloom Filter for Mixed Queries on LSM-Tree
Comparative Evaluation of Programming Paradigms: Separation of Concerns with Object-, Aspect-, and Context-Oriented Programming (S)
Just-in-Time Defect Severity Prediction (S)
Building Ontology for Different Emotional Contexts and Multilingual Environment in Opinion Mining
Cricketbot -- A Configurable Human Interface Software Robot
Managing XML Versions and Replicas in a P2P Context
Stochastic Zélus: Stochastic Hybrid Modeling and Verification for Nuclear I&C System
Test Model and Coverage Analysis for Location-based Mobile Services
Enhancing Semantic Search of Crowdsourcing IT Services using Knowledge Graph
Towards a Comprehensive Understanding of Agile Teamwork: A literature-based Thematic Network
Contribution-based Test Case Reduction Strategy for Mutation-based Fault Localization (S)
An Ontology-Supported Case-Based Reasoning Technique for FAQ Proxy Service
A Document-based Parameter Correlation Metric for Test Design (S)
Detecting Emergent Behavior in Distributed Systems Using Scenario-Based Specifications
WBS: Weighted Backtracking Strategy for Symbolic Testing of Embedded Software
A Class-level Test Selection Approach Toward Full Coverage For Continuous Integration
Intelligent Contract Timestamp Vulnerability Detection Based on Key Control FlowGraph
No-Reference Point Cloud Quality Assessment via Weighted Patch Quality Prediction
Software Automation
A Knowledge-based Approach for Automating a Design Method for Concurrent and Real-Time Systems
APRImora: A Semantic Architecture for Patterns Reuse
Requirement Analysis Evolution through Patterns
Task Decomposition for Adaptive Data Staging in Workflows for Distributed Environments
Visual Scenarios for Validation of Requirements Specification
Interactive Visualization of Temporal Brain Connectivity Data based-on Frequent Feature Mining (S)
Revisiting the Performance of Weighted k-Nearest Centroid Neighbor Classifiers
KEMA: Knowledge-Graph Embedding Using Modular Arithmetic
Hierarchy Knowledge-aware Contrastive Learning for Recommendation
A Process Model for Software Process Management
Business Rules in the Real World: A Decision Support Approach
A Software Engineering Approach to User-Driven Control of the Microgrid
On A Simpler and Faster Derivation of Single Use Reliability Mean and Variance for Model-Based Statistical Testing (S)
Smart Contract Vulnerability Detection Based on Clustering Opcode Instructions
Introducing Automated Environment Configuration Testing in an Industrial Setting
Process tailoring based on well-formedness rules
Enhacing component reuse with control flow abstraction analysis
A Fast 3-D Visualization Methodology Using Characteristic Views of Objects
A Model-based Approach for Build Avoidance
Ontology-based and Evolutionary Search for Computational Agents Schemes
Effective Fault Localization using BP Neural Networks
An Ontology-based Approach for Storing XML Data Into Relational Databases
An Intelligent Process for Formulating and Anwering Project Queries
A Machine Learning Approach for Developing Test Oracles for Testing Scientific Software
A Prototype Experience Management System for a Software Consulting Organization
Software Creation: Implementation and Application of Design Process Knowledge in Automatic Software Design
A Dual Clustering Approach to the Extract Class Refactoring
PSRL: A New Method for Real-Time Task Placement and Scheduling Using Reinforcement Learning
Formalization and Verification of Data Auction Mechanism Based on Smart Contract Using CSP
Risk Analysis for Collaborative Systems during Requirements Engineering (S)
Learning organizational knowledge: an evolutionary proposal for requirements engineering
Verifying Timed and Linear Hybrid Rule-Systems with RED
Model Interpretation for Executable Observation Specifications
MuseCNN: Embedding-Guided Polyphonic Music Accompaniment Generation
Modeling and Analyzing Adaptive Energy Consumption for Service Composition
From Formal Requirements to Formal Design
AI-enabled Software Engineer: A Taxonomy of Challenges and Success Factors (P)
Quantifying the Relationship Between Health Outcomes and Unhealthy Habits
Sensor-Based Detection Approach for Passenger Flow Safety in Chinese High-speed Railway Transport Hub
Adapting Game Technology to Support Individual and Organizational Learning
Meta Context for Agent Planning
Sentiment Analysis of Name Entity for Text
MFGAN: A Novel CycleGAN-Based Network for Masked Face Generation
Active Ontologies - an Approach for Using Ontologies as Semantic Web Services Interfaces
Requirements debt: causes, consequences, and mitigating practices
Preliminary Thoughts Concerning The Interphase Activity of Requirement Migration
Towards a Network Ecology of Software Ecosystems: an Analysis of two OSGi Ecosystems
Generation of Thematic Maps using WPS-Cartographer: An experimental study (S)
The object-oriented development of a distributed multimedia environmental information system
Designing service negotiation entities for the electronic market-place
Communication on Requirements Elicitation and Interaction Design through SPIDe (S)
Computational Mechanisms for Distributed Requirements Engineering
MMWA-ae: boosting knowledge from Multimodal Interface Design, Reuse and Usability Evaluation
Specifications in Software Prototyping
Automating the Implementation of Mobile Applications and Services
An Information Retrieval Model using Query Expansion based on Ontologies in the Computer Science Domain
Parametric Verification of TimeWorkflow Nets
Developing Enterprise Applications with Support to Dynamic Unanticipated Evolution
Recommending Component by Citation: A Semi-supervised Approach for Determination
An Open System Protocol for Agent-Oriented Programming
The 32nd International Conference on Software Engineering and Knowledge Engineering, SEKE 2020, KSIR Virtual Conference Center, USA, July 9-19, 2020
A Fast Binary Tree Based Face Recognition Algorithm
An Introduction To The Recognition of Iterative Structures by a CASE Tool
Using the whole structure of ontology for semantic relatedness measurement
ASC4AI: A Novel Automatic Service Composition Framework for AI Systems (S)
Exploiting the kaleidoscope architecture in an industrial environmental monitoring system with heterogeneous devices and a knowledge-based supervisor
Consistency in Self-Reconfiguration of Self-Healing Systems
Investigating gaps on Agile Improvement Solutions and their successful adoption in industry projects - A systematic literature review
Developing Knowledge-Based Systems with Active Expert Participation
To Enlighten Hidden Facts in The Code: A Review of Software Visualization Metaphors
Unified Basic Concepts for Process Capability Models
Imagery Analyst's Assistant
Project Pulse: Enhancing Peer Evaluation and Team Accountability in Senior Design Projects
A Database-Independent Strategy for Confidence Determination
Debugging Logic-Based Requirements Specifications - a FRORL Approach
Automatic Generation of Virtual Assistants from Databases using Active Ontologies
Representing Textual Requirements as Graphical Natural Language for UML Diagram Generation
A Novel Way 1o Identify IneguaIity Query Subclasses Which possess the Homomorphism Property
QCC: A novel cluster algorithm based on Quasi-Cluster Centers
An empirical study on software engineering and software startups: Findings from cases in an innovation ecosystem
Modeling of Interlocking Systems based on Patterns
Decisions in Continuous Integration and Delivery: An Exploratory Study
Conceptual Integrity without Concepts
Semantic Analysis for Deep Q-Network in Android GUI Testing
TL-GAN: Generative Adversarial Networks with Transfer Learning for Mode Collapse (S)
Requirement Specifications For The AT8T 5ESS(R) Switch
Model Construction and Data Management of Running Log in Supporting SaaS Software Performance Analysis
An Information Flow Security Logic for Permission-Based Declassification Strategy
Architectural concerns in distributed and mobile collaborative systems
Customizing Aspect-Oriented Variabilities using Generative Techniques
An Efficient Algorithm to Identify Minimal Failure-Causing Schemas from Exhaustive Test Suite
The 28th International Conference on Software Engineering and Knowledge Engineering, SEKE 2016, Redwood City, San Francisco Bay, USA, July 1-3, 2016
A Hierarchical Agent-oriented Knowledge Model for Multi-Agent Systems
A research of ADHD resting-state brain functional networks based on minimum spanning tree and hierarchical graph clustering
A Framework for Solar Energy Applications Photovoltaic Systems
Unanticipated Connection of Components Based on Their State Changes Notifications
Extended Design Patterns in New Object-Oriented Programming Languages (S)
Business Modeling for Service Engineering: Toward an integrated Procedure Model
Exploratory Recommender Systems Based on Reinforcement Learning for Finding Research Topic
Analysis, Design and Implementation of an Agent Based System for Simulating Connected Vehicles
FedQP: Towards Accurate Federated Learning using Quadratic Programming Guided Mutation
Closing the Knowledge Engineering Gap
An Integrated Testing Framework for Object-Oriented Programs-Work in Progress
A HybridUML and QdL Based Verification Method for CPS Self-Adaptability
Enterprise Systems Development: Impact of Aspect Oriented Software Architecture
Proactive Problem Management and Event Correlation
Improving Usability Inspection Technologies for Web Mockups through Empirical Studies
Using Multi-feature Embedding towards Accurate Knowledge Tracing
Fine-Grained Neural Network Abstraction for Efficient Formal Verification
Recover and Optimize Software Architecture Based on Source Code and Directory Hierarchies (S)
Bag languages, concurrency, Horn logic programs, and linear logic
Commonality and Requirements Analysis for Mesh Generating Software
Refactoring of Object-oriented Package Structure Based on Complex Network
A Framework for Self-adaptive Software
Leveraging Rigorous Software Specification Towards Systematic Detection of SDN Control Conflicts (S)
Predicting Order of Likelihood of Defective Software Modules
Giving KBS an OO! - object-oriented techniques and KADS
Object-Oriented Design of a Distributed Blackboard Kernel
Web Service for Communication Service Management
Linear Software Models: An Algebraic Theory of Software Composition
Investigating Cognitive Workload during Comprehension and Application Tasks in Software Testing
Correlation Feature Mining Model Based on Dual Attention for Feature Envy Detection
Using Empirical Studies to Evaluate the REMO Requirement Elicitation Technique
Modeling and Verification of Autonomous Driving Systems under Stochastic Spatio-Temporal Constraints
Event Adaption for Integrating Distributed Applications
A Collaborative Forensic Framework for Detecting Advanced Persistent Threats
Reliability Oriented QoS Driven Composite Service Selection Based on Performance Prediction
Verification of Design Patterns with Object-Oriented Quality Models
Towards Quality Based Solution Recommendation in Decision-Centric Architecture Design
Timing Analysis for Microkernel-based Real-Time Embedded System
Case-based Framework Instantiation
Compiler Techniques for Data Driven Languages with Superlinear Speed-up
A temporal logic view of paradigm models
Assessing Workflow Ability of ERP and WfM Systems
Multi-Label Code Smell Detection with Hybrid Model based on Deep Learning
An Empirical Study on Limits of Clone Unification Using Generics
Text-Based Requirements Modeling Support System
Software Design Pattern Analysis for Micro-Service Architecture using Queuing Networks (S)
Predicting Software Project Size Using Project Generated Information
Automatic Test Generation for Database-Driven Applications
Altering Backward Pass Gradients to Improve Convergence (S)
CLOS: A Key Issue To Bridge the Gap Between Object-Oriented and Logic Programming
An Analysis Model of Activity Diagram in UML 2.0
The Influence of God Class and Long Method in the Occurrence of Bugs in Two Open Source Software Projects: An Exploratory Study (S)
Mapping CM3: Upfront Maintenance on CGE&Y's Process Model
Software Project Portfolio Selection A Modern Portfolio Theory Based Technique
Quantum Software Models: Quantum Modules Tomography and Recovery Theorem
Detecting and Modeling Method-level Hotspots in Architecture Design Flaws
Towards Merging Goal Models of Networked Software
Mediation Based Variability Modeling for Service Oriented Software Product Lines
Threat Intelligence Relationship Extraction Based on Distant Supervision and Reinforcement Learning
Towards More Generic Aspect-Oriented Programming: Rethinking the AOP Joinpoint Concept
Natural Language Processing to Quantify Security Effort in the Software Development Lifecycle
Pedagogy-oriented Software Modeling and Simulation of Component-based Physical Systems
Testing Concurrent Ada Program with Reproducible Test Cases
Modeling in strategic reengineering
SARNet: A Self-Attention Embedded Residual Network for Multiclass Classification of Chronic Wounds (S)
Connectors for Secure Software Architectures
An Extensible Framework to Implement Test Oracle for Non-Testable Programs
Prodigious Data, Logic, Processing, and Usage
Introducing Software Process Specification to Task Context (S)
Bayesian Estimation of Defects based on Defect Decay Model: BayesED 3M
Knowledge Representation in Automatic COBOL Programmer
Minimal Observability for Transactional Hierarchical Services
The 30th International Conference on Software Engineering and Knowledge Engineering, Hotel Pullman, Redwood City, California, USA, July 1-3, 2018
Structured hypertext for using and learning function point analysis
Two Models for Describing Software Design Process: Object-Centered Model and Phase-Centered Model
Comparison of Some Single-agent and Multi-agent Information Filtering Systems on a Benchmark Text Data Set
A Tool for Trade-off Resolution on Architecture-Centered Software Development
Quality Evaluation of Artifacts in Tailored Software Process Lines
Using Time Series Models for Defect Prediction in Software Release Planning
Parallelism Profiling of an Ops5 Production System Interpreter
Spatial-Temporal Forecast of the probability distribution of Oceanic Nino Index for various lead times
Component-oriented KBS
UML and Modeling A Use Case Model and its Transformation to Activity Diagram
Modularity for Logical Knowledge Bases
Resource Allocation for a Modular Software System
SIDD - SCRUM Iteration Driven Development: An Agile Software Development and Management Process Based on SCRUM (S)
Evaluation of Personalized Information Systems: Application in Intelligent Transport System
RustPruner: A Program Slicing Tool for Rust Programs
A Constraint Model for Automated Deployment of Automotive Control Software
Semantic Enabled Sensor Network Design
From Data to Knowledge: an Integrated Rule-Based Data Mining System
Software Engineering Strategies for Seamless Computing
DefDroid: Securing Android with Fine-Grained Security Policy
Analyzing Cyber-Physical Systems with Learning Enabled Components using Hybrid Predicate Transition Nets
Packaging Controlled Experiments Using an Evolutionary Approach Based on Ontology(S)
A Negotiation Model for the Process Agents in an Agent-Based Process-Centered Software Engineering Environment
Automated Risk Assessment for Managing Software Projects
Mapping UML Diagrams to a Petri Net Notation for System Simulation
Copy and Paste Behavior: A Systematic Mapping Study
Building Global Ecosystem for Collaborative Computing Research and Education
TCO: a Tool to map Communication components to Objects
ASTD: Automatic Seasonal-Trend Decomposition for Time Series
Selection and Reuse of Software Design Patterns Using CBR and WordNet
Testing Configurable Architectures For Component-Based Software Using an Incremental Approach
Towards a Unified Framework for Measuring the Properties of Class Diagrams Augmented with OCL (S)
Towards a New Generation of Program Synthesis Approaches
How Will ZNS SSDs Perform on Real Key-Value Stores? An Experimental Test of RocksDB
Analyzing the Applicability of a Theoretical Model in the Evaluation of Functional Size Measurement Procedures
SDA-FirmFuzz: Fuzz Testing IoT Device Firmwares Based on Seed Differential Analysis
Specification and Verification of Agent Interaction Protocols
Algebraic Higher-Abstraction for Software Refactoring Automation
Reuse of UML Class Diagrams Using Case-Based Composition
Distributed API Protocol Mining
Detect Stack Overflow Bugs in Rust via Improved Fuzzing Technique
Automated Nursing Knowledge Management Using Indexing
System Design as Derivation via Rewriting
Estimating the Effort of Independent Verification and Validation in the Context of Mission-critical Software Systems - A Case Study
ABEY: an Incremental Personalized Method Based on Attribute Entropy for Recommender Systems (S)
Timing analysis of real-time software systems using fuzzy time Petri nets
NuSense: A Sensor-Based Framework for Ambient Awareness applied in Game Therapy Monitoring
Assessing a Framework of Comparing Architecture Review Methods Using CMMI
DeepController: Feedback-Directed Fuzzing for Deep Learning Systems
JAAF: A Framework to Implement Self-adaptive Agents
A Cross-Layer Design for Adaptive Multimodal Interfaces in Pervasive Computing
Using Data Mining Schemes for Improvement on System Performance in Virtual Environments
Apprenticeship Learning of Domain Models
LAD: A Layout Anomaly Detector for Android Applications
A Layered Architecture to Manage Complex Multimedia Services
Applying Logic Programming Techniques to Object-Oriented Modeling in UML
SciprovMiner: Provenance Capture Using the OPM Model
Intelligent Software Agent Design Issues with Extensions to the Descartes Specification Language
Modeling and Verifying NDN-based IoV Using CSP
A Light Weight Alternative for OLAP
An empirical study on the impact of Python dynamic features on change-proneness
Rigorous Description of Software Requirements with UML
Enhanced BERT with Graph and Topic Information for Short Text Classification (S)
DCBlock : Efficient Module for Unpaired Image to Image Translation Using GANs
Expertsheets: A Spreadsheet Paradigm for Authoring Expert Systems
Ride Hailing Service Demand Forecast by Integrating Convolutional and Recurrent Neural Networks
Explaining Product Release Planning Results Using Concept Analysis
An Empirical Study on the Impact of Class Overlapin Just-in-Time Software Defect Prediction (S)
A Session-based Job Recommendation System Combining Area Knowledge and Interest Graph Neural Networks
A Patent Data Meta-Path based Technological Risk Prediction Method
A Goal-Driven Method for Selecting Issues Used in Agent Negotiation
Image retrieval based on structural and textual context
A Behavior Marker tool for measurement of the Non-Technical Skills of Software Professionals: An Empirical Investigation
Software Development Effort and Quality Prediction Using Bayesian Nets and small Local Qualitative Data
Regression Testing Prioritization Based on Fuzzy Inference Systems
Using Critiquing Systems for Inconsistency Detection in Software Engineering Models
Service Creation and Composition for Realization On Service-oriented Architecture
The Tool Development Language TDL for the Software Development Environment WSDW
Formal verification of Anderson mutual exclusion protocol by introducing an auxiliary variable (S)
Formalization and Verification of Dubbo Using CSP
Knowledge management in next generation networks
Dynamic Pattern Knowledge in Software Engineering
A Query Language of Data Provenance Based on Dependency View for Process Analysis
MAAEM: a Multi-agent Application Engineering Methodology
How Does Refactoring Affect Understandability of Business Process Models? (S)
Decision Support for Staffing of the Next Software Product Release
SocialGQ: Towards Semantically Approximated and User-aware Querying of Social-Graph Data
Quantifying and Assessing the Merge of Cloned Web-Based System: An Exploratory Study
Integrating Web Information to Generate Chinese Video Summaries
Truth Eliciting Mechanisms for Trouble Ticket Allocation in Software Maintenance Services
Ontology-based Process Modeling and Execution Using STEP/EXPRESS
Mapping CommonKADS Knowledge Models into PRR
Recovering Three-Level Architectures from the Code of Open-Source Java Spring Projects (S)
Improving the Cost Effectiveness of Software Inspection Teams: An Empirical Investigation
Forward Engineering Completeness for Software by Using Requirements Validation Framework (S)
A WordNet-based Semantic Similarity Measure Enhanced by Internet-based Knowledge
Analyzing The Impact Of Feedback In GitHub On The Software Developer's Mood
Analyzing Complex Data in Motion at Scale with Temporal Graphs
Challenges in COTS decision-making: a goal-driven requirements engineering perspective
A Data Warehouse Architecture in Layers for Science and Technology
Constructing Subtle Concurrency Bugs Using Synchronization-Centric Second-Order Mutation Operators
Recovering Software Architectural Knowledge from Documentation using Conceptual Model
A Systematic Process for Domain Engineering
Empirical Analysis for Investigating the Effect of Control Flow Dependencies on Testability of Classes
Short Review of Intention Mining in Social Crisis Management through Automatic Technologies
Smooth Quality Oriented Component Integration through Product Line Based Aspect-Oriented Component Adaptation
ROADS: A Reusable, Optimizable Architecture for Decision Systems
A Dedicated Process Design Language based on EER-models, Statecharts and Tables
Temporal Logic Properties of Java Objects
Finding Interesting Knowledge in Object-Oriented Frameworks for Semantic Query Optimization
Developing and Analyzing Classification Rules for Predicting Faulty Software Components
SADA: Improved Data Symbolization and Optimization Method on HAR from Microscopic Perspective
Tracking degradation in software product lines through measurement of design rule violations
An Approach to lightweight deployment of web services
An Empirical Study on Modularization of Object Oriented Software
Towards Reference Architecture for a Multi-layer Controlled Self-adaptive Microservice System
Discovering Meaningful Clusters from Mining the Software Engineering Literature
Proceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering (SEKE'2011), Eden Roc Renaissance, Miami Beach, USA, July 7-9, 2011
Argumentation Schemes for the Collaborative Debate of Requirement Risks in Software Projects
Extracting More Object Usage Scenarios for API Protocol Mining
A Simplified Method for Automatic Verification of Java Programs
Agent-based Simulation Model for the Evolution Process of Open Source Software