Подробности на сайтах Єлектронного Университета
Да, в Интернете есть подробности по технологии разработки Интернет-проектов с использованием методов доказательного (безошибочного) программирования на сайте "Интернет-Технологии" [][]
и на сайте "Управление Интернет-Проектами"
[][]
Последнее - тема нашего доклада, планируемого на Всемирном Конгрессе по Управлению Проектами.