Таблица | Карточка | RUSMARC | |
Разрешенные действия: –
Действие 'Прочитать' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети
Действие 'Загрузить' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети
Группа: Анонимные пользователи Сеть: Интернет |
Аннотация
Целью магистерской диссертации является разработка подхода к проверке корректности использования протокола программных библиотек, основная идея которого состоит в сравнении формальных спецификаций программных библиотек с трассами выполнения программы, полученными средствами динамического анализа. Результатом сравнения является список найденных нарушений спецификаций программных библиотек в анализируемой программе. Разработанный подход был реализован в виде прототипа системы для анализа Java-программ. Система включает в себя инструмент автоматизированной проверки корректности использования протоколов библиотек и графический редактор спецификаций.
Права на использование объекта хранения
Место доступа | Группа пользователей | Действие | ||||
---|---|---|---|---|---|---|
Локальная сеть ИБК СПбПУ | Все |
![]() ![]() ![]() |
||||
Внешние организации №2 | Все |
![]() |
||||
Внешние организации №1 | Все | |||||
Интернет | Авторизованные пользователи СПбПУ |
![]() ![]() ![]() |
||||
Интернет | Авторизованные пользователи (не СПбПУ, №2) |
![]() |
||||
Интернет | Авторизованные пользователи (не СПбПУ, №1) | |||||
![]() |
Интернет | Анонимные пользователи |
Оглавление
- titulnik (2) (2)
- Диплом_для_библиотеки
Статистика использования
|
Количество обращений: 133
За последние 30 дней: 0 Подробная статистика |