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.
|ジャーナル||IEICE Transactions on Communications|
|出版ステータス||Published - 1997|
ASJC Scopus subject areas
- コンピュータ ネットワークおよび通信