Terms for subject Information technology containing correct method

English	Russian
correct-by-construction design methods	методы проектирования, обеспечивающие создание работоспособных устройств