抄録
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