Browsing by Author "Köse, Mehmet Alp"

Now showing items 1-2 of 2

SAwUML - UML-based, contractual software architectures and their formal analysis using SPIN

Özkaya, Mert; Köse, Mehmet Alp (Pergamon-Elsevier Science Ltd, 2018)

UML is without doubt the top preferred software modelling language by practitioners. However, UML remains inadequate for the software architecture level of design due to its weak support for some important requirements ...
Towards extending UML's activity diagram for the architectural modeling, analysis, and implementation

Köse, Mehmet Alp; Özkaya, Mert (Institute of Electrical and Electronics Engineers Inc., 2020)

SAWUML is a general-purpose software modeling language that extends UML by unifying component and sequence diagrams for the specifications of software architectures. While component diagram is used for modeling the system ...