抜粋
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
これを引用
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.