摘要
本文主要研讨了一种著名的形式描述技术Estelle。文中先论述了Estelle的主要特征;接着讨论了Estelle的语法和语义;最后给出了Estelle的应用例子。
Estelle,a famous formal description technique,is discussed in this paper,where its principal features are also described.After discussing the syntax andsemantics of Estelle,an application example is given.
出处
《计算机应用与软件》
CSCD
1992年第4期20-30,共11页
Computer Applications and Software
