AN EXECUTABLE SPECIFICATION LANGUAGE FOR SPECIFICATION UNDERSTANDING IN OBJECT-ORIENTED SPECIFICATION REUSE

Authors
CHOU SC CHEN JY CHUNG CG
Citation
Sc. Chou et al., AN EXECUTABLE SPECIFICATION LANGUAGE FOR SPECIFICATION UNDERSTANDING IN OBJECT-ORIENTED SPECIFICATION REUSE, Information and software technology, 38(6), 1996, pp. 419-434
Citations number
37
Categorie Soggetti
Computer Sciences","Information Science & Library Science","Computer Science Information Systems","Computer Science Software Graphycs Programming
Journal title
Information and software technology → ACNP
ISSN journal
09505849
Volume
38
Issue
6
Year of publication
1996
Pages
419 - 434
Database
ISI
SICI code
0950-5849(1996)38:6<419:AESLFS>2.0.ZU;2-N
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 under standing time through executing specifications. In addition to being e xecutable, the specification language hides as many classes as possibl e within subsystems, and explicitly specifies relationships between sp ecification components. This facilitates specification modification. M oreover, the language explicitly specifies interface parameters of spe cification components. This facilitates specification composition.