作者:
基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
推荐文章
基于XML的用例规格说明实现
用例规格说明
XML
DTD
XML Schema
基于形式化规格说明的UML状态图提取
形式化规格说明
B方法
统一建模语言状态图
分层状态
Z规格说明函数映射的C++STL实现
Z规格说明
函数映射
自动转换
软件自动化
形式语言
基于对数运算的Sigmoid函数的研究与实现
对数运算
sigmoid函数
精度
速率
功耗
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 序列运算—简化函数式规格说明的手段
来源期刊 计算机技术 学科 工学
关键词 规格说明 软件 函数式语言
年,卷(期) 1992,(5) 所属期刊栏目
研究方向 页码范围 30-32,29
页数 4页 分类号 TP31
字数 语种 中文
DOI
五维指标
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (0)
共引文献  (0)
参考文献  (0)
节点文献
引证文献  (0)
同被引文献  (0)
二级引证文献  (0)
1992(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
研究主题发展历程
节点文献
规格说明
软件
函数式语言
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
计算机技术
双月刊
CN 11-2318/TP
北京619信箱26分箱
出版文献量(篇)
807
总下载数(次)
1
总被引数(次)
0
论文1v1指导