规格说明语言ChiSL

ＣｈｉＳＬ是一种作用式可执行的功能规格说明语言，它是以数据抽象为核心的将代数规格说明和面向模型的规格说明两种技术有机地结合起来的模块化语言，具有良好的数学性质和可读性，能比较方便地书写大型规格说明。由于该语言是可执行的，因此ＣｈｉＳＬ规格说明可作为所要开发的软件系统的一个原型在该语言的支撑系统上执行。本文后面介绍了使用ＣｈｉＳＬ语言及其支撑系统开发软件原型的一些应用实例。

网络监控的基本原理和标准介绍

随着INTEILNET的迅速发展，网络管理的地位越来越重要，网络监控是网络管理的信息收集功能，内容包括性能管理、故障管理、帐户管理三部分，网络管理的功能还包括配置管理和安全管理两部分。可以说，网络监控是网络管理的核心内容。