期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
规格说明语言ChiSL
1
作者
许创
陈沐天
徐永森
《高技术通讯》
CAS
CSCD
1995年第2期7-12,共6页
ChiSL是一种作用式可执行的功能规格说明语言,它是以数据抽象为核心的将代数规格说明和面向模型的规格说明两种技术有机地结合起来的模块化语言,具有良好的数学性质和可读性,能比较方便地书写大型规格说明。由于该语言是可执行...
ChiSL是一种作用式可执行的功能规格说明语言,它是以数据抽象为核心的将代数规格说明和面向模型的规格说明两种技术有机地结合起来的模块化语言,具有良好的数学性质和可读性,能比较方便地书写大型规格说明。由于该语言是可执行的,因此ChiSL规格说明可作为所要开发的软件系统的一个原型在该语言的支撑系统上执行。本文后面介绍了使用ChiSL语言及其支撑系统开发软件原型的一些应用实例。
展开更多
关键词
软件工程
规格说明语言
程序设计
下载PDF
职称材料
网络监控的基本原理和标准介绍
2
作者
李洪海
龚世生
《现代计算机》
1999年第8期56-59,63,共5页
随着INTEILNET的迅速发展,网络管理的地位越来越重要,网络监控是网络管理的信息收集功能,内容包括性能管理、故障管理、帐户管理三部分,网络管理的功能还包括配置管理和安全管理两部分。可以说,网络监控是网络管理的核心内容。
关键词
网络监控
网络管理
标准
INTERNET网
下载PDF
职称材料
题名
规格说明语言ChiSL
1
作者
许创
陈沐天
徐永森
机构
广东省汕头大学计算机系
出处
《高技术通讯》
CAS
CSCD
1995年第2期7-12,共6页
基金
国家自然科学基金
文摘
ChiSL是一种作用式可执行的功能规格说明语言,它是以数据抽象为核心的将代数规格说明和面向模型的规格说明两种技术有机地结合起来的模块化语言,具有良好的数学性质和可读性,能比较方便地书写大型规格说明。由于该语言是可执行的,因此ChiSL规格说明可作为所要开发的软件系统的一个原型在该语言的支撑系统上执行。本文后面介绍了使用ChiSL语言及其支撑系统开发软件原型的一些应用实例。
关键词
软件工程
规格说明语言
程序设计
Keywords
Software engineerin,Specification language,Rapid prototyping
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
TP312 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
网络监控的基本原理和标准介绍
2
作者
李洪海
龚世生
机构
广东省汕头大学计算机系
出处
《现代计算机》
1999年第8期56-59,63,共5页
文摘
随着INTEILNET的迅速发展,网络管理的地位越来越重要,网络监控是网络管理的信息收集功能,内容包括性能管理、故障管理、帐户管理三部分,网络管理的功能还包括配置管理和安全管理两部分。可以说,网络监控是网络管理的核心内容。
关键词
网络监控
网络管理
标准
INTERNET网
分类号
TP393 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
规格说明语言ChiSL
许创
陈沐天
徐永森
《高技术通讯》
CAS
CSCD
1995
0
下载PDF
职称材料
2
网络监控的基本原理和标准介绍
李洪海
龚世生
《现代计算机》
1999
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部