Застосування онтологічних моделей для побудови програмних систем
Loading...
Date
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Видавництво Львівської політехніки
Abstract
Розглянуто математичну формалізацію програмної системи, побудованої на основі онтологічних моделей за допомогою апарату алгебраїчної теорії типів. Розроблено формальне подання моделей та системи їх опрацювання. In this paper mathematical formalization for software system based on ontological
models is proposed. Formalization is built using algebraic types system approach. Developed formal representation of models and modeling system.
Description
Citation
Буров Є. В. Застосування онтологічних моделей для побудови програмних систем / Є. В. Буров // Вісник Національного університету "Львівська політехніка". – 2012. – № 743 : Інформаційні системи та мережі. – С. 26–34. – Бібліографія: 12 назв.