Создание спецификаций для программных систем: ключевые аспекты