摘要
本文简要介绍了RAISE规范语言的基本概念,并描述了其语义特征。从而为准确地理解RAISE规范语言、正确地描述其形式语义奠定良好的基础。
This paper briefly introduces the basic concepts of the RAISE language, and describes its semantic characteristics. Thus, it provides an excellent foundation for correctly understanding the RAISE specification language and describing its formal semantics.
出处
《计算机工程与科学》
CSCD
1993年第4期28-33,89,共7页
Computer Engineering & Science
