Reuse based specification support method using mathematical similarity

Ushio Yamamoto*, Eun Seok Lee, Norio Shiratori


    研究成果: Article査読


    In this paper, we discuss both effective approaches in specification process, formal specification and reuse, and focus on providing an integrated and systematic support based on them. Preparing the specification model which mediates an image of the designer and another representation of it in formal method, the designer can specify the target system incrementally and smoothly. As for the specification model, we employ LTS on the early step of specification process because of its understandability for the designer. Moreover, reuse of specification leads to reduction of the cost and time, defining retrieval mechanism of reusable cases from database by mathematically calculating similarity of them. For the reuse mechanism, we define a new concept of similarity on LTS as the criterion of case retrieval, which enables more flexible matching between the designer's requirement and the existing case than any other traditional schema on LTS, and show the case retrieval algorithm. Integration of two approaches brings us the great improvement of the productivity on system development.

    ジャーナルIEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
    出版ステータスPublished - 1996

    ASJC Scopus subject areas

    • 電子工学および電気工学
    • ハードウェアとアーキテクチャ
    • 情報システム


    「Reuse based specification support method using mathematical similarity」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。