UML being semi formal in nature, it lacks formal syntax and hence automated verification of
analysis and design specifications cannot be done. Verification at early phases of SDLC has …

The two most critical phases of SDLC are the specification and the designing phase as they
involve the transformation of the semantics from real world domain to computer software …

We propose a new formal model of UML use case diagram using Z notation to address
some of its shortcomings. UML use case diagram has therefore become commonly used to …

Requirements analysis and design specification are serious issues in systems development
because of the semantics involved in transformation of real world problems to computer …

Although, Unified Modeling Language (UML) has become a de-facto standard for design
and specification of object oriented systems but its structures being semi-formal in nature …

UML being semi formal in nature, it lacks formal syntax and hence automated verification of
design specifications cannot be done. To address this we propose a UML Compiler that …

UML State Machine Diagrams (SMDs) are a core component of the UML 2.0 specification for
complex systems. These SMDs provide certain overview features to ordinary state …

A software model is a widely used technique to specify software. A UML model may contain
different diagrams and a diagram is built from different elements. Each element is restraint to …

Purpose: The aim of this study is to identify the issues and problems in the current Libyan
voting system, and to develop a secure e-voting prototype system associated with the Libyan …

Modeling languages that aim to capture PIM level behavior are still a challenge. We propose
a high level behavioral formalism based on the Abstract State Machines (ASMs) for the …