本文首先概述TMN系统管理的主要内容，分别描述了采用ASN．1与面向对象技术表示网管信息的具体形式与特点，最后，给出面向对象的网管信息......

文中为算法语言Ｌ定义了动态指称语义，在描述避免了含有函数空间构造运算的递归论域方程，指称语义可以说明Ｌ的一些良好的数学性质，也可以......

ＳＤＬ’９２简介陈绍强，杨放春ＳＤＬ（ＳｐｅｃｉｆｉｃａｔｉｏｎａｎｄＤｅｓｃｒｉｐｔｉｏｎＬａｎｇｕａｇｅ）是ＣＣＩＴＴ（ＣＣＩＴＴ现已更名为ＩＴＵＴＳ）推荐的功能规格和描述语言。它主要用于并行分布式系统的描述，如电话系统、卫星系统及通信协议等。......

Smalltalk—80是原型的面向对象程序设计语言和环境,其中所体现的面向对象方法学已广泛应用于计算机科学的各个领域。我们已经完成......