Terms for subject Software containing method

English	Russian
based on formal methods	на основе методов формальной верификации программного обеспечения (Alex_Odeychuk)
formal methods toolsuite	интегрированный инструмент формальной верификации (русс. термин "интегрированный инструмент" для перевода взят из кн.: Шефер К., Хо К., Харроп Р. Spring 4 для профессионалов Alex_Odeychuk)
native method	метод с реализацией в неуправляемом коде (IBM Alex_Odeychuk)
situational method engineering	ситуационная инженерия методов (Alex_Odeychuk)
software engineering method and theory	теория и методология инженерии программного обеспечения (Alex_Odeychuk)
software engineering method and theory	теория и методология программной инженерии (Alex_Odeychuk)
software engineering models and methods	модели и методы программной инженерии (Alex_Odeychuk)
software engineering models and methods	модели и методы разработки ПО (Alex_Odeychuk)
software engineering tools and methods	методы и инструменты программной инженерии (Alex_Odeychuk)