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 ...

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

Abstract: An integration testing method for component- based software is presented. The method, based on the widely used UML (Unified Modelling Language) notation, covers a complete integration ...