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
ISSN: 0950-5849
DOI: 10.1016/0950-5849(95)01080-7
Volume: 38
Issue: 6
Begin Page: 419
End Page: 434
Appears in Collections:Articles

Files in This Item:

  1. A1996UW11400005.pdf