Title: An executable specification language for specification understanding in object-oriented specification reuse
Authors: Chou, SC
Chen, JY
Chung, CG
資訊工程學系
Department of Computer Science
Keywords: specification reuse;specification behavior;executable specification language
Issue Date: 1-Jun-1996
Abstract: 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
Journal: INFORMATION AND SOFTWARE TECHNOLOGY
Volume: 38
Issue: 6
Begin Page: 419
End Page: 434
Appears in Collections:Articles


Files in This Item:

  1. A1996UW11400005.pdf