This paper provides a comprehensive overview and analysis of research work on how
uncertainty is currently represented in software models. The survey presents the definitions …

The Unified Modeling Language (UML) is a standard for modeling dynamic systems. UML
behavioral state machines are used for modeling the dynamic behavior of object-oriented …

In recent times, the functioning of various aspects of modern society—ranging from the
various infrastructural utilities such as electrical power, water to socio-economical aspects …

There is growing recognition that electronic student information systems support college
administrations and enhance student performance. These systems must fulfill their user's …

The size and complexity of software in spacecraft is increasing exponentially, and this trend
complicates its validation within the context of the overall spacecraft system. Current …

Wireless visual sensor networks have been adopted in different contexts to provide visual
information in a more flexible and distributed way, supporting the development of different …

Model-driven engineering (MDE) often features quality assurance (QA) techniques to help
developers creating software that meets reliability, efficiency, and safety requirements. In this …

Compliance means to adhere to laws, regulations and guidelines. It has become an integral
part of business process management since the financial crisis revealed the dimension of …

During the last two decades, a major challenge for the researchers working on modeling
and evaluation of computer-based systems has been the assessment of system Non …

Patterns embody the experience and knowledge of designers and are effective ways to
improve nonfunctional aspects of software systems. Although there are several catalogs and …