Research at the intersection of machine learning, programming languages, and software
engineering has recently taken important steps in proposing learnable probabilistic models …

Efficient port logistic operations and management are critical for global trade and
transportation services. The current port logistic handling systems are highly centralized and …

Context: Agile methodologies and frameworks are widely used in software development
projects because of their support for continuous change and delivery. Agile software …

In most safety-critical domains the need for traceability is prescribed by certifying bodies.
Trace links are generally created among requirements, design, source code, test cases and …

Software traceability is a sought-after, yet often elusive quality in software-intensive systems.
Required in safety-critical systems by many certifying bodies, such as the USA Federal …

Software and systems traceability is widely accepted as an essential element for supporting
many software development tasks. Today's version control systems provide inbuilt features …

This report aims to advance the discussion on those fundamental aspects to be considered
in order to have trustworthy Artificial Intelligence (AI) systems in the Automated/Autonomous …

Requirements traceability has long been recognized as an important quality of a well-
engineered system. Among stakeholders, traceability is often unpopular due to the unclear …

Abstract Model-Based Software Engineering provides various modelling formalisms for
capturing the structural, behavioral, configuration, and intentional aspects of software …

Software traceability is a required component of many software development processes.
Advocates of requirements traceability cite advantages like easier program comprehension …