Средства построения формальной модели графического интерфейса

Немаловажная вещь в программировании, недооцениваемая многими - это технология программирования. Без использования соответствующих технологий, разработка программного обеспечения оказывается на уровне экстремального программирования. Для разработки формальной модели графического интерфейса, я использовала технологию RUP (Rational Unified Process). Эта технология использует принципы итеративного наращиваемого подхода к созданию программного обеспечения и планирования управления проектом на основе вариантов использования.

Для построения модели использовалась среда Rational Rose, и язык UML. Разработка модели велась на основе формального описания DVM-системы и перечня требований к графическому интерфейсу DVM-системы.

С помощью технологии RUP, для формальной модели графического интерфейса были построены все необходимые диаграммы и приведены соответствующие описания. В процессе разработки формальной модели были соблюдены требования стандарта ISO 12207. При возобновлении разработки графического интерфейса DVM-системы, сравнение с формальной моделью позволит оценить соответствие интерфейса всем требованиям.