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

    • Electrical and Electronic Engineering
    • Computer Networks and Communications

    フィンガープリント Making changes in formal protocol specifications' の研究トピックを掘り下げます。これらはともに一意のフィンガープリントを構成します。

  • これを引用

    Bista, B. B., Takahashi, K., Kinoshita, T., & Shiratori, N. (1997). Making changes in formal protocol specifications. IEICE Transactions on Communications, E80-B(6), 974-978.