Запропоновано дві модифікації кодування станів автомата. Модифікації базуються на використанні псевдоеквівалентних станів автомата для зменшення кількості рядків таблиці переходів автомата, а також на використанні вільних ...

Розглянуто загальну схему каркасного аналізу предметної області, яка описує широкий клас задач динамічної теорії пружності, що дозволяє розробити інструментальний програмний засіб синтезу застосувань (CASE-засіб) чисельного ...

Описано CASE-оболонку нового типу – інструментальну систему SWS, побудовану відповідно до каркасної моделі даних. Приведено схему інструментальної системи. Переліком основних користувацьких функцій SWS показано, що типізація ...