咨询与建议
  • 全部检索
  • 电子图书
  • 电子期刊
  • 纸本馆藏
  • 南通市公共图书馆
高级检索

限定检索结果

文献类型

  • 23 篇 期刊文献

馆藏范围

  • 23 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 11 篇 工学
    • 8 篇 计算机科学与技术...
    • 5 篇 软件工程
    • 2 篇 仪器科学与技术
    • 1 篇 机械工程
    • 1 篇 控制科学与工程
    • 1 篇 测绘科学与技术
    • 1 篇 地质资源与地质工...
    • 1 篇 网络空间安全
  • 5 篇 教育学
    • 5 篇 教育学
  • 2 篇 经济学
    • 2 篇 应用经济学
  • 2 篇 理学
    • 1 篇 地理学
    • 1 篇 系统科学
  • 2 篇 医学
  • 2 篇 军事学
    • 2 篇 军制学
  • 2 篇 管理学
    • 1 篇 管理科学与工程(可...
    • 1 篇 图书情报与档案管...

主题

  • 23 篇 规范描述
  • 2 篇 程序设计
  • 2 篇 防卫策略
  • 2 篇 安全技术
  • 2 篇 程序开发
  • 2 篇 非置信的用户输入
  • 2 篇 计算机网络
  • 2 篇 安全管理技术
  • 2 篇 访问控制
  • 1 篇 综合
  • 1 篇 核心素养
  • 1 篇 课程目标
  • 1 篇 ifla
  • 1 篇 中考
  • 1 篇 化妆品
  • 1 篇 气密性
  • 1 篇 质量控制
  • 1 篇 原子质量
  • 1 篇 银行
  • 1 篇 人力资源

机构

  • 2 篇 湖南工学院
  • 1 篇 重庆400067
  • 1 篇 国防科学技术大学
  • 1 篇 湖南省桃源县漳江...
  • 1 篇 国防科技大学
  • 1 篇 中国物品编码中心
  • 1 篇 国家图书馆
  • 1 篇 江西师范大学
  • 1 篇 中国农业银行科技...
  • 1 篇 山东工程学院
  • 1 篇 武汉数字工程研究...
  • 1 篇 山东大学
  • 1 篇 schneider
  • 1 篇 哈尔滨电工学院
  • 1 篇 重庆工商大学
  • 1 篇 华东师范大学
  • 1 篇 英国德比大学
  • 1 篇 苏州美名软件有限...
  • 1 篇 广州医学院第二附...
  • 1 篇 <蚌埠医学院

作者

  • 2 篇 曾利军
  • 1 篇 叶俊民
  • 1 篇 王周敬
  • 1 篇 敏文
  • 1 篇 manfred brill
  • 1 篇 罗庆云
  • 1 篇 徐培德
  • 1 篇 黄锡汝
  • 1 篇 黄明和
  • 1 篇 丁晶
  • 1 篇 周文叶
  • 1 篇 纪建宇
  • 1 篇 吴海霞
  • 1 篇 李宽
  • 1 篇 张迎新
  • 1 篇 王兰芳
  • 1 篇 冉小平
  • 1 篇 刘俊韬
  • 1 篇 陈火旺
  • 1 篇 葛春艳

语言

  • 23 篇 中文
检索条件"主题词=规范描述"
共 23 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
面向对象的规范描述及转换
收藏
分享
引用
计算机科学 1990年 第1期17卷 33-37页
作者： 彭智勇 武汉大学软件工程研究所
本文基于抽象数据类型提出了一种规范描述语言,该语言以多相代数作为其数学模型,并引入类型继承机制,体现了面向对象的程序设计思想。最后,探讨了关于这种语言的规范描述到面向对象程序设计环境的自动转换。
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
规范描述银行产品保护客户合法权益
收藏
分享
引用
金融电子化 2015年 第10期 57-59页
作者： 李宽 中国农业银行科技与产品管理局
银行产品是商业银行向客户提供服务的基本手段,也是商业银行实现盈利的主要来源。本质上,银行产品符合ISO 9000:2005对产品的定义,即"过程的结果",而过程被定义为"一族相互关联或相互作用的活动集,其将输入转换为输出"。但银行产品比较... 详细信息
来源： 同方期刊数据库 同方期刊数据库 评论
面向战术应用的卫星应用任务规范描述
收藏
分享
引用
军事运筹与系统工程 2011年 第3期25卷 28-34页
作者： 徐培德 薛波 张迎新 国防科学技术大学信息系统与管理学院 湖南长沙410073
卫星系统的战术应用中如何对卫星系统的各类任务进行统一表示,保证任务需求的准确获取、高效实施,是一个迫切需要解决的困难问题。在分析卫星战术应用及卫星应用任务概念的基础上,针对卫星应用任务的特点,借鉴相关领域中规范描述方法,... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
关于多变量系统P规范描述与V规范描述的讨论
收藏
分享
引用
哈尔滨电工学院学报 1991年 第2期14卷 133-139页
作者： 崔丰焕 吴景伟 岳继光 哈尔滨电工学院自动化教研室
本文通过对多变量系统P规范描述与V规范描述的研究,证明了P规范描述与V规范描述的唯一性,以及P规范描述的一般性与合理性。
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
软件连接器规范化描述研究
收藏
分享
引用
计算机应用 2001年 第10期21卷 11-13页
作者： 赵恒 王振宇 叶俊民 武汉数字工程研究所 湖北武汉430074
在分析Mehta的软件连接器分类框架的基础上 ,提出了一种软件连接器的规范描述方法 ,以期通过规范软件连接器表示 ,进一步实现软件连接器的标准化。
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
实验动物规范描述(一):名称规范
收藏
分享
引用
蚌埠医学院学报 2017年 第3期42卷 347-347页
命名规范包括《实验动物哺乳类实验动物的遗传质量控制》（GB14923）或国际小鼠标准化遗传命名委员会或国际大鼠遗传命名委员会有关规定。不同品系的实验动物对实验反应差异很大,所以使用规范化的实验动物名称很重要。
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
基于Z的虚拟加工仿真环境规范技术研究
收藏
分享
引用
系统仿真学报 2009年 第22期21卷 7143-7146,7153页
作者： 赵晓峰 赵正旭 周以齐 山东大学机械工程学院 济南250061 英国德比大学
对虚拟加工仿真环境模型的规范化技术进行了研究,针对虚拟加工仿真环境的快速创建和不同平台之间模型共享需求,分析并提出采用Z语言描述虚拟加工仿真环境中的几何模型、逻辑模型和机构模型的要素定义及形式化表达方案,用于保证模型描述... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
树遍历算法的演绎综合
收藏
分享
引用
计算机工程与科学 1997年 第1期19卷 5-9页
作者： 黄明和 江西师范大学计算机科学系
演绎综合是形式化开发算法或程序的重要手段之一。本文从一个共同的对问题的清晰明确的规范描述出发，采用程序变换途径、共性提取和个性延迟决策的办法，形式化的演绎推导出一簇树的遍历算法，实现了方程和推导步的重用。
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
抽象数据类型及其应用
收藏
分享
引用
山东理工大学学报（自然科学版） 1995年 第1期12卷 6-11页
作者： 赵光远 山东工程学院计算机工程系
设计软件系统需要大量的智能活动。完成一个有效的、具有可靠性和可维护性的大型软件系统的设计,是一种非常艰巨的任务。引入抽象数据类型可大大降低程序设计的复杂性,提高程序设计的质量。本文讨论了抽象数据类型的规范描述,特点及其... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
C^3I系统功能需求的导入和描述
收藏
分享
引用
军事运筹与系统工程 1996年 第4期10卷 16-22,37页
作者： 纪建宇 王加存 南京理工大学自动控制系1004教研室 210094
本文阐述了C3 I系统功能需求导入 /描述的原则、方法 ,同时给出了所使用的描述语言框架 ,在规范C3 I系统需求描述方面做了尝试。在文章的最后 。
来源： 维普期刊数据库 维普期刊数据库 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共3页 <<  < 1 2 3 >  >> 跳转到页 
回到顶部
执行限定条件