Terms for subject Programming containing solution process

English	Russian
To do this UML and UP unify previous attempts at visual modeling languages and software engineering processes into a best-of-breed solution	для этого UML и UP унифицируют опыт предшествующих языков визуального моделирования и процессов разработки программного обеспечения наиболее оптимальным образом (см. UML 2 and the Unified Process: Practical Object-Oriented Analysis and Design, Second Edition by Jim Arlow and Ila Neustadt 2005 ssn)
from business processes to solution envisioning	переход от бизнес-процессов к концепции решения (ssn)
To prove more general theorems about recursively defined processes, it is necessary to introduce a law which states that every properly guarded recursive equation has only one solution	для доказательства более общих теорем о рекурсивно определённых процессах необходимо ввести закон, гласящий, что всякое должным образом предварённое рекурсивное уравнение имеет единственное решение (см. Communicating Sequential Processes by C.A.R. Hoare 1985 ssn)
solution envisioning process	процесс выработки концепции решения (ssn)