標題: An executable specification language for specification understanding in object-oriented specification reuse
作者: Chou, SC
Chen, JY
Chung, CG
資訊工程學系
Department of Computer Science
關鍵字: specification reuse;specification behavior;executable specification language
公開日期: 1-六月-1996
摘要: System analysis time can be reduced through specification reuse which, however, requires specification understanding. This paper presents an object-oriented executable specification language which reduces understanding time through executing specifications. In addition to being executable, the specification language hides as many classes as possible within subsystems, and explicitly specifies relationships between specification components. This facilitates specification modification. Moreover, the language explicitly specifies interface parameters of specification components. This facilitates specification composition.
URI: http://dx.doi.org/10.1016/0950-5849(95)01080-7
http://hdl.handle.net/11536/1251
ISSN: 0950-5849
DOI: 10.1016/0950-5849(95)01080-7
期刊: INFORMATION AND SOFTWARE TECHNOLOGY
Volume: 38
Issue: 6
起始頁: 419
結束頁: 434
顯示於類別:期刊論文


文件中的檔案:

  1. A1996UW11400005.pdf