Shih-Chien Chou, Jason Jen-Yen Chen, Chian-Goei Chung. An executable specification language for specification understanding in object-oriented specification reuse. Information \& Software Technology, 38(6):419-434, 1996. [doi]
@article{ChouCC96:0,
title = {An executable specification language for specification understanding in object-oriented specification reuse},
author = {Shih-Chien Chou and Jason Jen-Yen Chen and Chian-Goei Chung},
year = {1996},
doi = {10.1016/0950-5849(95)01080-7},
url = {http://dx.doi.org/10.1016/0950-5849(95)01080-7},
tags = {reuse},
researchr = {https://researchr.org/publication/ChouCC96%3A0},
cites = {0},
citedby = {0},
journal = {Information \& Software Technology},
volume = {38},
number = {6},
pages = {419-434},
}