关于软件设计表达法，以下哪些说法是正确的（）

• A、伪代码和程序设计语言POL，类似于编成语言，一般在详细设计阶段描述过程和方法的行为
• B、形式规范语言是一种文本语言，使用数学（逻辑、集合、顺序）的基本概念，严格、抽象地定义软组件的接口和行为
• C、实体关系图ERD（Entity Relationship Diagram）：用以定义存储在信息系统中数据的概念模型，只用于数据库模型中
• D、组件图表示出组件集合及其关系。组件提供接口集合的实现，是系统物理的和可置换的部件