Some authors suggest that transitioning requirements engineering from the traditional
statements in natural language with shall clauses to model-based requirements within a …

The requirement specification process is an important part of a project and has the potential
to prevent problems that may last for years after a project is delivered. Previous studies on …

Abstract Systems Modeling Language (SysML) has been applied in the past years to a
variety of software and systems engineering projects, by hundreds of researchers …

Current infrastructures in modern cities are highly dependent on complex software-intensive
systems, which are composed of many elements, including software, sensors, actuators, and …

Test complexity and test adequacy are frequently raised by software developers and testing
agents. However, there is little research works at this aspect on specification-based testing …

One of the most significant phases of software development is software testing, because of
its value in identifying mistakes and gaps in the early stages of program development. In the …

There are strong demands for integrating various digital multimedia products such as 2D
and 3D images, models, and animations in the development of software applications. Many …

Requirements form the backbone of contracting in acquisition programs. Requirements
define the problem boundaries within which contractors try to find acceptable solutions …

Currently, software complexity and size has been steadily growing, while the variety of
testing has also been increased as well. The quality of software testing must be improved to …

The ever-increasing design complexity of embedded systems is constantly pressing the
demand for more abstract design levels and possible methods for automatic verification and …