单一责任原则被Tom DeMarco引入,在他的著作“结构化分析和系统规约”中,在1979年。
Single Responsibility Principle was introduced Tom DeMarco in his book Structured Analysis and Systems Specification, 1979.
顺应原则从语言现实、社会规约和心理动机三个方面阐释了语码转换的原因;
The Principle accounts for the reasons of CS occurrence in terms of linguistic reality, social conventions, and psychological motivations.
协同验证的化简规则是在语义约束一致性的原则下,逐步规约模型中无语义冲突的部分。
The reduction rules in co-verification see the consistency in semantic constraints as principle, reducing the model when there are no semantic conflicts gradually.
应用推荐