Terms for subject Software containing методы

Russian	English
методы анализа программного обеспечения	software analysis techniques (Alex_Odeychuk)
методы верификации	verification techniques (программных систем Alex_Odeychuk)
методы и инструменты программной инженерии	software engineering tools and methods (Alex_Odeychuk)
методы и средства автоматизации тестирования	test automation (корпорации AdaCore; контекстуальный перевод на русс. язык Alex_Odeychuk)
модели и методы программной инженерии	software engineering models and methods (Alex_Odeychuk)
модели и методы разработки ПО	software engineering models and methods (Alex_Odeychuk)
формальные методы инженерии программного обеспечения	formal methods in software engineering (Alex_Odeychuk)
формальные методы инженерии программного обеспечения	formal methods (Alex_Odeychuk)