Making changes in formal protocol specifications

Bhed Bahadur Bista*, Kaoru Takahashi, Tetsuo Kinoshita, Norio Shiratori

*この研究の対応する著者

    研究成果: Article査読

    抄録

    Users of computer communication systems and their requirements are rapidly increasing and changing. It is desirable to have a development method which helps to make small changes in a design of a system to obtain another system which satisfies new requirement changes. We propose a flexible synthesis method which adopts designers' requirement changes in formal protocol specifications designed in LOTOS.

    本文言語English
    ページ(範囲)974-978
    ページ数5
    ジャーナルIEICE Transactions on Communications
    E80-B
    6
    出版ステータスPublished - 1997

    ASJC Scopus subject areas

    • 電子工学および電気工学
    • コンピュータ ネットワークおよび通信

    フィンガープリント

    「Making changes in formal protocol specifications」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

    引用スタイル