Книжкові видання та компакт-диски Журнали та продовжувані видання Автореферати дисертацій Реферативна база даних Наукова періодика України Тематичний навігатор Авторитетний файл імен осіб
|
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Пошуковий запит: (<.>ID=20081124018209<.>) |
Загальна кількість знайдених документів : 1
|
| Панченко Т.В. Композиційні методи специфікації та верифікації програмних систем : Автореф. дис... канд. фіз.-мат. наук: 01.05.03 / Т.В. Панченко ; Київ. нац. ун-т ім. Т.Шевченка. — К., 2006. — 17 с. — укp.Досліджено проблеми специфікації та верифікації прагматично важливих класів програмних систем за методами композиційного програмування. Розроблено композиційні моделі та мови для специфікації програмних систем зі структурованими даними. Проведено комплексний аналіз і розподіл структур даних і функцій над ними за рівнями абстракцій. Доведено репрезентативну повноту номінативних даних комплексно-номінативного рівня. Запропоновано композиційні методи для верифікації систем спеціального класу - моделі багатоекземплярного виконання програм у серверному середовищі з паралелізмом у режимі почергового виконання з переключенням зі взаємодією завдяки затосуванню спільної пам'яті. Сформульовано два варіанти часткової коректності програм на введених композиційних мовах та запропоновано методологію верифікацій, що використовує метод з лінійною складністю замість експоненційної. Завантажити Індекс рубрикатора НБУВ: З973-018.025 + Шифр НБУВ: РА343171
Рубрики:
|
|
|