yusuke1997/dblp-id-title huggingface dataset:
Domain Specific Problem Description
Implementing Agile Development - More than Changing Methodology
AESPrompt: Self-supervised Constraints for Automated Essay Scoring with Prompt Tuning
Self-Adaptive software changes analysis method based on "Detection-Recognition" Mechanism (S)
FOODIE: A Data-centric Sifting Framework for Social Media Analytics
A logic-based approach for automatic synthesis and maintenance of web sites
The Reuse of Software Design and Software Architecture
PSP support component integrated into a web project management environment
CLARA: AContext-Aware Drug Recommendation Framework Using Multi-Level Integration of Large Language Models and Graph Neural Networks
Key Issues and Metrics for Evaluating Product Line Architectures
An Analytical Framework for Consistency Maintenance Mechanisms in Collaborative Editing Systems
Quality Assurance of Specification - The Users Point of View
XAHM: an adaptive hypermedia model based on XML
Using Software Engineering Principles to Design Intelligent Cooperative Systems
Controlling Restricted Random Testing: An Examination of the Exclusion Ratio Parameter
Progressive Clustering with Learned Seeds: An Event Categorization System for Power Grid
Safe-by-Design Development Method for Artificial Intelligent Based Systems
How Semantical Design Languages Help to Preserve Specification/Design-Consistency
Case Study: EasyCODE - A Language Independent Visualization Tool for Reengineering
Model-based Verification of Safety-Critical Systems
MoLVERIC: An Inspection Technique for MoLIC Diagrams
Software Visualization in the Year 2000
Improved Multiple Part Algorithm (IMPA) to extract multiple solutions for RNA sequence classification problem
System Architecture of a Train Sensor Network for Ubiquitous Safety Monitoring
Translation of UML Models to Object Coloured Petri Nets with a view to Analysis
A Unified Approach to Requirements Specification and System Analysis in the Design of Knowledge-Based Systems
A Collaborative Method to Reduce the Running Time and Accelerate the k-Nearest Neighbors Search
Formal Verification of COCO Database Framework Using CSP
Analyzing Manufacturing Process Knowledge Flows with KoFI
OCL Evaluation on AUTOSAR Model
An Ensemble Approach to Detect Code Comment Inconsistencies using Topic Modeling
Mobile Applications: The Paradox of Software Estimation
Architectural Model for Designing Agent-based System
Infrastructure Based on Template Engines for Automatic Generation of Source Code for Self-adaptive Software Domain
An Empirical Exporatory Study on Inferring Developpers' Activities from Low-Level Data
Multi-Scale Feature Extraction with Supervised Contrastive Learning for Vulnerability Detection
A Dynamic Adjusting Method for Test Case Prioritization
A Study of the Approximate Shortest Distance Route for the Construction Walk of Welding Robot
SAMAT - A Tool for Software Architecture Modeling and Analysis
LearnMiner: deductive, tolerant agents for discovering didactic resources on the web
SEKE'93, The 5th International Conference on Software Engineering and Knowledge Engineering, Tutorials, June 14-15, 1993, Technical Program, June 16-18, 1993, Hotel Sofitel, San Francisco Bay, USA
Feature Modeling for Context-Aware Software Product Lines
Plan Integration in Knowledge-Based Software Environments
Modeling HiBrinto Ontology to Develop Knowledge Management Portal for Highway Bridge Construction
Synchronization Complexity Metric
The multi-core programming challenge
ONTO-ResAsset Development: An Ontology for Reusable Assets Specification and Management
Learning Software Organizations, Methodology and Applications, 11th International Conference on Software Engineering and Knowledge Engineering, SEKE'99, Kaiserslautern, Germany, June 16-19, 1999, Proceedings
Identification of Design Patterns Using Dependence Analysis
An Evaluation of Tie-Breaking Strategies for Fault Localization Techniques
A Petri Net Semantics for Logic Programs with Negation
Forecasting Fault Events in Power Distribution Grids Using Machine Learning
Active Connectors for Component-Object based Software Architecture
Conceptual Software: The Theory Behind Agile-Design-Rules (S)
An Empirical Study on Research and Developmental Opportunities in Refactoring Practices
Graph Grammar Based Web Data Extraction
Towards a Unified Metrics Suite for JUnit Test Cases
Formal Verification of Scalable NonZero Indicators
A Semantic-based Semi-automated Role Mapping Mechanism (S)
Exploring the Influence of Feature Selection Techniques on Bug Report Prioritization
Automatic bug triage using text categorization
A Graph-Based Model for Dynamic Process Nets
A Genetic Approach for Software Architecture Recovery from Object-Oriented Code
HESA: The Construction and Evaluation of Hierarchical Software Feature Repository
Formal verification of multitask hybrid systems by the OTS/CafeOBJ method
A Framework for Trajectory Data Preprocessing for Data Mining
A Virtual Catalyst in the Knowledge Acquisition Process
Algebraic Convergence to Software-Knowledge: Deep Software Learning (P)
A process for verification based inspections
Improving the Early Rumor Detection Performance of the Deep Learning Models By CGAN
Fake News Detection with Context Awareness of the Publisher
BDC-FR: Faster R-CNN with Balanced Domain Classifier for Cross-Domain Object Detection (S)
An Evaluation Study of Architectural Design Decision Paradigms in Global Software Development
Agent Technology Portfolio Manager
Using the Normalized Levenshtein Distance to Analyze Relationship between Faults and Local Variables with Confusing Names: A further Investigation (S)
The Dynamic Casteship Mechanism for Modeling and Designing Adaptive Agents
Kencode: A Novel Methodology for Voice-Based Programming
Knowledge Sharing through a Simple Release Planning Method for Web Application Development
A Multiagent System for Automate Detection and Diagnosis of Active Tuberculosis on Chest Radiograph and CT Thorax
Discovering Indicators for Classifying Wikipedia Articles in a Domain - A Case Study on Software Languages
Improvement of User Review Classification Using Keyword Expansion (S)
FiGD: An Open Source Intellectual Property Violation Detector
A Framework to Build Bayesian Networks to Assess Scrum-based Development Methods
Automatically Evaluating the Efficiency of Search-Based Test Data Generation for Relational Database Schemas
An Environment for Software Reusability
Automating Business Intelligence Recovery from a Web-based System
Decision support for extreme programming introduction and practice selection
Specification and Validation of Fault-Tolerant Software Architectures Based on Actor Model
TDR System - A Multi-Level Slow Intelligence System for Personal Health Care
A Regression Test Technique for Analyzing the Functionalities of Service Composition
Web engineering: managing the complexity of web systems development
On Conducting Tests in Software Engineering Courses during the COVID-19 Pandemic (S)
Do Scale Type Techniques Identify Problems that Affect User eXperience? User Experience Evaluation of a Mobile Application (S)
Knowledge Engineering in Concurrent Engineering and Experience Factories
Clarifying the Relationship between Software Architecture and Usability
Runtime Code Reuse Attacks: A Dynamic Framework Bypassing Fine-Grained Address Space Layout Randomization
Mining Features from the Object-Oriented Source Code of a Collection of Software Variants Using Formal Concept Analysis and Latent Semantic Indexing
WECAP: A Web Environment for Project Planning
Improving Component Container Development Process through Product Line Engineering
Panelists: Software Visualization through Active Presentation
Integrating Software Engineering and Knowledge Engineering to Design Interactive Systems
A 2D-barcode Based Mobile Advertising Solution
Exploiting Computational Redundancy for Efficient Recovery from Soft Errors in Sensor Nodes
Evaluation of Chatbots Usability Experimentation (S)
More Expressive Temporal Logic for Specifications
Using Service-oriented Architectures for Socio-Cultural Analysis
GraphFusion: A Hybrid Semantic-Symbolic Retrieval Approach to NL2Cypher Translation for Domain-Specific KGQA using LLM
Evaluating Visual Explanation of Bug Report Assignment Recommendations (S)
Cost-based Analysis of Multiple Counter-Examples
Reengineering a Rule-Based System towards a Planning System
Correctness of Full First-Order Specifications
Physical Artifacts for Agents in a Cyber-Physical System: A Case Study in Oil & Gas Scenario (EEAS)
Reducing the Number of Test Cases for Performance Evaluation of Components
Towards Mobility Support in Smart Environments
Recovering object classes and inheritance relationships from existing code
Using Blockchain to Preserve Chain of Custody: Cloud Forensics Analysis (S)
Incremental Construction of Topic Hierarchies using Hierarchical Term Clustering
SEKE'92, The 4th International Conference on Software Engineering and Knowledge Engineering, June, 15-20 1992, Capri, Italy
Automatic Acquisition of isA Relationships from Web Tables
SolDetector: Detect Defects Based on Knowledge Graph of Solidity Smart Contract
Supporting Inheritance in Relational Database Systems
QoSPL: A QoS-Driven Software Product Line Engineering Framework for Distributed Real-time and Embedded Systems
Partial Evaluation for the Understanding of FORTRAN Programs
Patterns for web applications
Formal Analysis of Workflow Systems with Security Considerations
Ontology-Related Services in Agent-Based Distributed Information Infrastructures
Application of an Evaluation Framework for Analyzing the Architecture Tradeoff Analysis Method
Updating Styles Challenge Updating Needs within Component-based Software Architectures
Modeling Software Objects Using Hypergraph
PAFL: Fault Localization via Noise Reduction on Coverage Vector
Avoiding Bad Smells in Aspect-Oriented Software
A Method to Analyze High Level Petri Nets using SPIN Model Checker
Ethereum Smart Contract Representation Learning for Robust Bytecode-Level Similarity Detection
Class Diagram Retrieval with Particle Swarm Optimization
An Analysis of the State of the Art of Machine Learning for Risk Assessment in Software Projects (S)
Using QVT for adapting question analysis to restricted domain QA systems
Analyzing the Software Development Process with SyQL and Lagrein
Comparing the Use of Traditional and Associative Classifiers towards Personalized Recommendations
An Enhanced Data Augmentation Approach to Support Multi-Class Code Readability Classification
Fuzzy Bi-Objective Particle Swarm Optimization for Next Release Problem (S)
Inspection Support System for UML Diagram
A Formal Foundation of Code Pattern Based Development
Evaluating the Relationship of Personality and Teamwork Quality in the Context of Agile Software Development
Temporal Reasoning in a Medical Expertise
Visual Language Syntax and Semantics for Complex Reactive System
A Security Domain Model for Static Analysis and Verification of Software Programs
Knowledge Transfer between Senior and Novice Software Engineers: A Qualitative Analysis
Software Defect Prediction via Positional Hierarchical Attention Network (S)
A recommender system to assist conceptual modeling with UML
Fault-Based Testing of Data Schemas
Bug Inducing Analysis to Prevent Fault Prone Bug Fixes
Synchronized Data Acquisition from Web Services Serving at Disparate Rates
A Reuse-based Spatial Data Preparation Framework for Data Mining
Automatic Class Matching to Compare Extracted Class Diagrams: Approach and Case Study
Using Deep Learning Classifiers to Identify Candidate Classes for Unit Testing in Object-Oriented Systems
Privacy-preserving Classification of Data Streams
Knowledge Reuse for Software Reuse
Engineering an Ingres Active Database using Conceptual Design Knowledge Elements
Testing Configurable Component-Based Software - Configuration Test Modeling and Complexity Analysis
MBR-MDA: Multi-person Behavior Recognition Method Based on Multi Descriptors Aggregations
Application of Slow Intelligence Framework for Smart Pet Care System Design
Plan-Based Guidance for Knowledge-Based Software Engineering
Fault Injection Testing of User-space File Systems Using Traditional and Aspect-based Techniques
Object-oriented Software Modeling with Ontologies Around - A Survey of Existing Approaches
A Case Study of Knowledge Engineering in the Application Area of Elliptic Partial Differential Equations (PDE's)
Explicit Domain Knowledge Model in Geographic Information Systems
Engineering Formal Requirements: Analysis and Testing
Parallel Execution Optimization of GPU-aware Components in Embedded Systems
A multilevel learning management system
Some Experiments on Test Case Tracebaility
Dynamic Architecture-Implementation Mapping for Architecture-Based Runtime Software Adaptation
Validating A Layered Decision Framework for Cost-Effective Network Defense
Quantitative WinWin: a new method for decision support in requirements negotiation
TSRR: A Software Resource Repository for Trustworthiness Resource Management and Reuse
Distributed Intelligent Control and Management: Concepts, Methods and Tools for Developing DICAM Applications
Random Visual GUI Testing: Proof of Concept
Rule firing with metarules
Modeling and verifying multi-agent behaviors using predicate/transition nets
Extending UML to Visualize Design Patterns In Class Diagrams
Classification of Design Pattern Traits
A metrics-based comparative study on object-oriented programming languages
Multi-Domain Feature Representation, Multi-Dimensional Feature Interaction for Person-Job Fit
Processing Manipulations of Context Information on the Web
A visual logic specification of flexible manufacturing systems
A Preliminary Study on the Explicitness of Bug Associations
Designing a Distributed Systems Architecture Testbed for Real-Time Power Grid Systems
A precedence-based approach for proactive control in software process modelling
FSCR: A Feature Selection Method for Software Defect Prediction
A Graph Transformation-based Approach to Task Allocation in Wireless Sensor Actor Networks
AN.P2P - an Active Peer-to-peer System
Research on Directed Grey-box Fuzzing Technology Based on Target (S)
Tools for validation and simulation of Estelle/Ag specifications
Singular Formulas for Compound Siphons, Complementary Siphons and Characteristic Vectors for Deadlock Prevention in Cloud Computing
Ontology-learning Supported Sematic Search Using Cooperative Agents
Endowing NoSQL DBMS with SQL Features Through Standard Call Level Interfaces
Adapting Multidimensional Schemes to Data sources using Algebraic Operators
Multi-Frames Temporal Abnormal Clues Learning Method for Face Anti-Spoofing
Effectiveness of Automated Function Testing with Petri Nets: A Series of Controlled Experiments
Enhanced Random Testing for Programs with High Dimensional Input Domains
iPass: An Integrated Framework for Educating, Monitoring and Enforcing Password Policies for Online Services
Datawarehouses design: effectivity of the star schema
Towards Effectively Appraising Online Stores
Research and Implementation of Service-oriented Architecture Supporting Locationbased Services on Sensor Networks
A Unified Framework for Knowledge Representation: A Formal Object-Oriented Approach
ProTest: A Knowledge Analysis Tool for the Development of Expert Systems
Argumentation Understood as Program Synthesis (S)
Optimizing Complex Objects Queries in A Visual Data Manipulation Language
An Efficient Design Smell Detection Approach with Inter-class Relation (S)
A Real-Time Ride-Sharing Matching Framework Using Simulated Annealing Genetic Algorithm
Generating Abstract User Interfaces from an Informal Design
Semantic Conflicts Detection in Model-driven Engineering
Detecting Semantic Equivalence in UML Class Diagrams
An Adaptive Management Framework for Service Brokers in Service-oriented Architecture
An Efficient Lossless Graph Summarization Method for Large Streaming Graphs
Two-Level Smart Search Engine Using Ontology-Based Semantic Reasoning
UML Modelling Web Applications via Formal Concept Analysis
Patent Concept Standardization Prediction Model
A Deep Classification of Temporal Versioned Integrity Constraints for Designing Database Applications
Formal Specification and Model Checking of A* Algorithm
Model Transformation for Frameworks Using Logical Planning
Supporting Tool for Cooperative Specification Processes
A Log-Assisted Approach Enforcing Consistency in the Presence of Exceptions
Towards Fine-Grained Compiler Identification with Neural Modeling
Improving Database Learning with an Automatic Judge
On Variants of Genericity
Making the link between strategy and process model collections: a multi-layered approach
Integrating Trust Management into Usage Control in P2P Multimedia Delivery
Re-engineering Software Development Process for eBusiness Application Development
Industry-wise Analysis of Security Breaches in Data Loss Incidents
Design of Wrapper for Self-Management of COTS Components
Incremental, High Level Implementation of Prolog in an Open System Framework
Expansion Mechanism for Runtime Verification of Self-adaptive Systems
Is the Number of Faults Helpful for Cross-Company Defect Prediction?
A Methodology of Automated Realization of a Software Architecture Design
A Model for Component-Based Courseware Development (CBCD)
Implementation of a Remote Checkpointing System for Windows NT Applications
Prudent Practices for Designing Virtual Desktop Experiments
Exploiting architectural design knowledge to support self-repairing systems
A Resource Management Architecture For Exposing Devices as a Service in the Internet of Things
Intertwining Implementation with the RealSpec Executable Real-Time Specification Language
Negotiating Service Levels - A Generic Negotiation Framework for WS Agreement
Operations for Evolving Specifications
An Example on Economics-driven Software Mining
An Approach for Collecting Real Estate Development News (P)
Development and Programming of Deductive Databases with PROTOS-L
Revolutionizing Lip Reading: The Power of Temporal Attention (S)
DKDs: An Ontology-based System for Distributed Teams
Assessing RBFN-Based Software Cost Estimation Models (S)
Reactive Variability Realization with Test Driven Development and Refactoring
The Role of Knowledge in Software Customization
Testing Network Protocols: formally, at runtime and online
Integrated Process Description and Execution in Manufacturing Environments
Design Rationale in Academic Software Development: Requirements for a Representation Model
An Empirical Study of Coding Style Compliance on Stack Overflow
Using Feature-Oriented Analysis to Recover Legacy Software Design for Software Evolution
Using peak analysis for identifying lagged effects between software metrics
Patterns for Reuse in Production Systems Engineering
Reducing Test Cases with Causality Partitions
Quantitative Reasoning of Goal Satisfaction in the i*Framework
Choosing Licenses In Free Open Source Software
VisRFID: Visualizing Customer Behavior in Geotemporal Space Using RFID Technology
A proposal for the improvement of the technique of Earned Value Management utilizing the history of performance data
Who Should Close the Questions: Recommending Voters for Closing Questions Based on Tags
Chinese Sentence Semantic Matching With Multi-Granularity Based on Siamese Neural Network
Finding Shilling Attack in Recommender System based on Dynamic Feature Selection
Analyzing the Relationship of Process Metrics And Classified Changes - A Pilot Study
Modeling Framework for Developing and Testing Network Security Techniques against DDoS Attacks
A High-Level Petri Net for a Subset of FGHC
Achieve Semantic-based Precise Component Selection via an Ontology Model Interlinking Application Domain and MVICS
System of Systems Requirements: A Systematic Literature Review using Snowballing
A Simpler and More Direct Derivation of System Reliability Using Markov Chain Usage Models
Understanding the popularity of reporters and assignees in the Github
Operationalizing Application Descriptions in DTC: Building Applications with Generalized Markup Technologies
The Development of Hybrid Information Systems: a Process Model an Methodology
Building a Large-scale Software Programming Taxonomy from Stackoverflow
WSTester: Testing Web Service for Behavior Conformance
Using Security Patterns to Tailor Software Process
Design of a Fault-tolerant Job-flow Manager for Grid Environments Using Standard Technologies, Job-flow Patterns, and a Transparent Proxy
A product focused, layered software development framework
Real-Time Mining of Partial Periodic Patterns
A Pattern-like Framework to Dynamically Change Components Behaviour
Environment-Aware Software Engineering
Applying Mutation Testing in XML Schemas
Efficiency and portability: guidelines to develop websites
Empirical Comparison of Intermediate Representations for Android Applications
A Proposal for a Decentralized Multi-Agent Architecture for Virtual Enterprises
Capturing Antagonistic Stakeholder Value Propositions in Value-Based Software Development
MERA: Meta Language for Software Engineering
A Content-Based Approach for Recommending UML Sequence Diagrams
Exploring Relevance and Coherence for Automated Text Scoring using Multi-task Learning
VESTA: A View-based Software Quality Assessment Model for Software Evolution Management
A Novel Method of Mutation Clustering Based on Domain Analysis
Supporting Reusable Component Selection with Use Case Gap-based Development Effort Estimation
Automatic Layout of Diagrams for Software Specification
Exploring Architectural Design Decision Management Paradigms for Global Software Development
Software Model Connectors: Bridging Models across the Software Lifecycle
RiPLE-TE: A Process for Testing Software Product Lines
Understanding the Pre-Contract Process of Small Software Projects
Multi-Layer Repertory Grid Classification for Increasing Software Reusability
A Multi-Agent Architecture for Quantified Fruits: Design and Experience
A Holonic Framework for Business Activity Management
Reprioritizing the Requirements in Agile Software Development: Towards a Conceptual Model from Clients' Perspective
On Integrating Ethicality in User Stories (S)
Contrastive Learning for Multi-Modal Automatic Code Review
Evolution and Runtime Monitoring of Software Systems
CPDScorer: Modeling and Evaluating Developer Programming Ability across Software Communities
An Approach to Validating Translation Correctness From SAM to Java
ISESS '93 A Reality Check
Research on Crowd-based mobile application testing platforms (P)
Towards Modeling and Validating Analysis Processes for Software Adaptation
TaxTOOLJ: A Tool to Catalog Java Classes
Automated Merging of Software Prototypes
Applying Models of Technology Adoption to Software Tools and Methods: An Empirical Study
Automated Metrics Collection for IEC61131-3 Languages from Engineering Tools
Algebraic Formalization and Verification of PKMv3 Protocol using Maude
A pipeline CASE tool for database design
A Knowledge-based Retrieval Model
Flexible Modeling and Product Derivation in Software Product Lines
Similarity-based regression test case prioritization
Using Z3 for Formal Modeling and Verification of FNN Global Robustness (S)
Towards Adaptable BDI Agent: A Formal Aspect-oriented Modeling Approach
Automaticly Generating Web Page From A Mockup
A Process Oriented Approach to Model Non-Functional Requirements Proposition Extending UML
UFOCoRe: Exploring Fuzzy Relations According to Specific Contexts
Taxonomy on Consistency Requirements in the Business Process Integration Context
A Controlled Experiment to Explore Potentially Undetectable Defects for Testing Techniques
A Comparative Study of Software Bugs in Clone and Non-Clone Code
Leveraging the Power of Component-based Development for Front-End Components: Insights from a Study of React Applications (S)
Benchmarking the efficiency of RDF-based access for blockchain environments
An Integrated Environment for Reuse Reengineering C Code
BPMN* - A Notation for Representation of Variability in Business Process Towards Supporting Business Process Line Modeling
Identifying Risks and Risk Mitigation Strategies for Collaborative Systems during Requirements Engineering: A Goal-Oriented Approach (S)
Improving Local Search for Maximum Satisfiability by the Feasible Solution Constraint (S)