CASE的主要功能不包括（）。

A.提供抽象的思想表达工具，并能对其表达的内容进行逻辑验证

B.提供计算机辅助下的快速的程序开发工具，如4GL

C.提供自动化或半自动化的文档生成工具

D.提供相关的数据管理工具，如果数据字典的管理