|
Kazanskii Gosudarstvennyi Universitet. Uchenye Zapiski. Seriya Fiziko-Matematichaskie Nauki, 2009, Volume 151, Book 3, Pages 200–213
(Mi uzku799)
|
|
|
|
Specialized models for the development of database applications on the basis of UML and CSP-OZ tools combination
T. M. Benduma, A. I. Enikeev Kazan State University
Abstract:
The paper presents an approach to building a specialized object-oriented model for the development of database applications. The approach is based on the combination of the UML diagram tools with the CSP-OZ formal methods. The approach is demonstrated on the relational data model.
Keywords:
formal methods, relational data model, communicating sequential processes CSP, language Z, CSP-OZ formal method.
Received: 29.04.2009
Citation:
T. M. Benduma, A. I. Enikeev, “Specialized models for the development of database applications on the basis of UML and CSP-OZ tools combination”, Kazan. Gos. Univ. Uchen. Zap. Ser. Fiz.-Mat. Nauki, 151, no. 3, Kazan University, Kazan, 2009, 200–213
Linking options:
https://www.mathnet.ru/eng/uzku799 https://www.mathnet.ru/eng/uzku/v151/i3/p200
|
Statistics & downloads: |
Abstract page: | 309 | Full-text PDF : | 128 | References: | 32 |
|