规格说明是问题域为满足用户需求而提供的解决方案，规定了解系统的行为特征。