yusuke1997/dblp-id-title huggingface dataset:
Evolutionary algorithm with modifications in the reproduction phase
Applications of case-based reasoning in Software Engineering: a systematic mapping study
Introducing new software engineering graduates to the 'real world' at the GPT company
Petri-nets for formal verification of MAC protocols
Compiler generation tools for C#
Semantic wiki for quality management in software development projects
Analysing the corporate responsibility Web pages of consumer electronics companies: implications for process improvement
On the interplay of .NET and contemporary software engineering techniques [Editorial]
Case study on risk management practice in large offshore-outsourced Agile software projects
Social semantic web support for software development [Editorial]
Change-oriented version descriptions in EPOS
CASE support for collaborative modelling: re-engineering conceptual modelling techniques to exploit the potential of CASE tools
Agile software development methodology for medium and large projects
MOON-modular object-oriented notation
Nomenclature unification of software product measures
DRASTIC and GRUMPS: design and implementation of two run-time evolution frameworks
Modelling status and event behaviour of interactive systems
Software process improvement to assist medical device software development organisations to comply with the amendments to the medical device directive
Approach for solving the feature location problem by measuring the component modification impact
Prediction of leptospirosis cases using classification algorithms
Building an open communication application
QP test: a dependence test for quadratic array subscripts
Practical throughput estimation for parallel databases
Lazy symbolic execution for test data generation
Maintainability of the Linux kernel
Problem decomposition for reuse
Non-intrusive end-to-end runtime path tracing for J2EE systems
Test suite prioritisation using trace events technique
Research and development challenges for agend-based systems
Hardware compilation for software engineers: an ATM example
Measures of testability as a basis for quality assurance
An ontology-based approach towards comprehensive workflow modelling
Some practical considerations regarding an ADT-obsessed design
Selection and evaluation of information systems methologies: the gap between theory and practice
Automated software module reconfiguration through the use of artificial intelligence planning techniques
Empirical investigation of success factors for offshore software development outsourcing vendors
Automated timing analysis of real-time programs
Identifying nd communicting expertise in systems reengineering: a patterns approach
Optimising virtual team leadership in global software development
Process mining through dynamic analysis for modernising legacy systems
Mapping user requirements to implementations
Conflict-aware optimal scheduling of prioritised code clone refactoring
Comparison of software development life cycles: a multiproject experiment
Software testing based on formal specifications: a theory and a tool
Editorial - Microsoft Research embedded systems
Hypothesis-based concept assignment in software maintenance
Integrating human-computer interaction and business practices for mixed reality systems design: a case study
Investigating the influence of software inspection process parameters on inspection meeting performance
Evaluating distributed inspection through controlled experiments
Editorial - Software language engineering
Semi-structured cursor movements in MUPE-2
Benchmarking of processes for managing product platforms: a case study
Developing multicast, multiple-stream, multimedia presentations using a formal approach
Formal semantics of an industrially applicable variant of the Specification and Description Language
Integration of safety analysis in model-driven software development
Comparison of Web size measures for predicting Web design and authoring effort
Simple lossless preprocessing algorithms for text compression
Metaheuristic approach for constructing functional test-suites
Web-based decision-support system methodology for smart provision of adaptive digital energy services over cloud technologies
High-level Petri net for incremental analysis of object-oriented system requirements
Optimal improvement of the lower bound performance of partition testing strategies
Design and implementation of a Byzantine fault tolerance framework for non-deterministic applications
An abstract data-type technique for scientific software
Data-driven business process similarity
Backward error recovery via conversations in Ada
Testing in the program development cycle
Quality assuring specification and design
In special section on software evolvability - editorial software evolvability
Design and specification of role based access control policies
Semantic software metrics computed from natural language design specifications
Test data adequacy measurement
Computer-aided validation of formal specifications
An abstract execution model for basic LOTOS
Software cost estimation for componentbased fourth-generation-language software applications
Tool support for integrating extended enterprises
Predicate transformers in the semantics of Circus
AOPS: an abstraction-oriented programming system for literate programming
Effects of incorporating special methods into cohesion measurement on class instantiation reuse-proneness prediction
Guidelines for the development of automotive software
Comparing programming paradigms: an evaluation of functional and object-oriented programs
Analysis of cultural and gender influences on teamwork performance for software requirements analysis in multinational environments
A framework for immigrating existing software to new software development environments
Interaction laws for dependability explicit computing in open multi-agent systems
From intentions to code: exploring the life of user goals in two web-based systems
Auditing buffer overflow vulnerabilities using hybrid static-dynamic analysis
CSP extended: imperative state and true concurrency
Comparing the MVC and PAC architectures: a formal perspective
Component co-evolution and component dependency: speculations and verifications
Requirements engineering with viewpoints
Calculating return on investment of training using process variation
Making aspect-orientation accessible through syntax-based language composition
Automatic object deployment for software performance enhancement
Software agents for peer-to-peer video streaming
COO approach to support cooperation in software developments
Causality levels in SCHEMA: a knowledge edition interface
PLATEM: a method for mobile applications testing
Experiences building a syntax-directed editor
Software development efforts prediction using artificial neural network
Characterising text mining: a systematic mapping review of the Portuguese language
Towards automated verification of layered graph transformation specifications
Dynamic reconfigurability for fast prototyping of user interfaces
Pascal, modula-2 and multi-tasking kernel implementation
Generator of efficient strongly typed abstract syntax trees in Java
Iterative criteria-based approach to engineering the requirements of software development methodologies
Exploration of the effects of soft errors from dynamic software behaviours
Constructive Action Semantics for Core ML
Block-structured stochastic process algebra and its applications to queueing systems
Extending the SEMAT Kernel with the TDD practice
Database design by computer-aided schema transformations
Editorial: Selected papers from SBES '07
I2SD: reverse engineering Sequence Diagrams Enterprise Java Beans from with interceptors
IDEA - an incremental development environment for Ada
Complete distributed garbage collection using DGC-consistent cuts and .NET AOP-support
Tool support for requirements analysis
Object-oriented preprocessor fit for C++
Artificial neural network-based metric selection for software fault-prone prediction model
Integrating rapid application development and participatory design
Concurrent C: real-time programming and fault tolerance
Functional system specification
Scheduling hard real-time systems: a review
Using ViewPoints for inconsistency management
'Engineering' the software in systems
How test suites impact fault localisation starting from the size
Using lightweight virtual machines to achieve resource adaptation in middleware
Supporting the adaptation of open-source database applications through extracting data lifecycles
Improved document ranking in ontology-based document search engine using evidential reasoning
Improving semantic compression specification in large relational database
ReAjax: a reverse engineering tool for Ajax Web applications
The TIPSE: an IPSE for teaching
Formal verification of systems with an unlimited number of components
Dynamic slicing of distributed object-oriented programs
Diagnosis of transportation modes on mobile phone using logistic regression classification
A software engineering paradigm for program synthesis
Treating interactions systematically: a theme to cope with an aspect of the complexity of managing life-cycle software production
Metamorphic testing of decision support systems: a case study
Performance driven allocation of objects to processor nodes in a distributed system
A method for handwritten word spotting based on particle swarm optimisation and multi-layer perceptron
Three control flow obfuscation methods for Java software
Java-based component framework for dynamic reconfiguration
Automated software test optimisation framework - an artificial bee colony optimisation-based approach
Application of multi-agent systems in traffic and transportation
Evaluating formal properties of feature diagram languages
Classification of model transformation techniques used in UML-based Web engineering
Reliability evaluation of UML/DAM software architectures under parameter uncertainty
Regression test selection using class, sequence and activity diagrams
An experiment in software engineering education
Situation assessment model for inter-domain routing system
MCTest: towards an improvement of match algorithms for models
Empirical support for the generation of domain-oriented quality models
Investigation on performance testing and evaluation of PReWebD: a .NET technique for implementing web application
Acquisition, organisation and reuse of software design knowledge
Empirical study of the evaluation of perspectives to knowledge capitalisation in Brazilian software industry
Automatic code generation using unified modeling language activity and sequence models
Structuring specifications in Z
A preliminary study of large-scale software re-use
Test cases generation from UML state diagrams
An exercise to prototype the object-oriented development process
Design philosophy for self-repair of electronic systems using the UML
Taxonomy-based software construction of SPARE Time: a case study
VOCAL: A frame work for test identification and deployment
Errors in algebraic specifications and an experimental mutation testing tool
Structural performance measure of evolutionary testing applied to worst-case timing of real-time systems
Occam as a hardware description language
Disentangling virtual machine architecture
Applying selective mutation strategies to the AsmetaL language
Dynamic acceptance of aperiodic tasks with periodic tasks under resource sharing constraints
Dynamic coupling metric: proof of concept
Mixing continents, competences and roles: Five years of lessons for software engineering education
Extending the application of formal methods to analyse human error and system failure during accident investigations
Software engineering education in an electronic engineering degree
Model-based verification of knowledge-based systems: a case study
Contribution of standard programming languages to software quality
The verification of low-level code
Editorial: automated compositional verification
A test generation algorithm for systems modelled as non-deterministic FSMs
Structuring the semantic definitions of graphical design notations
Evaluation of an approach to define elicitation guides of non-functional requirements
Analysing inaccurate artifact usages in workflow specifications
Translating a typical business process modelling language to a web services ontology through lightweight mapping
Software security: experiments on the .NET common language run-time and the shared source common language infrastructure
Tools for making impossible changes - experiences with a tool for transforming large Smalltalk programs
Attribute grammar-based interactive system to retrieve information from XML documents
Stochastic analysis of scheduling strategies in a Grid-based resource model
Performance evaluation of a grid resource monitoring and discovery service
A software reliability growth model for an error-removal phenomenon
Using simulated data sets to compare data analysis techniques used for software cost modelling
Improving information system development and evolution using a rule-based paradigm
Empirical study of Sommerville and Sawyer's requirements engineering practices
Refactoring to improve the understandability of specifications written in object constraint language
A compendium of formal techniques for software maintenance
Towards agent-based software engineering for information-depended enterprise applications
Semantic characterisation of dead control-flow paths
Equilibrium with predictive routeing in the online version of the Braess paradox
Automatic vehicle location tracking system based on GIS environment
Real-time safety-critical systems: analysis and synthesis
Domain-specific aspect languages for modularising crosscutting concerns in grammars
Taxonomy of directed graph representations
Software tool combining fault masking with user-defined recovery strategies
Modelling programs by the notion of hypergraph
A critique of cyclomatic complexity as a software metric
Increasing the accuracy of software development effort estimation using projects clustering
Architectural support for dynamic reconfiguration of distributed workflow applications
Task structure semantics through process algebra
Web application for recommending personalised mobile tourist routes
Exploiting architectural style to develop a family of applications
Formulating software engineering as a search problem
Constraint-oriented style for object-oriented formal specification
Special Section on Natural Language in Software Engineering
Understanding personality differences in software organisations using Keirsey temperament sorter
Designing software architectures to achieve quality attribute requirements
A rejustification of formal notations [software engineering]
An adaptive scheduling algorithm for fault-tolerant real-time systems
Review of approaches to manage architectural knowledge in Agile Global Software Development
Supporting architectural concerns in component interoperability standards
Process reference model construction: implementing an evolutionary multi-method research approach
A reuse-oriented approach for structuring and configuring distributed applications
A framework for teaching programming with reuse
Vista: a user interface for a distributed object-oriented software engineering environment
Automatic shape independent clustering inspired by ant dynamics
Hierarchical multi-objective optimization of proton exchange membrane fuel cell with parameter uncertainty
Utilizing dependence among variables in evolutionary algorithms for mixed-integer programming: A case study on multi-objective constrained portfolio optimization
Differential evolution improved with self-adaptive control parameters based on simulated annealing
Adaptive landscape-aware repelling restart covariance matrix adaptation-evolution strategy for multimodal and global optimization
Swarm flocking using optimisation for a self-organised collective motion
Differential evolution with collective ensemble learning
A matheuristic-based multi-objective evolutionary algorithm for flexible assembly jobs shop scheduling problem in cellular manufacture
Photovoltaic model parameters identification using diversity improvement-oriented differential evolution
IMNE: Maximizing influence through deep learning-based node embedding in social network
Incorporating Surprisingly Popular Algorithm and Euclidean distance-based adaptive topology into PSO
A constrained multi-objective coevolutionary algorithm with adaptive operator selection for efficient test scheduling in interposer-based 2.5D ICs
Exploring isospectral cantilever beams using electromagnetism inspired optimization technique
An improved iterative greedy athm for energy-efficient distributed assembly no-wait flow-shop scheduling problem
Particle swarm optimization of deep neural networks architectures for image classification
A constructive evolutionary approach for feature selection in unsupervised learning
A molecular simulation based computational intelligence study of a nano-machining process with implications on its environmental performance
A metaheuristic approach to solve Dynamic Vehicle Routing Problem in continuous search space
Differential evolution algorithm-based range image registration for free-form surface parts quality inspection
A random dynamic grouping based weight optimization framework for large-scale multi-objective optimization problems
A firefly algorithm for the environmental prize-collecting vehicle routing problem
Feature subset selection using differential evolution and a wheel based search strategy
Variation Operators for Grouping Genetic Algorithms: A Review
An enhanced decomposition-based multi-objective evolutionary algorithm with neighborhood search for multi-resource constrained job shop scheduling problem
HydroPhysics-NSGA-II: A physics-informed multi-objective evolutionary algorithm for groundwater contaminant emergency scheduling
A novel disjunctive-graph-based meta-heuristic approach for multi-objective resource-constrained project scheduling problem with multi-skilled staff
Purpose-directed two-phase multiobjective differential evolution for constrained multiobjective optimization
Collaborative scheduling of production resources and spare parts inventory for distributed equipment with feedback guidance and minimum capacity loss
Corrigendum to "Network decompostion using Kernighan-Lin strategy aided harmony search algorithm" [Swarm and Evolutionary Computation 7C (2012) 1-6]
A swarm intelligence approach to the early/tardy scheduling problem
Intelligent dynamic spectrum access using hybrid genetic operators
A multimodal multi-objective evolutionary algorithm with two-stage dual-indicator selection strategy
Multi-population techniques in nature inspired optimization algorithms: A comprehensive survey
Brain programming is immune to adversarial attacks: Towards accurate and robust image classification using symbolic learning
Deep reinforcement learning algorithm incorporating problem characteristics for dynamic multi-objective permutation flow-shop scheduling problem
Listwise ranking predictor for evolutionary neural architecture search
Many-objective optimization for scheduling of crude oil operations based on NSGA-Ⅲ with consideration of energy efficiency
Parking Vehicle-Assisted Task Offloading in Edge Computing: A dynamic multi-objective evolutionary algorithm with multi-strategy fusion response
Three stage based reinforcement learning for combining multiple metaheuristic algorithms
Model and metaheuristics for robotic two-sided assembly line balancing problems with setup times
Multi-strategy dynamic multi-objective evolutionary algorithm with hybrid environmental change responses
Multi-scenario microgrid optimization using an evolutionary multi-objective algorithm
An improved NSGA-II algorithm based on reinforcement learning for aircraft moving assembly line integration optimization problem
On the representativeness metric of benchmark problems in numerical optimization
A multi-objective hierarchical aggregation optimization algorithm for dynamic network structures in federated learning
A knee-oriented many-objective differential evolution with bi-strategy and Manhattan distance-domination range
Artificial infectious disease optimization: A SEIQR epidemic dynamic model-based function optimization algorithm
Review of harmony search with respect to algorithm structure
Sustainable scheduling of distributed permutation flow-shop with non-identical factory using a knowledge-based multi-objective memetic optimization algorithm
A dual population collaborative genetic algorithm for solving flexible job shop scheduling problem with AGV
SFG-DE: An explainable and evolvable differential evolution for learning to generate operator structures
Optimized framework for strategic electric vehicle charging station placement and scheduling in distribution systems with renewable energy integration
A two-stage optimization approach to image-capture window positioning and path planning for automatic optical inspection
Fast Pareto set approximation for multi-objective flexible job shop scheduling via parallel preference-conditioned graph reinforcement learning
Optimal planning of distributed energy resources in harmonics polluted distribution system
Micro-Genetic algorithm with fuzzy selection of operators for multi-Objective optimization: μFAME
Constrained multitasking optimization via co-evolution and domain adaptation
Memetic algorithm based on learning and decomposition for multiobjective flexible job shop scheduling considering human factors
Ensemble of selection operators for decomposition-based multi-objective evolutionary optimization
A novel strategy for the combinatorial production planning problem using integer variables and performance evaluation of recent optimization algorithms
An aRBF surrogate-assisted neighborhood field optimizer for expensive problems
A comparison-relationship-surrogate evolutionary algorithm for multi-objective optimization
Multi-objective particle swarm optimization with adaptive strategies for feature selection
Differential evolution reveals the effect of polar and nonpolar solvents on carotenoids: A case study of astaxanthin optical response modeling
Effectual recommendations using artificial algae algorithm and fuzzy c-mean
Artificial intelligence algorithms in unmanned surface vessel task assignment and path planning: A survey
Decomposition-based evolutionary algorithm with dual adjustments for many-objective optimization problems
An arithmetic optimization algorithm with balanced diversity and convergence for multimodal multiobjective optimization
Improved sampling using loopy belief propagation for probabilistic model building genetic programming
ACDB-EA: Adaptive convergence-diversity balanced evolutionary algorithm for many-objective optimization
A niching backtracking search algorithm with adaptive local search for multimodal multiobjective optimization
Many-objective evolutionary algorithm based on parallel distance for handling irregular Pareto fronts
A two-stage solution method based on NSGA-II for Green Multi-Objective integrated process planning and scheduling in a battery packaging machinery workshop
Adaptive Global WASF-GA to handle many-objective optimization problems
Diversity-based adaptive differential evolution algorithm for multimodal optimization problems
An evolutionary algorithm driving by dimensionality reduction operator and knowledge model for the electric vehicle routing problem with flexible charging strategy
Large-dimensionality small-instance set feature selection: A hybrid bio-inspired heuristic approach
Batch subproblem coevolution with gaussian process-driven linear models for expensive multi-objective optimization
Island neighboring heuristics harmony search algorithm for flow shop scheduling with blocking
Evolutionary dynamic optimization: A survey of the state of the art
An offline learning co-evolutionary algorithm with problem-specific knowledge
Differential Evolution: A survey of theoretical analyses
A self-adaptive multi-population based Jaya algorithm for engineering optimization
A novel approach to select the best portfolio considering the preferences of the decision maker
Pressure point driven evolutionary algorithm for many-objective optimization