HI,欢迎来到
学术之家
,发表咨询:400-888-7501 订阅咨询:400-888-7502
股权代码 102064
登录/注册
经营许可
杂志订阅
支付方式
首页
期刊
杂志
SCI
发表
出版社
0
首页
论文大全
规格说明论文
列表
期刊分类
不限
教育
医学
经济
金融
管理
科技
工业
机械
农业
电力
水利
文学
艺术
文化
建筑
图书
档案
交通
体育
环境
政法
煤矿
地质
化工
社会
科学
化学
生物
新闻
历史
航空
理论
电子
政治
石油
计算机
期刊收录
不限
CSSCI 南大期刊
北大期刊
CSCD中国科学引文数据库
统计源期刊
知网收录
维普收录
万方收录
EI工程索引
CA化学文摘
SA科学文摘
SCI科学引文索引
JST 日本科学技术振兴机构数据库(日)
Pж(AJ) 文摘杂志(俄)
哥白尼索引(波兰)
剑桥科学文摘
国际药学文摘
国家图书馆馆藏
上海图书馆馆藏
文摘与引文数据库
文摘杂志
医学文摘
数学文摘
ASPT来源刊
农业与生物科学研究中心文摘
物理学、电技术、计算机及控制信息数据库
出版地区
不限
北京
上海
天津
江苏
浙江
河北
山西
重庆
四川
辽宁
吉林
安徽
福建
江西
山东
河南
湖北
湖南
广东
广西
海南
贵州
云南
西藏
陕西
甘肃
青海
宁夏
新疆
内蒙古
黑龙江
智慧城市顶层设计的基础概念
第39-44页
关键词: 顶层设计 体系结构 企业架构 政治体制改革 基础概念 十七届五中全会 十二个 规格说明 结构开发 信息系统
2014年第09期
《智能建筑与智慧城市》
重构认知
第94-94页
关键词: java编程 重构 面向对象设计 规格说明 入门
2006年第17期
《中国信息化》
感知 可视 可控 可考——关于湖南烟草物流综合管控系统建设的思考
第52-54页
关键词: 管控系统 湖南烟草 烟草物流 规格说明 生产经营服务 商业物流 物流信息系统 系统原型 需求调研 管
2015年第01期
《湖南烟草》
并发Z
规格说明
在系统需求分析与设计中的应用
第93-96页
关键词: 规格说明 z模式 仿真
2005年第04期
《兰州理工大学学报》
Tabular表达式中正规函数表操作的形式语义
第85-91页
关键词: 正规函数表 tabular表达式 操作语义 软件文档 规格说明
2019年第02期
《华南理工大学学报·社会科学版》
一种获得形式化功能需求的方法
第4-6页
关键词: 功能需求 用例图 形式化 uml 规格说明 软件开发过程 系统 定义 作用
2004年第10期
《计算机应用与软件》
用Z语言形式化扩展事件踪迹图
第3-5页
关键词: 规格说明 组件 事件 z语言 交互模型 图形技术 软件体系结构 重要因素 使用形式 形式化
2004年第11期
《计算机应用与软件》
Kingston DDR2 HyperX套装
第188-188页
关键词: kingston ddr2 套装 双通道主板 64mb 内存颗粒 规格说明 产品包装 电压调整 内存频率 kit 带宽 网站
2005年第04期
《个人电脑》
微机系统仿真软件的设计
第80-82页
关键词: 规格说明 面向对象 仿真
2004年第02期
《湖北民族学院学报·哲学社会科学版》
形式化语言RT-Z的合成及其应用
第34-36页
关键词: z语言 过程代数csp 规格说明
2005年第08期
《计算机技术与发展》
一种基于CBD的软件测试方法
第156-158页
关键词: 软件测试方法 构件软件系统 规格说明 交互图 开发方法 建模 构架 cbd 挑战 基础
2005年第02期
《计算机科学》
基于扩展CHAM模型的软件集成测试方法
第199-201页
关键词: 测试方法 软件集成 扩展 software 软件体系结构 system 集成测试策略 软件系统 软件工程 软件开发 功能描述 规格说明 模型描述 生成算法 动态行为 自底向上 构件 提供者 测试带 自动机 状态树 lts 接口 代码
2005年第06期
《计算机科学》
OCL与Object-Z作为UML约束语言的分析比较
第182-185页
关键词: uml模型 ocl 面向对象建模语言 对象约束语言 规格说明 系统 分析比较 人员 标准
2004年第12期
《计算机科学》
一种基于Object—Z
规格说明
的集成测试用例生成方法
第60-65页
关键词: 规格说明 集成测试 测试用例 组件
2009年第01期
《上海大学学报·自然科学版》
一种用于数据库开发的UML类图的
规格说明
与C++源代码生成技术
第43-51页
关键词: uml 类图 规格说明 misframe 代码生成器
2004年第01期
《上海大学学报·自然科学版》
一组实用的Z
规格说明
度量准则
第6-11页
关键词: 规格说明 软件开发 度量 约束 明度 变量 系统 准则 模式 浪费
2005年第01期
《应用科学学报》
面向对象软件形式开发方法
第209-211页
关键词: 面向对象 规格说明 形式方法
2005年第11期
《湖南科技学院学报》
微机仿真系统中形式化方法的应用
第22-26页
关键词: 规格说明 z模式 仿真
2004年第09期
《韶关学院学报》
软件开发质量管理策略研究
第36-38页
关键词: 项目质量管理 软件质量 软件开发 软件工程实践 软件产品 审查结果 软件安装 软件需求分析 软件项目开发 规格说明
2017年第14期
《计算机与网络》
融合数字智慧 遇见现实未来——揭秘华建集团“云华建”平台
第70-75页
关键词: 华建集团 云华 互联网经济 建筑集团 数字化转型 虚拟设计 工程建设行业 规格说明 新兴产业 设计过程
2017年第06期
《中国勘察设计》
期刊导航
基础科学
工程科技I
工程科技II
农业科技
医药卫生科技
信息科技
哲学与人文科学
社会科学I
社会科学II
经济与管理科学