IEICE TRANSACTIONS on Communications
Making Changes in Formal Protcol Specifications
Summary :
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.
- Publication
- IEICE TRANSACTIONS on Communications Vol.E80-B No.6 pp.974-978
- Publication Date
- 1997/06/25
- Publicized
- Online ISSN
- DOI
- Type of Manuscript
- Category
- Communication Software
Authors
Keyword
Latest Issue
Copyrights notice of machine-translated contents
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
Cite this
Copy
Bhed Bahadur BISTA, Kaoru TAKAHASHI, Tetsuo KINOSHITA, Norio SHIRATORI, "Making Changes in Formal Protcol Specifications" in IEICE TRANSACTIONS on Communications,
vol. E80-B, no. 6, pp. 974-978, June 1997, doi: .
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.
URL: https://global.ieice.org/en_transactions/communications/10.1587/e80-b_6_974/_p
Copy
@ARTICLE{e80-b_6_974,
author={Bhed Bahadur BISTA, Kaoru TAKAHASHI, Tetsuo KINOSHITA, Norio SHIRATORI, },
journal={IEICE TRANSACTIONS on Communications},
title={Making Changes in Formal Protcol Specifications},
year={1997},
volume={E80-B},
number={6},
pages={974-978},
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.},
keywords={},
doi={},
ISSN={},
month={June},}
Copy
TY - JOUR
TI - Making Changes in Formal Protcol Specifications
T2 - IEICE TRANSACTIONS on Communications
SP - 974
EP - 978
AU - Bhed Bahadur BISTA
AU - Kaoru TAKAHASHI
AU - Tetsuo KINOSHITA
AU - Norio SHIRATORI
PY - 1997
DO -
JO - IEICE TRANSACTIONS on Communications
SN -
VL - E80-B
IS - 6
JA - IEICE TRANSACTIONS on Communications
Y1 - June 1997
AB - 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.
ER -
English
