?非形式描述文本

1) 非形式描述文本（Informal Specification） 2) 形式描述文本（Formal Specification） 3) 与机器无关的源程序代码（Machine-independent Source Code） ..

?进行了笼统的界定

概念架构对高层组件的“职责”进行了笼统的界定（informal specification）、以及它们之间的关系, marketing，都有它的身影；（4）通信协议设计制定.

?非形式说明

... 非形式证明 informal proof 非形式说明, 非形式描述 informal specification 非形式语法树 informal syntax tree ...