Výsledky vyhľadávania - "ОБЪЕКТНО-ОРИЕНТИРОВАННОЕ МОДЕЛИРОВАНИЕ"
-
1
A constraint library for specification of industrial data models
ISSN: 2079-8156, 2220-6426Vydavateľské údaje: Russian Academy of Sciences, Ivannikov Institute for System Programming 01.10.2018Vydané v Trudy Instituta sistemnogo programmirovaniâ (01.10.2018)“…The paper is addressed to an analysis of object-oriented data models specified at EXPRESS language and widely used in industrial applications. These models…”
Získať plný text
Journal Article -
2
A combined method for verification of large-scale data models
ISSN: 2079-8156, 2220-6426Vydavateľské údaje: Russian Academy of Sciences, Ivannikov Institute for System Programming 01.10.2018Vydané v Trudy Instituta sistemnogo programmirovaniâ (01.10.2018)“…The paper is addressed to the actual problem of verification of large-scale data models applied in various industrial areas and specified using popular…”
Získať plný text
Journal Article