yusuke1997/dblp-id-title huggingface dataset:
Applications of Machine Learning in Requirements Traceability: A Systematic Mapping Study (S)
Using NLP Techniques for Identifying GUI Prototypes and UML Diagrams From Use Cases
Using Coverage and Reachability Testing to Improve Concurrent Program Testing Quality
Associative program retrieval using partially-ordered behavioral abstractions of a program
Formal Specification and Model Checking of the BB84 Protocol in Maude (S)
An Intelligent Environment for Spacecraft Simulation
A Method for Verifying the Consistency of Business Rules Using Alloy
Noise Elimination with Ensemble-Classifier Filtering: A Case-Study in Software Quality Engineerin
Supporting configuration management for virtual workgroups ini a peer-to-peer setting
Pointcut Design with AODL
Post2Event: Extracting Key Events from Microblogs
Negotiating Software Acquisition Supported by Web Services in a Distributed Software Development Process
A Deep Spatio-temporal Residual Network Model for Commercial Activeness Prediction
A Data Filtering Method Based on Agglomerative Clustering
Design of Knowiedge-Based Integrity Systems with ISL++
Early Analysis of Modularity in Software Product Lines
Measurement of the Non-Technical Skills of Software Professionals: An Empirical Investigation
A deductive infrastructure for exploratory software evolution
Prototyping in the GEDBLOG System
Trajectory Similarity Computation based on Interpolation and Integration (S)
A Hybrid Modeling Paradigm for Simulating Existing Software and Its Execution Environment
Reconfiguration of Robot Applications using Data Dependency and Impact Analysis
Bug Prediction for Fine-Grained Source Code Changes
An Approach to Software Testing of Machine Learning Applications
A Requirement Traceability Refinement Method Based on Relevance Feedback
A Hybrid Coverage Criterion for DynamicWeb Testing (S)
A policy-based resource instantiation mechanism to automate software process management
A Systematic Mapping Study on Software Comments Analysis
Systematic Population, Utilization, and Maintenance of a Repository for Comprehensive Reuse
Integrity for Interfaces and Lambda Expressions with Static Analysis (S)
HaeNAS: Hardware-Aware Efficient Neural Architecture Search via Zero-Cost Proxy
Do More People Make the Code More Defect Prone?: Social Network Analysis in OSS Projects
MMGCRN: Multimodal and Multiview Graph Convolutional Recurrent Network for Traffic Prediction
Performance Evaluation of Component System based on Container style Middleware
Nested NL Representation for OO Analysis and Design
Recovering Valuable Information Behaviour from OSS Contributors: An Exploratory Study
Testing Android Applications Using Multi-Objective Evolutionary Algorithms with a Stopping Criteria
PZ Nets- A Formal Method Integrating Petri Nets with Z
Development of a Software Architecture for the Analysis of Geographic and Image-Based Data
Reasoning about Attribute Architectures
Blockchain-based Food Traceability System for Apulian Marketplace: Enhancing Transparency and Accountability in the Food Supply Chain (S)
Multi-model Based Optimization for Stream Query Processing
Sense-and-Respond Grid
CASE Approach in Telecom Software Development
Do Experienced Programmers put too Much Confidence in Comments?
Checking Contracts for AOP using XPIDRs
Empirical Studies Concerning the Maintenance of BPMN Diagrams: A Systematic Mapping Study
Using ontologies for federation of Web accessible databases
Deep Hashing with Large Batch Training for Cross-modal Retrieval
Modeling Reusable Security Aspects for Software Architectures: a Pattern Driven Approach
Analysis of Risk Dependencies in Collaborative Risk Management
Software configuration, distribution, and deployment of web-services
AI Technologies Supporting Effective Development Processes for Knowledge-based Recommender Applications
A Multi-Agent Model for a Business Continuity Information Network
Personalized Video Recommendation Based on Latent Community
Web Search Based on Ant Behavior: Approach and Implementation in Case of Interlegis
Applying cognitive dimensions to evaluate and improve the usability of Z formalism
An Optomized Concurrency Control Algorithm for Transaction Brocessing
Temporal Filter A Temporal Extension to Wireshark Display Filter
Bridging Semantic Gaps Between Stakeholders in the Production Automation Domain with Ontology Areas
Multiview Modeling in Software Engineering
Benchmarking the RDF(S) Interoperability of Ontology Tools
Unsupervised Anomaly Detection Based on System Logs
Mobility-based Runtime Load Balancing in Multi-Agent Systems
Stage-oriented Analysis on Factors Impacting Bug Fixing Time
Inconsistency-Induced Heuristics for Problem Solving
Multiparadigm Blackboard Framework
A Simulation-Based SDL Support System
Analyzing Program Comprehensibility of Go Projects
An Experimental Analysis for Classifying Specification Processes
PlugSPL: An Automated Environment for Supporting Plugin-based Software Product Lines
NKind: a model checker for liveness property verification on Lustre programs
On Abstraction Levels for Software Architecture Viewpoints
CFS: Enhancing Metadata Management in Cross-Domain File Systems with CRDTs
Conceptual Modeling of Software Requirements
Vulnerability Detection Based on Adapter Tuning and Enhanced Feature Learning
Reuse of Fixture Setup between Test Classes
Optimizing of an Object-Oriented File System (OOFS)
Visualizing Interactions in AngularJS-based Single Page Web Applications
Dealing with Web Service QoS factors using Constraint Hierarchy
Development of a Data Mining Education Framework for Visualization of Data in Distance Learning Environments
Pattern-based Decentralization and Run-time Adaptation Framework for Multi-site Workflow Orchestrations
Corrective Maintenance Process: a Case Study from a Telecom Software Development and Maintenance Organization
A COSMIC Measurement Procedure for BPMN Diagrams
Architectural Elements Recovery and Quality Evaluation to Assist in Reference Architectures Specification
Dissecting Scale-Out Applications Performance on Diverse TLB Designs (S)
Towards Lightweight Detection of Design Patterns in Source Code
Model-Based Metamorphic Testing: A Case Study
Using Conditional Probability to Measure Rule-based Knowledge Similarity
Formal specification of generative component assembly using two-level grammar
Dynamic Service Composition for Virtual UPnP Device Creation
Requirements Engineering Related Usability Techniques Adopted in Agile Development Processes
Representing Design Rationale to support Reuse
Supporting Agent- Oriented Software Engineering with UML
Adoption of Software Product Line Development to an Environment of Voice User Interface
A Nonparametric Software Reliability Model Based on Kernel Estimator and Optimum Algorithm
Using Version Spaces to Support Incremental Searches in a Software Library
Specification and Validation of Transactional Business Software: An Approach Based on the Exploration of Concrete Scenarios
Robust Network For Segmenting Roof Planes From Sparse Point Clouds (S)
Geometric Thumbnails For Web Searching
Reducing Mismatches in Syntax Coupled Hunks
An Overview of the RSLingo Approach
A Temporal Versions Model for Time- Evolving Systems Specification
Design of an RSS Crawler with Adaptive Revisit Manager
Combing Data Filter and Data Sampling for Cross-Company Defect Prediction: An Empricial Study
Knowledge for Software Maintenance
Requirements Analysis and Specification as a Problem of Software Automation
A Empirical Study on the Status of Software Localization in Open Source Projects
Belief: updating vs. combining
Tree Hash Under Concurrency Control
Reverse Engineering of Rule-based Systems
What's in Constructing a Domain Model for Sharing Architectural Knowledge?
Organizational Programming: Hierarchy Software Construction
Efficient Points-To Analysis for Partial Call Graph Construction
Towards Autonomic Business Process Models
Mode Based Type Inference for Prolog Programs
Dynamically Optimize Process Execution Based on Process-agent
A Best Method to Synthesize Very Large K-th Order Systems without Reachability Analysis (S)
Towards Accurate Knowledge Transfer between Transformer-based Models for Code Summarization
A Software Engineering Approach to Buildling Reusable Expert System
A simple method & tool for web engineering
PyM-FL: A Prototyping Approach for Multimodal Federated Learning
Scrum-based Approach for Analyzing Commonalities and Variabilities in Software Product Lines
A Comparative Study of Psychometric Instrumentsin Software Engineering
Follow-the-Sun Software Development: A Controlled Experiment to Evaluate the Benefits of Adaptive and Prescriptive Approaches
Adopting Agile Methods in the Public Sector: A Systematic Literature Review
A UML Profile Oriented to the Requirements Collecting and Analyzing for the Multi-Agent Systems Project
Toward Verification and Validation of Software Requirements
Zero-Shot Object Detection with Multi-label Context
The importance of dealing with uncertainty in the evaluation of software engineering methods and tools
Chinese Text Relation Extraction with Multi-instance Multi-label BLSTM Neural Networks
Modeling Complex Software Systems Using an Aspect Extension of Object-Z
Toward a UML Profile to Support Component-Based Distributed Adaptive Systems
Agent- Oriented Software Development: A Case Study
A Formal Approach for Translating a SAM Architecture to PROMELA
Verification Criterion Directed Testing for Formal Specifications
Ontologies of Software Artifacts and Activities: Resource Annotation and Application to Learning Technologies
Multistep Flow Prediction on Car-Sharing Systems: A Multi-Graph Convolutional Neural Network with Attention Mechanism
Generating Ontologies through Organizational Modeling
Attribute-Value based Reconfiguration Model for Sensor Network Environ
A test environment for Prolog
Applying Symbolic Execution to Semantic Code Clone Detection (S)
Identify MVC architectural pattern based on ontology
Exploring SOA Pattern Performance using Coupled Transformations and Performance Models
Software Architecture Decomposition Using Attributes
QoS-Optimized Integration of Embedded Software Components with Multiple Modes of Execution
Information systems development through social structures
Improving Negotiations through Fuzzy Cognitive Maps
Self-learning Change-prone Class Prediction
Improving Usability of Web Systems with Similar Business Objectives
Detecting Design Patterns As Described By An Explicit Specification (S)
Towards Constructing High-available Decentralized Systems via Self-adaptive Components
Context-Aware Model for Mining User Intentions from App Reviews
A Knowledge Base Management System on Relation Model and Term Rewriting
Software Product Lines System Test Case Tool: A Proposal
Software Architecture Rationale Capture through Intelligent Argumentation
Mapping of Conceptual Specifications into Object-Oriented Programs
Towards the Anonymisation of RDF Data
An Improved MFD based Regional Traffic Volume Dynamic Control
Modeling and Analyzing Publish Subscribe Architcture using Petri Nets
Sentiment Analysis of Online Reviews with a Hierarchical Attention Network
Two-Stage AST Encoding for Software Defect Prediction
Exploiting semantic aspects to evolve a text-based search on a legacy document management system
Assistance in the management of rule sets for rule-based expert systems (S)
Extraction of Patterns Using NLP: Genetic Deafness
Managed P2P - New Channel of Digital Media
Construction of global finite state machine for testing task interactions written in message sequence charts
Process metrics for system quality with specifications' shifts from a bid phase to an operation phase (S)
Modeling and Verifying Leader Election Algorithm in CSP (S)
Multi-level Anomaly Detection with Application-Level Data
A Model Driven Method for Data Warehouse
A Checklist for Evaluation of Reference Architectures of Embedded Systems (S)
Building on-line sales assistance systems with ADVISOR SUITE
A Framework for Query Processing Utilizing Knowledge
From Actors to Applications: Interpreting User Centered Design of Coordination Supports
Sprint Performance Forecasts in Agile Software Development - The Effect of Futurespectives on Team-Driven Dynamics
Automatic Audience Focusing by Event Interestingness (LATTICE) (P)
Slow Intelligence System and Network Management: a case study
From Glossaries to Ontologies: Disaster Management Domain(S)
The 27th International Conference on Software Engineering and Knowledge Engineering, SEKE 2015, Wyndham Pittsburgh University Center, Pittsburgh, PA, USA, July 6-8, 2015
An Empirical Study of the Maintenance Effort
A Web Service Reliability Model Based on Birth-Death Process
Decision Tables for Knowledge Acquisition during Goal Interpretation
A Publish-Subscribe based Architecture for Testing Multiagent Systems
Sharing Application Logic Across Programming Language Boundaries
Evaluating Large Language Models for Extracting Usability Issues from User Bug Reports
Measuring Similarity in Large-scale Folksonomies
Performance Analysis of the Active Object Pattern in Middleware
Improving a Web Usability Inspection Technique through an Observational Study
Performance Analysis of a Deductive Database with a Semantic Web Reasoning Engine: ConceptBase and Racer
Towards a Model-Driven Platform for Evidence based Public Health Policy Making
Knowledge-Based Software Engineering: A Different Approach
Using Change Entries to Collect Software Project Information
Secure Electronic Commerce with Mobile Agents
Classification by Multi-Perspective Representation Method
A Multi-Source TrAdaBoost Approach for Cross-Company Defect Prediction
Improving Cluster Selection Techniques of Regression Testing by Slice Filtering
Performance Challenges in Migrating to SOA Based Healthcare Systems
Software Quality Assurance Ontology from Development to Evaluation (S)
Automating a Domain Model Aware Reengineering Methodology
ABSTRE: A Multi-Feature Fusion Approach for Mobile App Review Classification
The SEAR Tool Suite: CASE for Expert System Development in OPSS
Cooperation of KBS development environments and CASE environments
User Profiling in the Chronobot/Virtual Classroom System
Software Warehouse and Its Management Strategies
An Adaptable Approach for Indoor Location
Formal Semantics for Object Oriented Systems
Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2003), Hotel Sofitel, San Francisco Bay, CA, USA, July 1-3, 2003
Using Cell Phones for Mosquito Vector Surveillance and Control
Modeling and Analyzing Hybrid Systems Using Hybrid Predicate Transition Nets (S)
A Knowledge Engineering Process for the Development of Argumentation Schemes for Risk Management in Software Projects
Schema modelling for automatic generation of multimedia presentations
A Pattern Methodology for Modeling Network Forensic Investigations in Converged Tactical Environments
NVMSorting: Efficient Sorting on Non-Volatile Memory
Phases, Activities, and Techniques for a Requirements Conceptualization Process
MDA-based Ontology Development: A Study Case
Automation support for concurrent software engineering
Using IFML for user interface modeling: an empirical study (S)
A Knowledge Processing Language and Its Parallel Inference System
A Synthesis of Two Process Support Approaches
The Implementation of Multi Agents Awareness System for CSCW UML CASE Tools
Diagnosing Runtime Violations of Security & Dependability Properties
Profiles for Convenient Front-end Privacy
Towards Quantifying Quality, Tactics and Architectural Patterns Interactions (S)
Automatic Clustering of Defect Reports
Estimating Event Lifetimes for Distributed Runtime Verification
TRAP.NET: A Realization of Transparent Shaping in .NET
Javawock: A Java Class Recommender System Based on Collaborative Filtering
Software Creation: Towards Automatic Software Design By Simulating Human Designers
Acquisition, Analysis and Validation of Informal Requirements
An Evolution Mechanism for Dynamic Physical Applications in the Internet of Things
GSAGE2defect: An Improved Approach to Software Defect Prediction based on Inductive Graph Neural Network
Modeling and Analysis of Switched Fuzzy Systems
Automatic Bug Triage using Semi-Supervised Text Classification
Low-Light Image Enhancement Based on Retinex Reflectance Compensation
Automated Generation of Concurrent Test Code from Function Nets
Keywords Extraction based on Sentence-Ranking from Chinese Patents
Detecting Machine-Generated Text in the Wild via a Hybrid Semantic-Statistical Model
Realization of Semantic Search Using Concept Learning and Document Annotation Agents
Amplifying Tests for Cross-Platform Apps through Test Patterns
Code Transformation Techniques and Management Architecture for Self-manageable Distributed Applications
Architectural transformations
Using Semantic Relatedness and Locality for Requirements Elicitation Guidance
Mining the Relationship between Object-Relational Mapping Performance Anti-patterns and Code Clones
ACNET: Attention-based Convolution Network with Additional Discriminative Features for DCM Classification (S)
An Environment for Specification, Simulation and Analysis of Distributed Object-Oriented Systems
How Does Acquirer's Participation Influence Performance of Software Projects: A Quantitative Analysis (S)
A Graph Proof Procedure for Real Time Logic
I/O Performance Isolation Analysis and Optimization on Linux Containers
Deriving Temporal Logic Specifications from Predicate Transition Petri Net
Architecture-based Reliability Analysis of Concurrent Software Applications using Stochastic Reward Nets
Formal verification of an abstract version of Anderson protocol with CafeOBJ, CiMPA and CiMPG
From software craft to software engineering: the Cleanroom method
Helping Software Engineers to Incorporate HCI Usability Features
Performance Analysis of a Web Server with Dynamic Thread Pool Architecture
Evaluating Software Developers' Acceptance of a Tool for Supporting Agile Non-Functional Requirement Elicitation
Cross-Project Defect Prediction via Transferable Deep Learning-Generated and Handcrafted Features
Structural Testing of Exceptions Handling (S)
Improved Software Engineering Decision Support Through Automatic Argument Reduction Tools
Facilitate IT-Providing SMEs in Software Development: a Semantic Helper for Filtering and Searching Knowledge
Reduction of a Knowledge Model
Evaluating the Impact of Vaccination on COVID-19 Using Model Checking
Study of the Relationships between Personality, Satisfaction and Product Quality in Software Development Teams
LTLf Satisfiability Checking via Formula Progression (S)
FBDtoVerilog: A Vendor-Independent Translation from FBDs into Verilog Programs
Knowledge Management in a Software Development Organization: Identifying Tools, Processes and Benefits
Knowledge Discovery Process for Description of Spatially Referenced Clusters
LSTMcon: A Novel System of Portfolio Management Based on Feedback LSTM with Confidence
Telling Stories about System Use: Capturing Collective Tacit Knowledge for System Maintenance
Dynamically Evolvable Composition of Aspects Based On Relation Model
Choosing a Software Architecture: An Approach and a Case Study
Exploring CQA User Contributions and Their Influence on Answer Distribution
Scriptless Behaviour Definition of Visual Objects
Evaluating the Effort of Integrating Feature Models: A Controlled Experiment (S)
Integrated Design of Object-Oriented Real-Time Control and Database Systems
Supporting Multiple Domains in a Single Reuse Repository
A Case Study of Software Process Improvement Implementation
Tree-Growth based Sequential and Associative Pattern Discovery
Rule-Based Approach to Business Modeling
Container-Based Component Deployment: A Case Study
Formal Aspect-Oriented Modeling and Analysis by Aspect
Towards a Novel Statistical Method for Generating Test Sets with a Given Coverage Probability
A Four-layered Semantic Grid Architecture
Specification reuse for safety-critical software
An approach to identify relevant subjects for supporting the Learning Scheme creation task
HHML: A Hierarchical Hybrid Modeling Language for Mode-based Periodic Controllers
Application of Neural Networks for Estimating Software Maintainability Using Object-Oriented Metrics
A Generic Shell-Specialized Knowledge Acquisition Tool for Developing Network Management Software
Future Research Directions for Software Engineering and Knowledge Engineering
Evolutionary Learning and Fuzzy Logic Applied to a Load Balancer
Reliable Web Service Selection based on Transactional Risk
Software Process Selection based upon Abstract Machines for Slow Intelligence Systems
Influence Factors in Software Productivity - A Tertiary Literature Review
Generating Linear Temporal Logic Formulas for Pattern-Based Specifications
A Model-Driven Development Framework for Geographical and Relational Database Systems
An Effective Method for Constructing Knowledge Graph to Search Reusable ROS Nodes (S)
Implementation-Oriented Testing and Reliability Determination of Prolog Programs
How do developers use C++ libraries? An empirical study
Morpheme-Enhanced Spectral Word Embedding
Using Design Cohesion to Visualize, Quantify, and Restructure Software
An Exploratory Study of Bug Prioritization and Severity Prediction based on Source Code Features
Automated Detection of Likely Design Flaws in N-Tier Architectures
Variational Autoencoder with Stochastic Masks to Solve Exposure Bias in Recommendation (S)
An Architecture for the Development of Ambient Intelligence Systems Managed by Embedded Agents
Bridging the Communication Gap: Sign Language Recognition Technology for the Speech and Hearing Impaired
Analysing Web Ontology in Alloy: A Military Case Study
Design Activity Agent: A Knowledge-Based Software Design Environment
A Framework for Mutation Testing of Machine Learning Systems (S)
From Strategy to Solution: A Lightweight Semi-prescriptive Approach for Software Development Lifecycle with Outsourcing Support
A Novel Approach of CTL Model Checking Based on Probe Machine
A Chronobot for Time and Knowledge Exchange and Management
An Empirical Study of Software Metrics Selection Using Support Vector Machine
Business-Object Oriented Requirements Analysis Framework for Data Warehouses
An Empirical Study about Software Architecture Configuration Practices with the Java Spring Framework (S)
On Criteria to Choose a Content Management System: A Technology Acceptance Model Approach
Feature modeling and Verification based on Description Logics
A visual approach to define XML to FO transformations
Scrum and Plan-driven Process Integration and its Impact on Effort Estimation
Optimal Variability Selection in Product Line Engineering
CKRL: A Connectionist Knowledge Representation Language
Formal Verification of UML 2.0 Sequence Diagram
OOMSE-An Object Oriented Markov Chain Specification and Evaluation Framework
Assisting Software Projects with Assignment Recomender Creation
Innovation Diffusion through Empirical Studies
A Novel Open Source Software Ecosystem: From a Graphic Point of View and Its Application
A Practical Study on Quality Evaluation for Age Recognition Systems
Vulnerability Detection Based on Pre-trained Code Language Model and Convolutional Neural Network
An Oracle based on Image Comparison for Regression Testing of Web Applications
Integrating Signature Matching into Knowledge-Based Program Understanding
Experiences of Generating COTS Components when Automating Medicinal Product Evaluations
Delphi: A Source-code Analysis and Manipulation System for Bricklayer
A Distributed Document Management Approach for Workflow Support in the DBSA Architecture
Saturated deductive systems for temporal specifications
Decision Support for Resource-centric Software Release Planning
Catastrophe Prevention in Safety-Critical Systems
Deep Data Anaylizing Application Based on Scale Space Theory in Big Data Environment
Translating OWL Specified Domain Knowledge to Aspect Oriented Model
Distributed BPEL Processes
A Framework For Building Knowledge-Intensive Data Models
Towards High Quality Recommendations: A Goal-Oriented and Ontology-Based Interactive Approach
CATESR: Change-aware Test Suite Reduction Based on Partial Coverage of Test Requirements
A Solution to the State Space Explosion Problem in Declarative Business Process Modeling (S)