Savoska, Snezana (2012) Modelling Z-specification in UML. In: ISGT 2012, 2012, Sofia.
![[thumbnail of ISGT_2012_SS.pdf]](https://eprints.uklo.edu.mk/style/images/fileicons/text.png) |
Text
ISGT_2012_SS.pdf Download (1MB) |
Abstract
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 |
| URI: | https://eprints.uklo.edu.mk/id/eprint/5843 |
Actions (login required)
 |
View Item |