机构

• 软件研究所 [2]
• 亚热带农业生态研究所 [1]

采集方式

• OAI收割 [3]

内容类型

• 期刊论文 [3]

发表日期

• 2007 [1]
• 2006 [1]
• 2000 [1]

学科主题

筛选

浏览/检索结果: 共3条，第1-3条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序作者升序作者降序 双重软件体系结构描述框架XYZ/ADL 期刊论文  OAI收割 计算机研究与发展, 2007, 卷号: 44, 期号: 9, 页码: 1485-1494 朱雪阳   |  收藏  |  浏览/下载：33/0  |  提交时间：2011/07/01 软件体系结构  体系结构描述语言  双重描述框架  XYZ/E  时序逻辑  UML  活动图  状态图  形式语义  结构描述  框架  形式化方法  语义基础  图形语言  软件工程师  表示系统  体系结构设计  时序逻辑语言  软件开发过程  软件的可靠性  语言建模  形式语言  行为表示  前端  静态语义  结构框图  结构建模  基本概念Formal languages  Formal methods  Semantics  Software engineering  Software reliability  Tem   基于IGMPv2的隐蔽通道 期刊论文  OAI收割 计算机工程, 2006, 卷号: 32, 期号: 3, 页码: 140-142 华元彬; 蒋建春; 卿斯汉   |  收藏  |  浏览/下载：15/0  |  提交时间：2011/07/13 Internet组管理协议  隐蔽通道  路由器检测选项  最大响应时间  字段  技术应用  协议  软件设计  基本概念  安全性  组播  原理  升级  描述  方法   动物生态营养学在崛起 期刊论文  OAI收割 家畜生态, 2000, 期号: 1, 页码: 1-5，15 邢廷铣,黄瑞林 收藏  |  浏览/下载：42/0  |  提交时间：2012/10/17 动物生态营养学  基本概念  理论基础