Статья в формате PDF
В статье описан метод моделирования поведения программы с явным выделением состояний, основанный на SWITCH-технологии и UML-нотации, и процесс создания инструмента, поддерживающего этот метод, для платформы Eclipse.