Программа с указателями, в том числе использующих арифметику указателей, преобразуется в эквивалентную программу без указателей.
Для структур данных с указателями выстраиваются соответствующие типы данных, не использующих указателей.
При построении типов применяется механизм индуктивно определяемых типов данных.
Это не одна, а серия (до пяти) дипломных работ для разных видов структур данных: односвязных и двусвязыных списков, очередей, деревьев разных видов и др.
Другая особенность - программы с асинхронным параллелизмом.
Цель: Разработать удобный, для специалистов из предметной области ориентированной на проблемы экологии, интерфейса для работы с временными рядами
данных, полученных с помощью специализированного оборудования, просмотра и изменения. В процессе работы, помимо разработки внешнего вида интернет-портала, необходима разработка функционала для математической обработки рядов данных.
Обработанные данные будут предоставлены как в табличном, так и в графическом виде, с использованием специализированных графиков, диаграмм и схем:
аппроксимирующих и интерполяционных зависимостей.
Цель работы - применение современных методов и средств к анализу и верификации различных коммуникационных протоколов. Такие методы включают моделирование протоколов сетями Петри высокого уровня, анализ этих моделей с целью обнаружения ошибок и неэффективности реализации протоколов, а также метод проверки моделей для верификации сетей Петри. Особое внимание будет уделено анализу и верификации кольцевых протоколов.