Обсуждение категории:Формальные методы

Мне кажется, категория требует разделения на Формальные методы разработки и Формальные методы в информатике а то получается, что Лямбда-исчисление косвенно попадает в категорию Технологии организации программирования, а Цикл разработки программного обеспечения в Логику (хотя очевидно, что разработка ПО логике не подчиняется) Leshabirukov 10:45, 25 февраля 2011 (UTC)