(Хмельницький національний університет, 2012) Поморова, О.В.; Парфенов, С.О.
У статті описується процес розробки моделі програмного забезпечення у середовищі IBM Rational
Rhapsody Developer відповідно до поставлених вимог, тестування моделі на відповідність вимогам та верифікація
автоматично згенерованого коду засобами Understand Source Code Analysis and Metrics та PVS-Studio.