In the Systems Engineering (SE) domain there has been a paradigm shift from document-
based to model-based system development artefacts; in fact, new methodologies are …

At the dawn of the 21st century and the information age, communication and c-puting power
are becoming ever increasingly available, virtually pervading almost every aspect of modern …

A major challenge in software development process is to advance error detection to early
phases of the software life cycle. For this purpose, the Verification and Validation (V&V) of …

With the development of the Internet, making software is often essential, also it is
complicated to succeed in the project's development. There is a necessity in delivering …

SysML activity diagrams are OMG/INCOSE standard diagrams used for modeling and
specifying probabilistic systems. They support systems composition by call behavior and …

Deadlock and nondeterminism may become increasingly hard to detect in concurrent and
distributed systems. UML activity diagrams are flowcharts that model sequential and …

Systems Modeling Language (SysML) is used to capture systems design as descriptive and
analytical system models, which relate text-based requirements to the system design model …

Formal verification of UML diagram is the act of proving or disproving the correctness of
intended algorithms underlying a system with respect to a certain formal specification or …

The main challenge in software development process is to detect and fix the deviations of
system's behaviors at different abstraction levels in early phases. For this purpose, UML 2 …

The paper presents probabilistic CPM scheduling using an add-on program to the
STROBOSCOPE simulation system that allows dependence and correlation between activity …