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

nginx-asg-sync is an agent process that runs on the same instance as NGINX Plus. It polls for changes to the backend instance groups via the Cloud Provider API. When it sees that a scaling event has ...

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: Verification of real time embedded systems is becoming more and more complex in terms of maintaining the code size and keeping equivalence between the specification. It requires the ...