A . 提供图示化的思想表达工具，并能对其表达的内容进行逻辑验证
B . 提供计算机辅助下的快速的程序开发工具，如4GL
C . 提供相关的数据管理工具，如果数据字典的管理
D . 以上选项皆正确