An executable specification language for specification understanding in object-oriented specification reuse

• 作者Shih-Chien Chou; Jen-Yen Chen; Chyan-Goei Chung
• 卷第38卷
• 期第6期
• 印刷ISSN0950-5849
• 文件大小1659.06KB
• 发表时间1996
• DOI10.1016/0950-5849(95)01080-7
• 页码419-434