Курсовая работа Алгоритм Хуанга в распределенных системах

Здравствуйте! Необходимо написать курсовую работу. Тема АЛГОРИТМ ХУАНГА ОБНАРУЖЕНИЯ ЗАВЕРШЕНИЯ В РАСПРЕДЕЛЕННОЙ СИСТЕМЕ

Есть темы, которые необходимо включить в курсовую

1. Разработка способов решения задачи и теоретический анализ эффективности предложенного решения,

2. Формальная верификация предложенного способа решения задачи с использованием TLA+/TLC,

3. Программная реализация на объектно-ориентированном и функциональном языке программирования,

4. Проведение модульного тестирования с использованием xUnit,

5. Проведение вычислительных экспериментов и сравнение теоретических и экспериментальных показателей эффективности,

Язык программирования Java

Прилагаю

Начатую курсовую, темы, пример курсовой , госты, по которым необходимо оформить курсовую

Предмет указала, как основы программирования. НО называется он, Формальные методы спецификации программного обеспечения