抄録
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
- 電子工学および電気工学
- コンピュータ ネットワークおよび通信