Modelling Z-specification in UML

Savoska, Snezana (2012) Modelling Z-specification in UML. In: ISGT 2012, 2012, Sofia.

[thumbnail of ISGT_2012_SS.pdf] Text

Download (1MB)


Abstract. Development of software models with specialized notations permits nonimportant details of the system to be omitted. Z-notation is a tool for specification complex systems using abstract mathematical notation. Further Z-specification could be converted for input on software development environments. UML is the most popular notation used today in these environments. The aim of this paper is to investigate this process of conversion of Z-specification to UML models. It is based on an example specification of relational model of data.

Item Type: Conference or Workshop Item (Paper)
Subjects: Scientific Fields (Frascati) > Natural sciences > Computer and information sciences
Divisions: Faculty of Information and Communication Technologies
Depositing User: Prof. d-r. Snezana Savoska
Date Deposited: 30 Oct 2020 17:35
Last Modified: 30 Oct 2020 17:35

Actions (login required)

View Item View Item