yusuke1997/dblp-id-title huggingface dataset:
Should We Prepare for a 4GL Future?
Fair scheduling of dynamic task systems on multiprocessors
Enhancing Service Location Protocol for efficiency, scalability and advanced discovery
Interaction detection in configurable systems - A formal approach featuring roles
Broadcast tree construction framework in tactile internet via dynamic algorithm
On the adoption of software bill of materials in open-source software projects
An overview of the use of alternative funding and contracting approaches relevant for agile software development: A systematic review of real-life experiences
Multi-layer faults in the architectures of mobile, context-aware adaptive applications
A weight-aware channel assignment algorithm for mobile multicast in wireless mesh networks
Contract-based testing for PHP with Praspel
Measurement processes are software, too
Scalable and efficient web services composition based on a relational database
ServiceAnomaly: An anomaly detection approach in microservices using distributed traces and profiling metrics
Development of a team measure for tacit knowledge in software development teams
FCCI: A fuzzy expert system for identifying coincidental correct test cases
Role stereotypes in software designs and their evolution
Pseudo software: A mediating instrument for modeling software requirements
A comprehensive study of the predictive accuracy of dynamic change-impact analysis
Checkpointing and rollback-recovery algorithms in distributed systems
A practical approach for performance-driven UML modelling of handheld devices - A case study
Allocating distributed AI/ML applications to cloud-edge continuum based on privacy, regulatory, and ethical constraints
Structural translation from Time Petri Nets to Timed Automata
Multi-party covert communication with steganography and quantum secret sharing
Just-in-time software defect prediction via bi-modal change representation learning
On the product-form solution of a class of multiple-bus multiprocessor system models
Relevance, benefits, and problems of software modelling and model driven techniques - A survey in the Italian industry
The SAVE approach to component-based development of vehicular systems
Constraint based structural testing criteria
An empirical study of CGO usage in Go projects - Distribution, purposes, patterns and critical issues
Version control of speaker recognition systems
Lightweight query-based analysis of workflow process dependencies
Handling slowly changing dimensions in data warehouses
An information flow control model for C applications based on access control lists
Identifying refactoring opportunities for large packages by analyzing maintainability characteristics in Java OSS
Software maintenance, Y2K and other software non-crises
Detecting Web requirements conflicts and inconsistencies under a model-based perspective
A benchmark for performance evaluation of a distributed file system
CONFIDDENT: A model-driven consistent and non-redundant layer-3 firewall ACL design, development and maintenance framework
Image sharing method for gray-level images
Summary queries for frequent itemsets mining
A bibliometric assessment of software engineering themes, scholars and institutions (2013-2020)
Scalable code clone detection and search based on adaptive prefix filtering
Search-Based test case prioritization for simulation-Based testing of cyber-Physical system product lines
Mutation-based analysis of queueing network performance models
Identifying some important success factors in adopting agile software development practices
Evolutionary testing of software with function-assigned flags
A case study in branch testing automation
Guidelines for choosing self-scheduling orders on multiprocessors
Software fault tolerance for distributed object based computing
A systematic literature review of model-driven security engineering for cyber-physical systems
Adaptive generation of challenging scenarios for testing and evaluation of autonomous vehicles
Application-specific garbage collection
Predictive accuracy comparison of fuzzy models for software development effort of small programs
Distributed debugging for mobile networks
How are discussions linked? A link analysis study on GitHub Discussions
A study of software portability evaluation
Special Issue on Software Process and Product Measurement
Software development risk and project performance measurement: Evidence in Korea
A language-independent software renovation framework
GM-WTA: An efficient workflow task allocation method in a distributed execution environment
Characterization of the evolution of a news Web site
Developing adaptive systems with synchronized architectures
Technical debt reduction using search based automated refactoring
Dynamic adaptation of sharing granularity in DSM systems
Predicting failures in multi-tier distributed systems
Tool support for software measurement, analysis and improvement
Sharing runtime permission issues for developers based on similar-app review mining
A systematic mapping study on the combination of software architecture and agile development
ReSIde: Reusable service identification from software families
A sort of parametric polymorphism for algebraic specifications
Optimizing runtime performance of hybrid dynamically and statically typed languages for the .Net platform
Slice, chunk and dataflow anomaly as DATALOG rules
A narrative history and description of MOSIS software
SP⅃LꟼƧ: Software product lines extraction driven by language server protocol
Applications of natural language processing in software traceability: A systematic mapping study
Discovery of architectural layers and measurement of layering violations in source code
Adopters' trust in enterprise open source vendors: An empirical examination
Multi-faceted quality and defect measurement for web software and source contents
Resource constraints analysis of workflow specifications
AndroidOff: Offloading android application based on cost estimation
An overhead and resource contention aware analytical model for overloaded Web servers
A tiny hypervisor-based trusted geolocation framework with minimized TPM operations
Formal specification of the variants and behavioural features of design patterns
Mining trends and patterns of software vulnerabilities
An efficient and secure multi-server authentication scheme with key agreement
A statistical analysis approach to predict user's changing requirements for software service evolution
A practical approach to specification technology selection
Is our chatbot telling lies? Assessing correctness of an LLM-based Dutch support chatbot
Modularity analysis of use case implementations
Mutation testing cost reduction by clustering overlapped mutants
Petri net modeling and deadlock analysis of parallel manufacturing processes with shared-resources
Cognitive processes in program comprehension: An empirical analysis in the Context of software reengineering
Estimating acquisition loop time for time-critical real-time data acquisition applications for the purpose of selecting appropriate hardware and software
Memory efficient context-sensitive program analysis
Specification and analysis of n-way key recovery system by Extended Cryptographic Timed Petri Net
An object-oriented implementation of an entity relationship model
An empirical study on the performance overhead of code instrumentation in containerised microservices
Adjusting transport segmentation policy of DTN Bundle Protocol under synergy with lower layers
A mixed integer linear programming optimization approach for multi-cloud capacity allocation
ROUTER: Fog enabled cloud based intelligent resource management approach for smart home IoT devices
The pipeline for the continuous development of artificial intelligence models - Current state of research and practice
Integrating usability work into a large inter-organisational agile development project: Tactics developed by usability designers
Editor's corner object-orientation: Theory and Practice (II)
Automatic instantiation of assurance cases from patterns using large language models
Understanding the "90% syndrome" in software project management: A simulation-based case study
Beyond code: Is there a difference between comments in visual and textual languages?
Components reuse for data-intensive business programs through an object-oriented architecture
Signal: An open-source cross-platform universal messaging system with feedback support
The REBOOT approach to software reuse
Situational computing: An innovative architecture with imprecise reasoning
SPELLing out energy leaks: Aiding developers locate energy inefficient code
Dynamic class-based queue management for scalable media servers
A new structure and access mechanism for secure and efficient XML data broadcast in mobile wireless networks
Editorial for the JSS Top Scholar Special Issue
Fault localization using function call frequencies
Actionable light-weight process guidance
Optimal test activity allocation for covariate software reliability and security models
Quality measurement in agile and rapid software development: A systematic mapping
Predictive runtime verification of timed properties
Requirements engineering challenges and practices in large-scale agile system development
COBOL: Is it dying or thriving?
A conceptual model completely independent of the implementation paradigm
A fast algorithm for Huffman decoding based on a recursion Huffman tree
Colla-Config: A stakeholders preferences-based approach for product lines collaborative configuration
Improving test case selection by handling class and attribute noise
Assessing a requirements evolution approach: Empirical studies in the air traffic management domain
Adaptive reversible image watermarking scheme
A study of update request comments in Stack Overflow answer posts
A string pattern - matching algorithm
Evolution support mechanisms for software product line process
The AmbiTRUS framework for identifying potential ambiguity in user stories
Manufacturing execution systems: A vision for managing software development
Information system professionals' attitudes: Development tools and concepts
A machine-learning based ensemble method for anti-patterns detection
Source code metrics: A systematic mapping study
On the refinement of spreadsheet smells by means of structure information
Distribution-aware fairness test generation
A practical assessment of formal specification approaches for data abstractions
Adaptive random testing based on distribution metrics
Fundamental differences in the reliability of N-modular redundancy and N-version programming
Guest editor's corner object-oriented software development: A full life cycle
Anomaly detection and diagnosis for cloud services: Practical experiments and lessons learned
Architecture-driven reliability optimization with uncertain model parameters
Rapid prototyping of distributed algorithms
RLV: LLM-based vulnerability detection by retrieving and refining contextual information
Hybrid approaches to product recommendation based on customer lifetime value and purchase preferences
An empirical characterization of software bugs in open-source Cyber-Physical Systems
Defining multi-tenancy: A systematic mapping study on the academic and the industrial perspective
An inexpensive method of performance evaluation for subdomain decomposition parallel algorithms of three-dimensional elliptical problems
Automatically classifying user requests in crowdsourcing requirements engineering
A formal requirements specification method based on data flow analysis
A prediction-Based VM consolidation approach in IaaS Cloud Data Centers
Secure one snapshot protocol for concurrency control in real-time stock trading systems
Embedded system design with ADA as the system design language
On estimating the number of defects remaining in software
Experience teaching Barry Boehm's techniques in industrial and academic settings
Search Based Software Engineering: Review and analysis of the field in Brazil
Quality-driven software architecture composition
A semantic translation method for data communication protocols
Multimedia Internet Rekeying for secure session mobility in ubiquitous mobile networks
A methodology to automatically optimize dynamic memory managers applying grammatical evolution
Discrete-time performance analysis of a congestion control mechanism based on RED under multi-class bursty and correlated traffic
An architecture for software that adapts to changes in requirements
Attribute-based strong designated-verifier signature scheme
HaRTS: Performance-Based Design of Distributed Hard Real-Time Software
Cross-company vs. single-company web effort models using the Tukutuku database: An extended study
Efficient evaluation of linear path expressions on large-scale heterogeneous XML documents using information retrieval techniques
Communication modeling of multicast in all-port wormhole-routed NoCs
Why and how can human-related measures support software development processes?
Should software testers use mutation analysis to augment a test set?
Automated assembly of Internet-scale software systems involving autonomous agents
Experience on knowledge-based software engineering: A logic-based requirements language and its industrial applications
Be more familiar with our enemies and pave the way forward: A review of the roles bugs played in software failures
Coping with 'requirements-uncertainty': the theories-of-action of experienced IS/software project managers
Secure agent computation: X.509 Proxy Certificates in a multi-lingual agent framework
Designing software for producibility
A formal approach for the analysis of BPMN collaboration models
A Web services-based framework for building componentized digital libraries
An "Active Server" model for the performance of parallel programs written using rendezvous
Product metrics for spreadsheets - A systematic review
A decentralized information and control system for blood management
Evaluating pre-trained Large Language Models on zero shot prompts for parallelization of source code
Automated defect prioritization based on defects resolved at various project periods
Using Scrum to guide the execution of software process improvement in small organizations
A note on the evolution of software engineering practices
Towards innovation measurement in the software industry
An empirical comparison of four Java-based regression test selection techniques
Gompertz software reliability model: Estimation algorithm and empirical validation
GloBug: Using global data in Fault Localization
Streaming extensibility in the Modify-on-Access file system
Comparing risk identification techniques for safety and security requirements
A hybrid approach to analyze empirical software engineering data and its application to predict module fault-proneness in maintenance
FragQC: An efficient quantum error reduction technique using quantum circuit fragmentation
Availability analysis and improvement of Active/Standby cluster systems using software rejuvenation
SEXTAMT: A systematic map to navigate the wide seas of factors affecting expert judgment software estimates
Mutation testing from probabilistic and stochastic finite state machines
Performance comparison of distributive and mergesort as external sorting algorithms
A programming style taxonomy
Efficient fault-tolerant broadcasts
Identification of extract method refactoring opportunities for the decomposition of methods
An overview of some software design languages
SPICE in retrospect: Developing a standard for process assessment
Introduction to the Special Section on software engineering for hybrid quantum computing systems
Mob programming: From avant-garde experimentation to established practice
Interfacing MATLAB with a parallel virtual processor for matrix algorithms
Code search engines for the next generation
BOOM - A first step to an object-oriented fourth generation system
Algorithms for analyzing concurrent software systems using derivatives
The influence of checklists and roles on software practitioner risk perception and decision-making
Systems engineering and systems management for reengineering
Introduction to the Special Issue on "International Conference on Software Reuse 2015"
Automated reverse engineering of role-based access control policies of web applications
The adjusted analogy-based software effort estimation based on similarity distances
A framework for analyzing context-oriented programming languages
Model-based testing in practice: An experience report from the web applications domain
Random grid-based visual secret sharing for general access structures with cheat-preventing ability
Evaluating T-wise testing strategies in a community-wide dataset of configurable software systems
High capacity reversible data hiding scheme based upon discrete cosine transformation
An industrial engineering approach to software development
Integrating database and program descriptions using an ER-Data dictionary
Using planning poker for combining expert estimates in software projects
Fuzzy resource space model and platform
A novel analysis approach for the design and the development of context-aware applications
Sóley: Automated detection of logic vulnerabilities in Ethereum smart contracts using large language models
BugMentor: Generating answers to follow-up questions from software bug reports using structured information retrieval and neural text generation
On the conversion between IFPUG and COSMIC software functional size units: A theoretical and empirical study
A framework for assisting the design of effective software process improvement implementation strategies
SGEESS: Smart green energy-efficient scheduling strategy with dynamic electricity price for data center
An agent based synchronization scheme for multimedia applications
Understanding knowledge sharing activities in free/open source software projects: An empirical study
Workload-aware anomaly detection for Web applications
Automating software size measurement with language models: Insights from industrial case studies
The use of executable assertions for error detection and damage assessment
The mechanisms of project management of software development
Reflections on the influences of the COCOMO, spiral and the Win-Win models on software project and risk management
Editor's corner Plenty of pitfalls: There are numbers and then there are numbers
Enabling predictable assembly
COSMIC: A real-time event-based middleware for the CAN-bus
Hardware assisted high-level debugging
Decentralized user group assignment in Windows NT
Employing rule mining and multi-objective search for dynamic test case prioritization
Mining software repositories for comprehensible software fault prediction models
A robust and flexible digital rights management system for home networks
The language mutation problem: Leveraging language product lines for mutation testing of interpreters
In Memoriam: Dr. Chandra Kintala
Composing enterprise mashup components and services using architecture integration patterns
Approaches to promote product quality within software process improvement initiatives: A mapping study
Traceability Link Recovery between Requirements and Models using an Evolutionary Algorithm Guided by a Learning to Rank Algorithm: Train control and management case
Parallel-processing experiences on the denelcor HEP computer
A scheduling framework for enterprise services
Twitter data analysis by means of Strong Flipping Generalized Itemsets
Runtime verification of train control systems with parameterized modal live sequence charts
Dynamic refinement of search engines results utilizing the user intervention
Interpretability application of the Just-in-Time software defect prediction model
Arts - an automated requirements traceability system
Generating test data from SOFL specifications
Collaborative prioritization of architectural concerns
Quo Vadis - A Framework for Intelligent Routing in Large Communication Networks
Developers' need for the rationale of code commits: An in-breadth and in-depth study
Dynamic service placement and replication framework to enhance service availability using team formation algorithm
A comparative study of architecture knowledge management tools
The future of software engineering IN and FOR the cloud
Reverse engineering processes, design document production, and structure charts
Combining mutation and fault localization for automated program debugging
Andromeda: A model-connected framework for safety assessment and assurance
Achieving agility and quality in product development - an empirical study of hardware startups
QuickFuzz testing for fun and profit
An integrated environment for reuse reengineering C code
An evolutionary approach to identify logical components
Modeling and verifying resources and capabilities of ubiquitous scenarios for Unmanned Aerial Vehicle swarm
Editor's corner: The legend of the bad software project
Special Issue on Software Engineering Technology and Applications
H YPPOCRATES : a new proactive password checker
Architectural tactics in software architecture: A systematic mapping study
Investigating the effect of "defect co-fix" on quality assurance resource allocation: A search-based approach
Temporal isolation assessment in virtualized safety-critical mixed-criticality systems: A case study on Xen hypervisor
Omniscient debugging for executable DSLs
A control-theoretic approach to the management of the software system test phase
Systematic literature reviews in software engineering - enhancement of the study selection process using Cohen's Kappa statistic
Intrusion-resilient identity-based signature: Security definition and construction
Software management practice and metrics in the European community and Japan: Some results of a survey
An effective model for composition of secure systems
GitHub Copilot AI pair programmer: Asset or Liability?
Simulation of an Apollo network in order to evaluate response-time speedup of parallel algorithms
An empirical study of software architectures' effect on product quality
Introduction to the special issue on the use of entity-relationship concepts in databases and related software
Benchmarking scalability of stream processing frameworks deployed as microservices in the cloud
Towards human-centred design: Two case studies
Timed petri nets: A solution to the minimum-time-reachability problem between two states of a timed-event graph
A mathematical model for the evolution of software
A comparison framework for runtime monitoring approaches
A license to kill - Improving UCSD in Agile development
Constraint-based specification of model transformations
Design issues in a rule-based system
Assessing the reliability, validity and acceptance of a classification scheme of usability problems (CUP)
An empirical study of complexity metrics in Cobol programs
Application of agile methods in traditional logistics companies and logistics startups: Results from a German Delphi Study
A petri-net-based synthesis methodology for use-case-driven system design
A model of enforcement relationships among database access control dependencies
DPDP: An interactive debugger for parallel and distributed processing
LAURA architecture: Towards a simpler way of building situation-aware and business-aware IoT applications
Module interconnection features in object-oriented development tools
A technique to include computer security, safety, and resilience requirements as part of the requirements specification
On the security of the Yen-Guo's domino signal encryption algorithm (DSEA)
Exploiting agents for modelling and simulation of coverage control protocols in large sensor networks
Dependability certification of software components
Effective fair allocation using smart market label auction with CSLF and CR-CSFQ
A policy-based publish/subscribe middleware for sense-and-react applications
A method for predicting the impact of user interface design on software design
The GRASPIN software engineering environment
Concept drift-aware temporal cloud service APIs recommendation for building composite cloud systems
New results on non-perfect sharing of multiple secrets
Evolving feature model configurations in software product lines
Model-driven support for product line evolution on feature level
Co-evolution of metamodels and models through consistent change propagation