Buffer a Novel Specification Language for Digital Systems
Summary :
This paper presents a new language for writing specifications for digital systems. In the language (Buffer) to be described much attention has been given to its constructs for making the specifications understandable, precise enough, unambiguous, and easy to check for completeness and consistency.
- Publication
- IEICE TRANSACTIONS on transactions Vol.E70-E No.10 pp.902-905
- Publication Date
- 1987/10/25
- Publicized
- Online ISSN
- DOI
- Type of Manuscript
- LETTER
- Category
- Software Systems
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
P. Alberto PALACIOS, Sachio NAITO, Masahiro TSUNOYAMA, "Buffer a Novel Specification Language for Digital Systems" in IEICE TRANSACTIONS on transactions,
vol. E70-E, no. 10, pp. 902-905, October 1987, doi: .
Abstract: This paper presents a new language for writing specifications for digital systems. In the language (Buffer) to be described much attention has been given to its constructs for making the specifications understandable, precise enough, unambiguous, and easy to check for completeness and consistency.
URL: https://global.ieice.org/en_transactions/transactions/10.1587/e70-e_10_902/_p
Copy
@ARTICLE{e70-e_10_902,
author={P. Alberto PALACIOS, Sachio NAITO, Masahiro TSUNOYAMA, },
journal={IEICE TRANSACTIONS on transactions},
title={Buffer a Novel Specification Language for Digital Systems},
year={1987},
volume={E70-E},
number={10},
pages={902-905},
abstract={This paper presents a new language for writing specifications for digital systems. In the language (Buffer) to be described much attention has been given to its constructs for making the specifications understandable, precise enough, unambiguous, and easy to check for completeness and consistency.},
keywords={},
doi={},
ISSN={},
month={October},}
Copy
TY - JOUR
TI - Buffer a Novel Specification Language for Digital Systems
T2 - IEICE TRANSACTIONS on transactions
SP - 902
EP - 905
AU - P. Alberto PALACIOS
AU - Sachio NAITO
AU - Masahiro TSUNOYAMA
PY - 1987
DO -
JO - IEICE TRANSACTIONS on transactions
SN -
VL - E70-E
IS - 10
JA - IEICE TRANSACTIONS on transactions
Y1 - October 1987
AB - This paper presents a new language for writing specifications for digital systems. In the language (Buffer) to be described much attention has been given to its constructs for making the specifications understandable, precise enough, unambiguous, and easy to check for completeness and consistency.
ER -
English
