Pushpa Kamal Dahal has hinted at the possibility of party unification with the CPN-UML-but only if KP Sharma Oli is no longer its leader.Speaking at a gathering in Benighat Rorang, Dhading, Dahal said ...

This repository contains a course project for Software Specification and Modeling, focused on the analysis and design of a software system. It includes functional and non-functional requirements, use ...

Abstract: UML activity diagram is widely used to describe the behavior of the software system. Unfortunately, there is still no practical tool to verify the UML diagrams automatically. This paper ...

Abstract: This paper presents a methodology for translating models in the SCCD formalism into the Discrete Event System Specification (DEVS) formalism. SCCD, which combines Statecharts with Class ...

Design and architecture documentation for SmartPay, covering Functional Requirements, Non-functional Requirements, use cases, activity flows, system diagrams, and deployment architecture.