软件开发工具的认识与描述客观系统的功能主要是对()阶段的支持。