摘要
本文简述了形式规格说明技术的意义,与原型技术的关系,并叙述了规格说明语言NUSL的特点、结构和使用,然后介绍了NUSL支撑系统.
A brief introluction to formal specification and its relations with rapid prototyping is presented. The features and structure of NUSL language and its use in specifications are described. The implementation of the supporting system for NUSL is discussed.
出处
《计算机学报》
EI
CSCD
北大核心
1991年第2期138-145,共8页
Chinese Journal of Computers
关键词
规格说明语言
NUSL语言
支撑系统
Formal specification, rapid prototyping, data abstraction.
