yusuke1997/dblp-id-title huggingface dataset:
Investigating formal specification of graphical interface design for an interactive constraint based resource allocation system
MDASC: Advanced Dual-Layered Code Cloning Technique for Identifying Reused Malicious Code
Formalization and Verification of RTPS StatefulWriter Module Using CSP
Formal specification and model checking of Saber lattice-based key encapsulation mechanism in Maude
Two Perspectives on Open-Source Software Evolution: Maintenance and Reuse
Whether Android Applications Broadcast Your Private information: A Naive Bayesian-based Analysis Approach (S)
Conceptual Analysis of Software Structure
SCMA: A Lightweight Tool to Analyze Swift Projects
Data-fusion-based Patent Valuation: Discovering the Market Need
A Language for Modeling Software Development Life Cycles
BDFIS: Binary Decision Access Control Model Based On Fuzzy Inference Systems
Learning API Suggestion via Single LSTM Network with Deterministic Negative Sampling
A Semantical Change Detection Algorithm for XML
Virtual Agents and Virtual Communities: An Agent-Oriented Software and Knowledge Engineering Paradigm for Distributed Cooperative Systems
Towards a Structured Model for Software Vulnerabilities
Object Indexes to Implement a Case Base for Reuse in a Multi-Domain Context
Detecting Pure Functions in JavaScript Using Machine Learning
Software Design for the 5ESS(R) Switch
A New Complexity Metric for OPS5 Rule-Based Systems
Systems Implantation: A Comparative Study and Identification of Gaps in Usual Methodologies
Toward Recovering Component-based Software Product Line Architecture from Object-Oriented Product Variants
Ontology Mapping Representations: A Pragmatic Evaluation
A Process-Based Approach to Improving Knowledge Sharing in Software Engineering
A Stochastic Model for Optimizing the Patching Time of Software Bugs
A Software System is Greater than its Modules Sum: Providers and Consumers Modularity Matrix
Method for Measuring Twitter Content Influence
Measuring the Usability of Online Stores
Transformations for Rapid Prototyping of Time-critical Applications
Topic Evolutions in Scientific Conferences
Software Process Monitoring Using Statistical Process Control Integrated in Workflow Systems
Knowledge Based Service Oriented Architecture for M&A
Finding Erroneous Components from Change Coupled Relations at Fix-inducing Changes
TAGGINGSENSE: Method Based On Sensemaking For Object-Oriented Source Code Comprehension
Software requirements acquisition through enterprise modelling
Composer-Science: A Semantic Service Based framework for Workflow Composition in e-Science Projects
A Software Framework for Integrative Physiological Model Simulation
The Use of Integrity Constraints in Software Engineering
Natural Language Processing: Structure and Complexity
Relative Index Term Frequency (RITF) Method
Answering Who/When, What, How, Why through Constructing Data Graph, Information Graph, Knowledge Graph and Wisdom Graph
An approach for retrieval and knowledge communication using medical documents
Multi-Objective Biogeography-Based Method to Optimize Virtual Machine Consolidation
Managing decision table knowledge in a relational database environment
Multi-Fusion with Attention Mechanism for 3D Object Detection
Knowledge-Based Programming for Call Processing Program in Telecommunication Switching System
A Data Collaboration Model for Collaborative Design Based on C-Net
Traffic Safety Region Estimation Based on SFS-PCA-LSSVM: An Application to Highway Crash Risk Evaluation
Innovation in Every Part of Our Business
Enhancing Automated Test Efficiency: A Hybrid Machine Learning Approach for Test Suite Reduction in Gray-Box Web Application Testing (S)
A Sound and Complete Axiomatisation for Spatio-Temporal Specification Language
APT: Approximate Period Detection in Time Series
An Iterative-Cyclic Software Process Model
Institution Morphisms for Relating OWL and Z
A Neural Net-Based Approach to Software Metrics
Heterogeneous Directed Hypergraph Neural Network over abstract syntax tree (AST) for Code Classification
Specification of Safety Critical Systems with Intelligent Software Agent Method
Investigation for Software Power Consumption of Code Refactoring Techniques
Who Will be Interested in? A Contributor Recommendation Approach for Open Source Projects
Using Web Mining to Support Low Cost Historical Vehicle Traffic Analytics
Evaluating a Bayesian Network to Predict Customer Satisfaction in Scrum Software Development Projects: An Empirical Study with One Company
Ontology-Driven Enterprise Application Integration
Conceptualizing the Software Engineering Process
Studying the Impact of the User Subscription Times in Different Cloud Configurations
System Dynamics as an Enabling Technology for Learning in Software Organizations
Runtime Monitoring and Auditing of Self-Adaptive Systems (S)
Clustering algorithms performance analysis applied to patent database
Value-Based Software Quality Modeling
Ensemble Feature Selection Technique for Software Quality Classification
Proposal of an Automated Approach to Support the Systematic Review of Literature Process (S)
A Mapping Study on Software Product Lines Testing Tools
An Object Logic for Object Base Capable of Version Management
Dedicated Support for Experience Sharing in Distributed Software Projects
Requirements Negotiation under Incompleteness and Uncertainty
Knowledge-based System Development with Scripting Technology: A Recommender System Example
Releasing the OMCS-Br Knowledgebase to Facilitate Insertion of Culture in Applications: Brazilian Experience (S)
Detecting Architecture Erosion by Design Decision of Architectural Pattern
A Novel Algorithm for Exemplar-based Image Inpainting (S)
Using COSMIC-FFP for Predicting Web Application Development Effort
Constructing Drug Ingredient Interaction Network to Ensure Medication Security
The KAMET II Architecture for Problem-Solving Method Reuse
How Many Versions does a Bug Live in? An Empirical Study on Text Features for Bug Lifecycle Prediction
Mining Feature-Opinion from Reviews Based on Dependency Parsing
A project growth model based on communication for software development
Feature Evaluation for Automatic Bug Report Summarization (S)
Human-Computer Interface Design Guidelines: An Expert System
Designing Aspects with Use Cases: A Case Study
Visualizing the evolution of software using softChange
Odyssey-MDA: A Transformational Approach to Component Models
A Dialogue Game Approach to Collaborative Risk Management (S)
Tailoring an Aspectual Goal-oriented Approach to Model Features
Dynamic Adaptation of Cloud Computing Applications
Developing Deep Neural Net Controllers to Assure System Stability with Non-Zero Equilibrium Points
A Layered Approach for Planning Releases under Uncertain Capacities
DFIPS: Toward Distributed Flexible Intrusion Prevention System in Software Defined Network
A Panorama of Software Architectures in Game Development
On the Implications of Human-Paper Interaction for Software Requirements Engineering Education
Scaffolding MATLAB and Octave Software Comprehension Through Visualization
PAT approach to Architecture Behavioural Verification
Towards Automatically Generating Release Notes using Extractive Summarization Technique
PRISM Code Generation for Verification of Mediator Models (S)
Empirical Validation of Variability-based Complexity Metrics for Software Product Line Architecture
Deep Graph Attention Neural Network for Click-Through Rate Prediction
An Evaluation of Recommendation Algorithms for Tourist Attractions
Experimental Study on the Impact of Team Climate on Software Quality
An efficient QCL-based alert correlation process
A Proposal for a Conceptual Data Warehouse Quality Model
Organizational Knowledge: an XML-based Approach to Support Knowledge Management in Distributed and Heterogeneous Environments
Object and Knowledge Modeling for Impact Fusion
Using extended positional grammars to develop visual modeling languages
A Topic Modeling Approach for Code Clone Detection
BackPocketDriver - A Mobile App to Enhance Safe Driving for Youth (S)
Conv-Reluplex : A Verification Framework For Convolution Neural Networks (S)
Deducing structure in systems with separable user interfaces
BDI agents to bridge cloud computing and end-users (Case study: An agent-based personal trainer to COPD patients)
Automatically Finding Hidden Industrial Criteria used in Test Selection
A Systematic Mapping Study on Legacy System Modernization
Towards A Systematic Derivation Of BPMN Model From Business Process Textual Description
Design Rationale in Software Engineering: A Case Study
Automatic Test Data Generation for Program Paths Using Genetic Algorithms
Controller Synthesis for ROS-based Multi-Robot Collaboration
Semiautomatic extraction of Object-Oriented specifications form textual scenarios
Eliciting Domain Knowledge for Decision Support: A Case Study in the Criminal Justice System
Software Documents: Comparison and Measurement
Towards Code Generation from Design Models
A Software Defect-Proneness Prediction Framework: A new approach using genetic algorithms to generate learning schemes
Refactoring Java Code to MapReduce Framework (S)
Software Traceability via Versioned Hypermedia
CLAT: Collaborative Learning Adaptive Tutor
Methodology for Reusing Human Resources Management Standards
FLAT A Fast Lattice-Based Algorithm for Test Suite Reduction
A Semantic Convolutional Auto-Encoder Model for Software Defect Prediction
Antecipated Faults in Real-Time Distributed Systems
An Empirical Study on Recommendation Methods for Vertical B2C E-commerce
A Pattern Taxonomy for Business Process Integration Oriented Application Integration
The Relationship between Traceable Code Patterns and Code Smells
Challenges of Embedded and Ubiquitous Software Engineering from the Perspective of Networked Ecological Systems
The Use of Refinement Metrics to Assess Programming Language Support for the Stepwise Refinement Process
Testing as an Investment
MB-DP: A Multi-behavior Recommendation Model Integrating Dynamic Preferences
Information Services in Service Oriented Architecture-Challenges and Opportunities
FAQshare: a frequently asked questions voting system as a collaboration and evaluation tool in teaching activities
Maximizing the Financial Benefits Yielded by IT Projects While Ensuring their Strategic Fit
SyncTest: a Tool to Synchronize Source Code, Model and Testing
Bayesian-Learning Based Guidelines to determine Equivalente Mutants
Persona Security: A Technique for Supporting the Elicitation of Security Requirements
Parallel Execution of Logic Programs with Breadth-first Search
Grammatically Interpreting Feature Compositions
Creating Proprietary Terms Using Lightweight Ontology: A Case Study on Acquisition Phase in a Cyber Forensic Process
Named Entity Extraction and Classification in Digital Publications
Generating Synthetic Nonfunctional Requirements using Large Language Models for Training Machine Learning Classifiers (S)
Forwarding Links without Browsing Links in Online Social Networks
Software Estimation: Universal Models or Multiple Models?
Knowledge Modelling using UML
Rule-Based Systems Combining AI Techniques into a Legal Agent-based Intelligent Tutoring System
Reverse Engineering Software Architecture using Rough Clusters
Clustering and Artificial Neural Network Ensembles Based Effort Estimation
Process Integration for KBSE Environments
Query Processing in Paraconsistent Databases in the Presence of Integrity Constraints
BAREMO: how to choose the appropriate software component using the analytic hierarchy process
Dynamic Test Profiles in Adaptive Random Testing: A Case Study
Characterizing Vulnerabilities in a Major Linux Distribution
Program slicing spectrum-based software fault localization
Checking Integrity Constraints in Reasoning Systems based on Propositions and Relationships
A Brief Survey on Automatic Integration Test Order Generation
Cold-Start Web Service Recommendation Using Implicit Feedback
An Exploration of System Architecture on Integrating Building Management System in High-Rise Building
Evolution Based Approaches to Software Engineering: Culturing Software
Metrics of Credibility and Interaction Quality: Design and Evaluation
A Tiny Specification Metalanguage
BPL-Framework 2.0: Support tool for Creation and Instantiation of Business Process Lines
Modeling mobility and communication in a unified way (S)
Redroid: A Regression Test Selection Approach for Android Applications
How to Incorporate a Usability Technique in the Open Source Software Development Process
KBS Development: From Design Models to Implementations
A Test Case Generation Method Based on State Importance of EFSM for Web Application
Graph Embedding Models for Community Detection
Algorithm for documents ranking: idea and simulation results
Beyond Numerical - MIXATON for outlier explanation on mixed-type data (ADPBD)
Integrating Security Administration into Software Architectures Design
ANDRIU. A Technique for Migrating Graphical User Interfaces to Android (S)
Extending Software Quality Models - A Sample In The Domain of Semantic Technologies
Guidelines for Quality Assurance of Machine Learning-based Artificial Intelligence
A Process to Calculate the Uncertainty of Software Metrics-based Models Using Bayesian Networks
A Novel Method for Formally Detecting RFID Event Using Petri Nets
A Comparative Analysis of i*-Based Agent-Oriented Modeling Languages
Lightweight Risk Management in Agile Projects
A Process Model for Human Resources Management Focused on Increasing the Quality of Software Development
BacterioORACLE: An Oracle suggester tool
L*-Based Learning of Probabilistic Timed Automata with One Clock (S)
Cloud Engineering approach in business innovation
Assessing the Impact of Aspects on Design By Contract Effort: A Quantitative Study
Parallel Monitoring of Design Pattern Contracts
Measuring Levels of Abstraction in Software Development
Metrics-based Detection of Similar Software (S)
Security Requirements for Tolerating Security Failures
Andon for Dentists (S)
Automated Approaches to Support Secondary Study Processes: a Systematic Review
RIRCNN: A Fault Diagnosis Method for Aviation Turboprop Engine
Formal Modelling and Verification of MCAC Router Architecture in ICN
Object-Z to Java/OO-Perl: A Conversion from Object-Z to Executable Skeletal Code with Dynamically Checkable Design Contracts
Better Analysis of Defect Data at NASA
Framework for digital voting systems (S)
Unveiling Experts in Data Science: A Mining Software Repository Perspective (S)
BiBinConvmean : A Novel Biclustering Algorithm for Binary Microarray Data
Palpable Assemblies: Dynamic Service Composition for Ubiquitous Computing
Context Factors: What they are and why they matter for Requirements Problems
ScubAA: A Human Plausible Reasoning Approach to Agent Trust Management
An Effort Estimation Support Tool for Agile Software Development: An Empirical Evaluation
Reusing courseware components
Knowledge discovery in very large databases
Multiclass Classification of Four Types of UML Diagrams from Images Using Deep Learning
Intelligent Forward Execution in Logic Programs
User-centric Techniques for Big Data Exploration
Requirements Discovery Based on RGPS Using Evolutionary Algorithm
Towards Method Engineering for Multi-Agent Systems: A preliminary validation of a Generic MAS Metamodel
Efficiently Measuring an Accurate and Generalized Clone Detection Precision using Clone Clustering
CFM: A File Manager with Multiple Categorization Support
A Novel Hybrid Approach for Diarrhea Prediction
A Comparative Study of Attribute Weighting Techniques for Software Defect Prediction Using Case-based Reasoning
Component-based process for modeling language evaluation
MD-JPA Profile: A Model Driven Language for Java Persistence
Using Formal Composition of Use Cases in Requirements Engineering
Finding conservative schema evolutions by analysing API changes
An Object-Oriented Analysis Model of an Iconic Interface to Macsyma
Visual Communications
Applying Ontologies in the KDD Pre-Processing Phase
Case Study Methodology Designed Research in Software Engineering Methodology Validation
i2Learning: Perpetual Learning through Bias Shifting
Quality of Service-Driven Requirements Analysis for Component Composition: A Two-Level Grammar+Approach
Ontology Based Classification Generating Method for Browsing-Based Component Retrieval
Development-Paradigm Independent Conceptual Models
PRISME: Formalizing Programming Strategies as a Way to Understand Programs
A Constraint-based Correct Call Pattern Semantics for Prolog as an Abstraction of Decorated Tree Semantics
Opportunistic Production Planning Through Interactive Problem Solving
A Novel Text Classification Approach based on Meta-path Similarities and Graph Neural Networks
From Structure to Suspicion: Cross-Network Detection of Fraudulent Behavior in Real-World Signed Graphs (S)
DmS-Modeler: A Tool for Modeling Decision-making Systems for Self-adaptive Software Domain
Clustering of Defect Reports Using Graph Partitioning Algorithms
The Use of Reading Technique and Visualization for Program Understanding
PNRITR: Research on Positive and Negative Entity Region Perception Methods for Image-Text Retrieval (S)
Reliability determination of Prolog programs
Modeling and Verification of IEEE 802.11i Security Protocol for Internet of Things
Automatic Deployment and Monitoring of Software Processes: A Model-Driven Approach
A Tailor made System for providing Personalized Services
Formalism for Hierarchical Organization and Flexible Abstraction of Program Knowledge
Survey on Data Ingestion for AutoML (S)
Extracting Prerequisite Relations among Concepts from the Introduction of Online Courses(SEKEEO) (S)
Bridging Static and Dynamic Analysis using IBCs (S)
Usability evaluation: a survey of software development organizations
SET-MM - A Software Evaluation Technology Maturity Model
Belief Function Theory in Constraint Satisfaction Problems: a Unifying Approach
Cyclic Association Rules: Coupling Between Dimensions With Measures
DeepRank: Test Case Prioritization for Deep Neural Networks
BDC: Using BERT and Deep Clustering to Improve Chinese Proper Noun Recognition
Program text as hypertext: using program dependences for transient linking
Software Defect Prediction Using Dictionary Learning
Layout Algorithms for DFD Processors
Taming Inconsistency in Value-based Software Development
Fast Class Rendering Using Multiresolution Classification in Discrete Cosine Transform Domain
Sentence-level Representation Learning for English- Assisted Teaching System
Anaphora Ambiguity Detection Method Based on Cross-domain Pronoun Substitution (S)
Incremental Effort Prediction Models in Agile Development using Radial Basis Functions
Proceedings of the 21st International Conference on Software Engineering & Knowledge Engineering (SEKE'2009), Boston, Massachusetts, USA, July 1-3, 2009
Visual Specification of Component-based Slow Intelligence Systems
Event Multiple Influence Calculation and Relationship of Multiple Influence Discovery
Intelligent Assistance for Transformation-Based Environments
Informed and Timely Business Decisions - A Data-driven Approach
Translating UML Diagrams Into Maude Formal Specifications: A Systematic Approach
Self-Management of External Device Failures in Embedded Software Systems
An experiment in eliminating the separation between data, functional, and behavioral models during requirements specification
A structured stochastic model for software project estimation in Waterfall models (S)
Improving Static Analysis Performance Using Rule-Filtering Technique
Suggestions for progress in software analysis, synthesis and certification
ISE - Integrated Service Engineering: Applying an Architecture for Model to Model Transformations
Parallel Property Checking with Symbolic Execution
Modeling User Interpersonal Stances in Affective Dialogues with an ECA
Recognizing Objects from Constraints
A Pragmatic Approach to Enterprise Services Orientation
Open architecture for a process-centered development environment
Ontology-based Representation of Simulation Models
Sparse Linear Influence Model for Hot User Selection on Mining a Social Network
Detecting Semantic-level Polysemy Ambiguity by Fusing External Semantic Knowledge (S)
Probabilistic Failure-causing Schema in Input-Domain Testing
A Unified Model for Server Usage and Operational Costs Based on User Profiles: An Industrial Evaluation
A Balanced Method for Budgeted Influence Maximization
Stability of Filter-Based Feature Selection Methods for Imbalanced Software Measurement Data
A Search-based Software Engineering Approach to Support Multiple Team Formation for Scrum Projects
Language Independent POS-tagging Using Automatically Generated Markov Chains (S)
Learning Organizations in the Software Engineering Domain
Optimal Conjunctive Normal Form Encoding for Symbolic Execution
Automated Rogue Behavior Detection for Android Applications
Towards Goal-Oriented Conformance Checking
An Empirical Study of Execution-Data Classification Based on Machine Learning
Automated Computation of Use Cases Similarity can Aid the Assessment of Cohesion and Complexity of Classes (S)
How to Do Tie-breaking in Prioritization of Interaction Test Suites?
Designing Microservice-Oriented Application Frameworks
Recovering Individual Accessing Behaviour from Web Logs
Perspectives in Knowledge Base Verification
Systematic Risk Assessment and Cost Estimation for Software Problems
Design and Development of a Mobile Classroom Response Software for Interactive Problem Solving
Supporting multiple evolving compilers
On the Requirements and Design Decisions of an In-House Component-Based SPL Automated Environment
HelpDez: Colored-Petri-Net-Based Hypermedia Help System Designer
Effort estimation for corrective software maintenance
Dynamically Detecting Invariants for Automatic Testing PLC Programs (S)
Automatic Detection of Public Development Projects in Large Open Source Ecosystems: An Exploratory Study on GitHub
Can language help in the characterization of user behavior? Feature engineering experiments with Word
Enforcing Contracts for Aspect-oriented programs with Annotations, Pointcuts and Advice
Reuse of Experiences Applied to Requirements Engineering: An Approach Based on Natural Language Processing
Knowledge Fusion Based Object Detection In Pulmonary Radiology
Generating Luck from Weak Ties in Social Networks
An ontological approach to domain engineering
Predicting Maintainability expressed as Change Impact: A Machine-learning-based Approach
Convolution Neural Network Based Patent Infringement Detection Method
Collaboration Support Model of Software Development Experiment
Quantifying Synergy between Software Projects using README Files Only (S)
Multi-Tracker Collaboration in Bittorrent Systems
Achieving Efficient Access Control via XACML Policy in Cloud Computing
Significant API Calls in Android Malware Detection (Using Feature Selection Techniques and Correlation Based Feature Elimination)
A fuzzy based approach for requirements prioritization in goal oriented requirements elicitation process (S)
An investigation of students behavior in discussion forums using Educational Data Mining
A Formal Design Model for Cloud Services
An Adaptive Contextual Recommender System: a Slow Intelligence Perspective
An Empirical Study on the Equivalence and Stability of Feature Selection for Noisy Software Defect Data
A Model-based Design-for-Verification Approach to Checking for Deadlock in Multi-threaded Applications
Ensemble approaches for Test Case Prioritization in UI testing
A Reinforced Hungarian Algorithm for Task Allocation in Global Software Development
Cross-Model Traceability for Coupled Transformation of Software and Performance Models
A Convolutional Neural Network Pruning Method Based On Attention Mechanism
Web Services Reliability Patterns
An Environment of Knowledge Discovery in Database
The Renaissance of CASE Through Computer Aided Reverse Engineering (CARE)
A Hybrid System for Detection of Implied Scenarios in Distributed Software Systems (S)
Architectural Reflection in Adaptive Systems
MT4ImgRec: A Metamorphic Testing Tool for Image Recognition Software
Identifying Influential Spreaders in Complex Networks Using Neighborhood Network Structure
Formalizing Reusable Aspect-Oriented Concurrency Control
Agent-based Architecture for Service Ontology evolution management