 |
| Russian | English |
| модели и методы программной инженерии | software engineering models and methods (Alex_Odeychuk) |
| модель межплатформенной разработки программного обеспечения | cross-platform development model (InfoWorld Alex_Odeychuk) |
| модель надёжности программного обеспечения | software reliability model (Alex_Odeychuk) |
| модель прогнозирования экономических характеристик производства программных продуктов | COCOMO (из кн.: Липаев В.В. Экономика программной инженерии заказных программных продуктов Alex_Odeychuk) |
| модель роста надёжности программного обеспечения | SRGM (Software Reliability Growth Model Litania) |
| программное средство построения формальных моделей программ и верификации их функциональных свойств | formal proof engine (Electronic Design; русс. перевод взят из: Кривчиков М.А. Формальные модели и верификация свойств программ с использованием промежуточного представления Alex_Odeychuk) |