Система формальних специфікацій мережі сервісів та процесорів для проектування розподілених інформаційних систем
No Thumbnail Available
Date
2001
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Видавництво Національного університету "Львівська політехніка"
Abstract
Actual trends in information technologies area present new challenges to system automation design tools and concepts. This paper propose an methodology and formal specification system to assist information design process on services and processors structure definition design stage. Запропоновано систему формальних специфікацій для автоматизації проектування розподілених інформаційних систем на стадії проектування мережі сервісів та процесорів Ця система може бути покладена в основу програмних засобів автоматизації проектування.
Description
Keywords
Citation
Буров Є. В. Система формальних специфікацій мережі сервісів та процесорів для проектування розподілених інформаційних систем / Є. В. Буров // Вісник Національного університету "Львівська політехніка". – 2001. – № 438 : Інформаційні системи та мережі. – С. 11–21. – Бібліографія: 3 назви.