Traceability in Model Transformation languages supports not only post-execution analysis, but also incremental update and coordination of repetition. The Query/View/Transformation family of languages specify a form of traceability that unifies high and low level abstraction in declarative and imperative transformation languages. Unfortunately this aspect of the QVT specification is little more ...

Radio Frequency Identification (RFID) applications have spread all over the world. In order to provide their security and privacy, researchers proposed different kinds of protocols. In this paper, we analyze the privacy of a new protocol, proposed by Yu-Jehn in 2015 which is based on Electronic Product Code Class1 Generation 2 (EPC C1 G2) standard. By applying the Ouafi_Phan privacy model, we s...

Traceability is a critically important aspect of software development that is often required by various professional standards and government agencies. Yet, current approaches do not adequately address end-toend traceability. Consequently, many industry projects become entangled in process overhead and fail to derive much benefit from current traceability solutions. This paper presents a succes...

Traceability codes are combinatorial objects introduced by Chor, Fiat and Naor in 1994 to be used to trace the origin of digital content in traitor tracing schemes. Let F be an alphabet set of size q and n be a positive integer. A t-traceability code is a code C ⊆ Fn which can be used to catch at least one colluder from a collusion of at most t traitors. It has been shown that t-traceability co...

Our earlier research indicated the feasibility of the PREDIQT method for model-based prediction of impacts of architectural design changes, on the different quality characteristics of a system. The PREDIQT method develops and makes use of a multi-layer model structure, called prediction models. Usefulness of the prediction models requires a structured documentation of both the relations between...

If we are to be successful in the development of the next generation of agent oriented systems we must deal with the critical issue of requirements traceability. Failure to do so will imply in higher costs and longer corrective and adaptable maintenance. Unfortunately most agent-oriented methodologies are not addressing this issue. Requirement traceability is intended to ensure continued alignm...

[Context and motivation] Safety evidence plays an important role in gaining confidence in the safe operation of a system in a given context. For a large system, it is necessary to provide information about thousands of artefacts that might be used as evidence and about the relationships among themselves and also with other safety assurance assets. [Question/problem] Past research has only addre...

Requirements traceability is defined as “the ability to describe and follow the life of a requirement, in both a forwards and backwards direction”.[1] Once a requirement is documented, traces for every component of the software system that are impacted by the requirement, are constructed and maintained. During later discussions regarding bug fixes and proposed system enhancements, these traces ...

In requirement engineering, researchers have proposed various tractability recovery approaches. To the best of our knowledge, all traceability recovery approaches have low precision and recall. Our main claim in this chapter is that there exist factors that impact the traceability approaches’ inputs, in particular source document, target document, and experts’ opinion, that cause low precision ...