CONTEXT: Traceability is one of the basic tenets of all safety standards and a key
prerequisite for software safety certification. In the current state of practice, there is often a …

This paper makes a case for Source Code Analysis and Manipulation. The paper argues
that it will not only remain important, but that its importance will continue to grow. This …

Software change impact analysis is the activity of the software maintenance process that
determines possible effects of proposed software changes. This activity is necessary to be …

Certifying safety-critical software and ensuring its safety requires checking the conformance
between safety requirements and design. Increasingly, the development of safety-critical …

Model defects are a significant concern in the Model-Driven Development (MDD) paradigm,
as model transformations and code generation may propagate errors to other notations …

To understand and test a large software product is very challenging task. One way to ease
this is program slicing technique that decomposes the large programs into smaller ones and …

Among model comprehension tools, model slicers are tools that extract a subset of model
elements, for a specific purpose. Model slicers provide a mechanism to isolate and focus on …

Model-based systems engineering (MBSE) focuses on using models to support the design,
optimization, simulation, and ultimately deployment of complex cyber-physical systems …

The null space-based LDA takes full advantage of the null space while the other methods
remove the null space. It proves to be optimal in performance. From the theoretical analysis …

Relational database management systems (RDMBSs) today are the predominant
technology for storing. In the past few years, the” one size fits all “-thinking concerning …