Search academic texts

Information × Registration Number 0310U002493, 0106U005856 , R & D reports Title Constructive mathematical formalisms development for intellectual decision-making and knowledge processing systems, languages standardizing for DBMS and CASE-means popup.stage_title Дослідження секвенціальних дерев і резолюційних методів; можливісних моделей для задач моделювання динаміки в умовах невизначеності; опис змістовної семантики ядра мови UML Head Redko Volodymyr Nykyforovych, Registration Date 14-04-2010 Organization Taras Shevchenko Kiev university popup.description2 The sequential calculus of literal type, correct and full linear resolution methods have been investigated; the mathematical formalism for dynamic description and modelling under uncertainty has been developed, the consistent model of capability theory has been constructed. Syntax and semantics for object models have been developed; semantics for main elements of UML language diagrams - analogs of (extended) ER-diagrams has been defined: abstract syntax and semantics for UML/ОCL language have been specified. Product Description popup.authors popup.nrat_date 2020-04-02 Close