RAISE规范语言及其语义特征  

The RAISE Specification Language and Its Semantic Characteristics

作　　者：李舟军[1] 宁洪[1] 刘春林[1] 

机构地区：[1]国防科技大学

出　　处：《计算机工程与科学》1993年第4期28-33,89,共7页Computer Engineering & Science

摘　　要：本文简要介绍了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.

关 键 词：软件开发 规范语言 语义特征 RAISE 

分 类 号：TP312[自动化与计算机技术—计算机软件与理论]