Документ посвящен качественному проектированию программных систем и обсуждает проблемы, связанные с ростом сложности и отсутствием надежных методов обеспечения качества. Представлен p-modeling framework, который основан на методологиях MSF и UML и повышает эффективность проектирования. Подчеркивается важность оценки качества и рисков в процессе проектирования с использованием уникальных техник, таких как безмолвные сессии моделирования и обратная семантическая трассировка.