半形式化需求说明语言的设计及应用

• Design and Application of Semi-formal Requirement Specification Language