標題: | 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-Jun-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 |
Appears in Collections: | Articles |
Files in This Item:
If it is a zip file, please download the file and unzip it, then open index.html in a browser to view the full text content.