yusuke1997/dblp-id-title huggingface dataset:
SEKE'95, The 7th International Conference on Software Engineering and Knowledge Engineering, June 22-24, 1995, Rockville, Maryland, USA, Proceedings
A Case Study of Dependency Network for Building Packages: The Fedora Linux Distribution
An OWL/SWRL Based Diagnosis Approach in a Pervasive Middleware
Revealing Web User Requirements through e-Prototyping
Model Checking Method for SPA Page Transition Based on Component-based Framework
Service Granularity Effects in SOA
Broadening the Use of Process Patterns for Modeling Processes
The Product Flow Model
Investigating the Effects of Agile Practices and Processes on Technical Debt - The Viewpoint of the Brazilian Software Industry
Learning Behavior Trees for Automated Guided Vehicles via Genetic and Reinforcement Methods
Quantum Software Models: Software Density Matrix is a Perfect Direct Sum of Module Matrices
CrowDevBot: A Task-Oriented Conversational Bot for Software Crowdsourcing Platform (S)
Debug Concern Navigator
An Object-Oriented Modeling Learning Support System With Inspection Comments
Integrating Database Technology and iogic Programming Paradigm
Detecting Defects with an Interactive Code Review Tool Based on Visualisation and Machine Learning
Test Case Generation by EFSM Extracted from UML Sequence Diagrams
Automatic Discovery of Controversial Legal Judgments by an Entropy-Based Measurement (S)
Reliability Analysis of Pipe and Filter Architecture Style
Creating Virtual Collaborative Team Through the Construction of Expertise Spaces
Interoperable EMR Message Generation: A Model-Driven Software Product Line Approach
Self-Management of Component Executors for Robot Applications
A Gated Hierarchical LSTMs for Target-based Sentiment Analysis
A qualitative analysis of the adhrence between the Information Tecnology Solution Aquisition Guide, for Brazilian Federal Public Administration and, the CMMI models
Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE'2010), Redwood City, San Francisco Bay, CA, USA, July 1 - July 3, 2010
Application of Design Combinatorial Theory to Scenario-Based Software Architecture Analysis
Enhanced Multidimensional Root Cause Localization with JSqueeze in AIOps (S)
Formal Verification of the Lim-Jeong-Park-Lee Autonomous Vehicle Control Protocol using the OTS/CafeOBJ Method
Substitutability-Based Version Propagation to Manage the Evolution of Three-Level Component-Based Architectures
A Feature-Based Tool-Selection Classification for Agile Software Development
Performing Requirements Elicitation Activities Supported by Quality Ontologies
OWLed: Extending Knowledge for Web Ontology Language
Story Point Approach based Agile Software Effort Estimation using Various SVR Kernel Methods
SIGAA Mobile - A sucessful experience of constructing a mobile application from a existing web system
Adding Verification Property of Inter-Processes Using Aspect-Oriented Approach
Software Process Modeling and Evolution in EPOS
A Practical User Feedback Classifier for Software Quality Characteristics
Combining SOA and BPM Technologies for Cross-System Process Automation
ADkwik: Web 2.0 Collaboration System for Architectural Decision Engineering
Developmental and Operational Processes for Agent-Oriented Database Navigation for Knowledge Discovery
The Algorithm Tutor
Analyzing duplication on code generated by Scaffolding frameworks for Graphical user interfaces
Requirements Formality Levels Analysis and Transformation of Formal Notations into Semi-formal and Informal Notations (S)
A Hybrid Approach for Natural Language Query Translation
Bug or Not Bug? Labeling Issue Reports via User Reviews for Mobile Apps (S)
An Empirical Evaluation on the Relationship Between Final Auction Price and Shilling Activity in Online Auctions
A Practical Way to Use Clustering and Context Knowledge for Software Project Planning
Situated Software Design
AMBIT: Semantic Engine Foundations for Knowledge Management in Context-dependent Applications
Early Detection of Suicide Using Big-Data Analytics in Real Time
Cold-Start Developer Recommendation in Software Crowdsourcing: A Topic Sampling Approach
BIZSPEC: A Business-Oriented Model for Specification and Analysis of Office Information Systems
A tool for assisting the understanding and formal development of software
TILCO Temporal Logic for Real-Time Systems Implementation in C++
Client-Side Rendering Mechanism: A Double-Edged Sword for Browser-Based Web Applications
An Empirical Study of the Feedback of the In-process Measurement in a Japanese Consortium-type Software Project
ISC-FS: An Improved Spectral Clustering with Feature Selection for Defect Prediction
A Framework for Guiding the Design of Effective Implementation Strategies for Software Process Improvement
Evolution Styles to Capitalize Evolution Expertise within Software Architectures
Improving Accuracy of Patient Synthetic Data for Testing Medical Cyber-Physical Systems
Trace4PF: A tool for Automated Decomposition of Problem Diagrams with Traceability
SWS-NET: An Image Segmentation Framework For Chronic Wounds Based On Self-Supervised Learning
Causes of Architecture Changes: An Empirical Study through the Communication in OSS Mailing Lists
An Architecture Description Language for Dynamic Service-Oriented Product Lines
Automatic Configuration Management in a General Object-Based Environment
Proceedings of the Sixteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2004), Banff, Alberta, Canada, June 20-24, 2004
Formalization and Verification of the Message Delivery Mechanism of Apache Pulsar
Two Real-Time Expert Systems for Monitoring and Maintenance of Digital Exchanges
Semantic Service Matchmaking in the ATM Domain Considering Infrastructure Capability Constraints
Collecting Data from Continuous Practices: an Infrastructure to Support Team Development
Improving Code Generation From Descriptive Text By Combining Deep Learning and Syntax Rules
Application of Knowledge Acquisition Techniques to Requirements Capture: A Case Study
An Exploratory Search for Presentation Contents based on Slide Semantic Structure
A Hybrid Approach for Corporate Memory Management Systems in Software R&D Organizations
Deep Data Anaylizing Method Based on Scale Space Theory
Applying Aspect-Orientation in Designing Security Systems: A Case Study
An Academia-Industry Collaborative Teaching and Learning Model for Software Engineering Education
Application of Execution Pattern Mining and Concept Lattice Analysis on Software Structure Evaluation
Combining Agent-oriented Conceptual Modelling and the UML Sequence Diagram
A Conversational Workflow Model for Chatbot
A Methodology for Scenario Development
Performance Verification of the AT&T 5ESSOR Switch
Experiences on applying SPL Engineering Techniques to Design a (Re) usable Ontology in the Energy Domain
A Systematic Mapping Study on the Multi-tenant Architecture of SaaS Systems
CommOnCV: modelling the competencies underlying a curriculum vitae
Safe Incremental Design of UML Architectures
Formal verification of IFF and NSLPK authentication protocols with CiMPG (S)
Obtaining Well-Founded Practices about Elicitation Techniques by Means of an Update of a Previous Systematic Review
Multi-source Machine Reading Comprehension with Meta-Learning and Adaptive Adversarial Training
Smarter Software Engineering: Knowledge factors contributing to improved Individual Performance
Separating The Scattered Concerns: A Graph Based Model
Dynamis: Dynamic Overlay Service Composition for Distributed Stream Processing
Rule-Based Programming for Real-Time Knowledge-Based Systems Development
Knowledge-Based Support for Distributed Systems Management
DocFlow: an event-driven visual programming environment for office automation through document processing
Real-time Estimation Approach to Scrum Projects Effort: Task Point and Individual Reliability (S)
Recovering software requirements from system-user interaction traces
On the UML use in the Brazilian industry: A state of the practice survey (S)
Paying Attention to the Insider Threat
The Prototyping Language SF and its Implementation
Automatically Identifying Planning Comments in Bug Reports (P)
Extending a temporal rule language with deontic operators
Random GUI Testing of Android Application Using Behavioral Model
Practical Combinatorial Testing Approaches: A Case Study of a University Portal Application
Research on Multi Source Fusion Evolution Requirements Acquisition in Mobile Applications
A Comparative Analysis of i*Agent-Oriented Modelling Techniques
Parallel Processes of Decision Making and Multivalued Interpretation of Contradictory Data by Learning Neuron Machines
Embedding Knowledge Graphs with Semantic-Guided Walk
Deep Self-Attention for Sequential Recommendation (S)
Ontology-based Semantic Annotations of Medical Articles
Multi-Objective Crowd Worker Selection in Crowdsourced Testing
A Lightweight Approach for Evaluating Sufficiency of Ontologies
Derivation of Magic Sets by Compilation
Securing Service-oriented Systems Using State-Based XML Firewall
Branchy-TEE: Deep Learning Security Inference Acceleration Using Trusted Execution Environment
Software quality in terms of academic progress of developers
The Role of Knowledge Acquisition in Component Based System Construction
Conditions for ignoring failures based on a requirements model
Absent features or missing values?
Model Checking for Probabilistic Timed Black-box Systems (S)
Knowledge Engineering for Automated Program Recognition and Fault Localization
Implementation of Selected Data/Knowledge-Base Algorithms on a Digital Optoelectronic Processor
Criminal Network Analysis with Interactive Strategies: A Proof of Concept Study using Mobile Call Logs
Evaluating the Sustainability of Computational Science and Engineering Software: Empirical Observations
Improving Searchability of a Music Digital Library with Semantic Web Technologies
Towards Optimization of Energy Consumption of Drones with Software-Based Flight Analysis
Characterizing Relationships for System Dynamics Models Supported by Exploratory Data Analysis - A Conceptualizing Approach about the Meeting Diversity in Student Software Projects
Aesthetics Rules in The Diagrams of Linked Data Structures
AgileCritPath: Identifying Critical Tasks in Agile Environments
STERS: A System for Service Trustworthiness Evaluation and Recommendation based on the Trust Network (S)
Large Language Models in the Travel Domain: An Industrial Experience
Software Engineering Issues for Ubiquitous Entertainment Service
A system for real-time fabric inspection and industrial decision
Debugging of Object-Oriented Software
An Agent Based System for Search in Distributed Environments
DARET: A Logic-Based Language in Object-Oriented Databases
Transfer Learning-based City Similarity Measurement: A Case Study on Urban Hotel (S)
A DIK-based Question-Answering Architecture with Multi-sources Data for Medical Self-Service (S)
Identifying Similar Users Based on Metagraph of Check-in Trajectory Data
An evolutionary model for dynamic and adaptative service composition in distributed environment
A Mutilple-Level Assessment System for Smart City Street Cleanliness
Constructing Self-Adaptive Systems with Polymorphic Software Architecture
Assessment of software architectures: a case study
An Integrity Constraints Language for a Conceptual Multidimensional Data Model
A Mobile Application for Stock Market Prediction Using Sentiment Analysis
A novel subjective bias detection method based on multi-information fusion
Towards Architectural Evolution through Model Transformations
Accompanying Observation Modes and Software Architecture for Autonomous Robot Software
A Multi-Agent Based Architecture For Distributed Testing
Systematically combining process simulation and empirical data in support of decision analysis in software development
An SNN Construction Method Based on CNN Conversion and Threshold Setting
Improving Mutation-Based Fault Localization via Mutant Categorization
Automated transformation of business rules specification to business process model
A Meta-Process to Support Trade-Off Analysis in Software Product Line Architecture
Machine Learning Techniques for Credit Card Risk Prediction: An Experimental Study
Towards a Metamodel Design Methodology: Experiences from a model transformation metamodel design
Two Optimization Techniques for Component-Based Systems Deployment
Towards an Ontology to Support Decision-making in Hospital Bed Allocation (S)
Towards Secure Ambient Intelligence Scenarios
Correctness Arguments for an SDN MAC Learning Algorithm (S)
The Contributions from SEKE'99 and LSO'99 to this Book
Plagiarism Detection of Multi-threaded Programs using Frequent Behavioral Pattern Mining
A similarity measure for retrieving software artifacts
An Ontology based Method for Building Understandable Hierarchical Classification Structure for Software Assets Browsing
Criteria of Human Software Evaluation: Feature Selection Approach
User Perceived Response-time Optimization Method for Composite Web Services
Does Ad-Context Matter on the Effectiveness of Online Advertising?
Object-Oriented Programming Testing Methodology
A Formal Approach for Incorporating Architectural Tactics into the Software Architecture
Translating Workflow Diagrams into Web Designs
Integrating Random Testing with Constraints for Improved Efficiency and Diversity
Conceptual Software Design: Algebraic Axioms for Conceptual Integrity
Reuse of Colored Petri Nets Software Models
Research on Page Object Generation Approach for Web Application Testing
SAM: Semantic Advanced Matchmaker
Building the Multi-layer Theory of Association Semantic based on the Power-law Distribution of Linking Keywords
Proposing a Software Process Model for Follow the Sun Development
Use Case Driven Extension of ProjectIT-RSL to Support Behavioral Concerns
Eliciting Security Requirements in the Commanded Behavior Frame: An Ontology based Approach
Design for Post-Transaction Input Error Handling
Semantic Technology Recommendation Based on the Analytic Network Process
Coverage-based Testing Using Qualitative Reasoning Models
Mining and Predicting Micro-Process Patterns of Issue Resolution for Open Source Software Projects
SOPHIANN: A Tool for Extraction Knowledge Rules from ANN Previously Trained A Case Study
Linear Programming Supporting Ada-Tasking Static Analysis: A Petri Net Approach
Specification of a Component-based Domotic System to Support User-defined Scenarios
Task Anticipation: A Quantitative Analysis Using Workflow Process Simulation
UI Design Pattern Generator for Pervasive Device
Class Transmutation and other Evolution Concepts
Service Language Model: New Ecology for Service Development
Evaluating software architectures by coloured petrit nets
Parameter-Efficient Hate Speech Detection: A Comprehensive Evaluation of LoRA-Adapted LLMs Across 18 Architectures
From Vulnerability Anti-Patterns to Secure Design Patterns (S)
Partial Slicing for Large Programs
Research on Identification and Refactoring Approach of Event-driven Architecture Based on Ontology
Soft Skills in Scrum Teams. A survey of the most valued to have by Product Owners and Scrum Masters
AAIEPESE Keynote: Artificial Intelligence and Environmental Systems Engineering
A Pragmatic UML-based Meta Model for Object-oriented Code Generation
Fault diagnosis expert system for robots: a knowledge level prototyping experience
SnippetGen: Enhancing the Code Search via Intent Predicting
eDOTS 2.0: A Pervasive Indoor Tracking System
Mobile App Development Using Software Design Patterns (P)
Symbolic execution of logic programs
A service architecture for mobile teamwork
Visualization and transformation of SGML knowledge representation structures
SANGE - Stochastic Automata Networks Generator. A tool to efficiently predict events through structured Markovian models
Automatic Generation of Use Case Diagrams from English Specifications Document
.NET Extensions to the p-architecture Description Languages
EQL: A Learn-Easy and Use-Easy Query Language for Object-Oriented Databases
Towards Context-based Mediation for Semantic Web Services Composition
Temporal Theory for Automatic Verification of Infinite State Concurrent Programs
A Ubiquitous Service and Group Data Communications Framework
Visual Development Platform for Ruby on Rails
TRIple Content-based OnTology (TRICOt) for XML Dissemination
Knowledge Management to Support the Deployment of a CMMI Level 3 Process
Building Empirical Software Engineering Bodies of Knowledge with Systematic Knowledge Engineering
Virtual Medical Board: A Distributed Bayesian Agent Based Approach (S)
Presenting Software License Conflicts through Argumentation
Adjudicator: A Statistical Approach for Learning Ontology Concepts from Peer Agents
An Efficient Application Searching Approach Based on User Review Knowledge Graph
A Model-based Business Process Diagnosis Method in Service Oriented Architecture
COTS products characterization
Knowledge structuring and representation in requirement specificaiton
Exploring the Influence of Time Factor in Bug Report Prioritization
Formal Program Developments Directed by Operational Properties Evaluation
Software process decision support: making process tradeoffs using a hybrid metrics, modeling and utility framework
Assessing the Influence of Size Category of the Project in God Class Detection, an Experimental Approach based on Machine Learning
Managing Risks in Agile Methods: a Systematic Literature Mapping
Formal Verification of Transactional Systems Based on UML Specifications
The Agile Quality Culture - A survey on agile culture and software quality
Quick Acquisition of Topic-based Information/Knowledge from News Site Databases
Representation of Reference Architectures: A Systematic Review
3D Visualization of Class Template Diagrams for Deployed Open Source Applications
Automatic Generation of Architectural Models From Goals Models
A Component-Based Solution and Architecture for Dynamic Service-Based Applications
RAHN: A Reputation Based Hourglass Network for Web Service QoS Prediction (S)
The Design and Specification of SEMAL - A Cost Language Based on the Calculus of Self-Modifiable Algorithms
Multiple Fault Localization with Data Mining
A Model Based Approach for Generating Modular Manufacturing Control Systems
An Ontology-based Configurator for Customized Product Information based upon the Slow Intelligence Systems Approach
Revising Rules to Capture Requirements Traceability Relations: A Machine Learning Approach
Relational Program Architecture for High Quality Software Development
Towards Cost Effective Privacy Provision for Typed Resources in IoT Environment (S)
Developing Precise Misuse Cases with Security Robustness Analysis
BEHIND: a 4W-oriented Method for Event Detection from Twitter
Using knowledge engineering support for a Java documentation viewer
A Framework for Systematic Testing of Software Specifications
ONTOMADEM: An Ontology-driven Tool for Multi-Agent Domain Engineering
A Triplet Network Approach for Chinese Confusing Text Classification
Automated Software Design of Process-Control Systems
An Approach to Multimodal Input Interpretation in Human-Computer Interaction
Distributed and Adaptive Execution of Condor DAGMan Workflows
From Requirement Specification to Prototype Execution: a Combination of Multiview Use-Case Driven Methods and Agent-Oriented Techniques
Analysing primary and lower order project success drivers
Digital Media - Art and Technology Applications
A Framework for Selecting Agile Practices and Defining Agile Software Processes
Modeling Semantic Data Concepts with VDM
Verifying a Software Architecture Reconstruction Framework with a Case Study
An Extendible Translation of BPEL to a Machine-verifiable Model
Reverse Engineering of Sequence Diagrams by Merging Call Trees
A Tool for Decision Support Implementing OFNWA Approach: A Case Study
An interpretable logic KBQA method based on open-source large language models
Implementing Web Applications as Social Machines Composition: A Case Study
Build a Dataset of Query-Code Pairs Based on CodeSearchNet for Code Search (S)
Machine Learning and Value-based Software Engineering: a Research Agenda
Constant Evaluation of L2 Students' English Witing Ability
Analyzing the Effectiveness of a System Testing Tool for Software Product Line Engineering (S)
Constructing a Knowledge Base of Coding Conventions from Online Resources
Formal Specification of Software Architecture Security Tactics
Few-Shot Object Detection via Instance-wise and Prototypical Contrastive Learning
Software Process Reuse by Pattern Weaving
A Three Level Multi-agent Architecture to Foster Knowledge Exchange
Do Neural-Network Question-Answering Systems Have a Role to Play in the Deployment of Real World Information Systems?
Towards the Establishment of an Ontology of Software Testing
How do software engineers apply an early usability inspection technique? A qualitative study
Intermediate Executable Architectural Specifications for KBSA, Part II
The Reaction of Open Source Projects to C++ Templates and Lambdas: An Empirical Replication Study
Supporting Connector in Programming Language
Quasi-Experiment as a Tool for Knowledge Engineering: An Example from Intelligent Tutoring
An intelligent question answering system based on RoBERTa-WWM under home appliance knowledge graph (S)
A Formal Architectural Model For Mobile Service Systems
Enhancing Mediation Security by Aspect-Oriented Approach
Social Patterns for Designing Multiagent Systems
A Preliminary Investigation of Self-Admitted Refactorings in Open Source Software (S)
Feature-Level Change Impact Analysis Using Formal Concept Analysis
Dynamic Integration Strategy for Mediation Framework
Explainable Deep Convolutional Candlestick Learner
AutoCom: Automatic Comment Generation for C Code
User-defined Scenarios in Ubiquitous Environments: Creation, Execution Control and Sharing
GUIEvaluator: A Metric-tool for Evaluating the Complexity of Graphical User Interfaces
Heterogeneous Defect Prediction via Exploiting Correlation Subspace
Developing Visual Languages Through an Evolving Method
Pie Tree Visualization
A Privacy Preserving Cross-Domain Label Propagation Algorithm
A Visual Approach to Validate the Selection Review of Primary Studies in Systematic Reviews: A Replication Study
Textual Software Requirements Specifications in the Context of Software Architecting
Visualization of automated program repair focusing on suspiciousness values
Towards Collaborative Development Based on Software Architecture
QuickPay Online Payment Protocol
Towards a Methodology for Hybrid Systems Software Development
A new method to evaluate software artifacts against predefined profiles
Workshop on Domain Engineering as a Research Agenda for Software Engineering and Knowledge Engineering
On the role of middleware in architecture-based software development
A Robust Visual Tracker Based on DCF Algorithm
Using Ontologies to Add Semantics to a Software Engineering Environment
Traceability for Agent-Oriented Design Models and Code
Verifying Behavioral Correctness of Design Pattern Implementation
Interactive Business Rules Framework for Knowledge Based Service Oriented Architecture
Online Anomaly Detection for Components in OSGi-based Software
Network Intrusion Detection Based on Bayesian Networks
A Formalism for Architectural Modeling of Distributed Real-Time Systems
An Efficient Knowledge Management Technique for finding Association Rules
Knowledge Organization and Retrieval in the MILK System
Al analysis patterns as UML meta-model constructs
Verification of Cyber-Physical Systems Based on Differential-Algebraic Temporal Dynamic Logic
Automated Statistical Testing and Certification of a Reliable Model-Coupling Server for Scientific Computing
Architecture of the Knowledge Integration Tocl: A Knowledge Based System Development Environment
A Practical Quality Model for Evaluating Business Components
Visual Programming, Knowledge Engineering, and Software Engineering
Smart Contract Vulnerability Detection Based on Mixed Channel Attention
A Virtual Machine for Distributed Agent-oriented Programming
Computational Reflection in order to support Context-Awareness in a Robotics Framework
A Comprehensive Software Complexity Metric for Primitive Modules
Semantic query optimization by class reference reduction in object- oriented databases