Abstract
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.
| Original language | English |
|---|---|
| Pages (from-to) | 974-978 |
| Number of pages | 5 |
| Journal | IEICE Transactions on Communications |
| Volume | E80-B |
| Issue number | 6 |
| Publication status | Published - 1997 |
Keywords
- Communication
- Protocol flexible synthesis
- Requirement change
ASJC Scopus subject areas
- Electrical and Electronic Engineering
- Computer Networks and Communications