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 …

Model Based System Engineering (MBSE) has shown promising results for early design
verification of embedded systems. It requires to specify system properties/constraints at …

Abstract System and software engineers use SysML models for the graphical modeling of
the embedded systems. The SysML models are inadequate to express the discrete …

Business and Information Technology (IT) alignment methods and models have been
developed for the last few years. Mainly, they focus on strategic alignment, however, the …

Software systems are becoming more complex and their implementation requires more
rigorous modeling approaches, for this reason the OMG (Object Management Group) has …