现有Z面向对象扩充语言的比较

Keywords: 面向对象,扩充语言,Z语言

Full-Text   Cite this paper   Add to My Lib

Abstract:

引言软件规格说明的形式化技术提供了一种能独立于实现的、可推理的系统数学模型,具有

Full-Text