Blockchain technology promises to spark a real revolution. One of most important concepts
associated with this technology is smart contracts, which enable the automatic execution of …

Alignment is a very wide subject that can be used to support an organization's information
system. Many authors have dealt with this topic according to various dimensions, including …

Acceptance testing is a validation activity performed to ensure the conformance of software
systems with respect to their functional requirements. In safety critical systems, it plays a …

The transition from an informal requirements specification in natural language to a
structured, precise specification is an important challenge in practice. It is particularly so for …

CONTEXT: Model-Driven Development (MDD) is an alternative approach for information
systems development. The basic underlying concept of this approach is the definition of …

Abstract Models transformation is the most important key in Model Driven Architecture
(MDA). The first transformation in MDA is Computing Independent Model (CIM) to Platform …

Use cases are commonly used to structure and document requirements while UML activity
diagrams are often used to visualize and formalize use cases, for example to support …

Modeling the system's specifications from the functionality perspective is an important step in
analyzing the software requirements. UML use case diagram is one of the most used …

The models transformation is the fundamental key in Model Driven Architecture approach. In
Model Driven Architecture there are two transformations kinds: the CIM to PIM transformation …

Use cases are a key technique to elicit software requirements from the point of view of the
user of a system. Their prevalence is noticeable ever since the onset of agile programming …