Вісники та науково-технічні збірники, журнали
Permanent URI for this communityhttps://ena.lpnu.ua/handle/ntb/12
Browse
3 results
Search Results
Item Специфікація мережі прототипів для САПР розподіленої інформаційної системи(Видавництво Національного університету “Львівська політехніка”, 2002-03-26) Буров, Є. В.; Національний університет «Львівська політехніка»Прототипування - це один з етапів проектування розподілених інформаційних систем, під час якого проектувальник постійно порівнює параметри проектованої системи з параметрами існуючих типових вирішень. Запропоновано систему формальних специфікацій для підтримки вирішення цієї задачі.Item Система формальних специфікацій для проектування розподілених інформаційних систем(Видавництво Національного університету “Львівська політехніка”) Буров, Є. В.; НУ “Львівська політехніка”Actual accélération of business processes modification présents new challenges to information System automation design tools and concepts. This paper propose an methodology and formai spécification System to assist information design process during complété life-cycle with spécial emphasis on physical design stage.Item Автоматизація аналізу функціональної структури розподіленої інформаційної системи(Видавництво Національного університету “Львівська політехніка”) Буров, Є. В.; НУ “Львівська політехніка”The functional structure of distributed information system remains an important media for both system designer and owner to clarify and coordinate their respective visions and positions. Existing CASE-tools are oriented mostly to reflect a logical component of functional structure, not physical one dealing with parameters and evaluations. This paper propose a formal specification and graphical notation to represent not only logical, but also physical functional aspects.