首页
期刊导航
期刊检索
论文检索
新闻中心
期刊
期刊
论文
首页
>
《通讯和计算机:中英文版》
>
2011年4期
>
Validation of Software Property Specifications Using the TV Tool
Validation of Software Property Specifications Using the TV Tool
打印
分享
在线阅读
下载PDF
导出详情
摘要
未填写
DOI
zdloxwn8dl/974488
作者
Salamah Salamah
机构地区
不详
出处
《通讯和计算机:中英文版》
2011年4期
关键词
工具软件
验证
电视
规格
物业
软件开发
分类
[自动化与计算机技术][计算机应用技术]
出版日期
2011年04月14日(中国期刊网平台首次上网日期,不代表论文的发表时间)
相关文献
1
Nelly Condori-Fernández Silvia Abrahao Oscar Pastor.
On the Estimation of the Functional Size of Software from Requirements Specifications
.计算机科学与技术,2007-03.
2
王云峰;庞军;等.
A Formal Software Development Approach Using Refinement Calculus
.计算机科学与技术,2001-03.
3
LassiA.Tuura LucasTaylor.
Ignominy:a Tool for Software Dependency and Metric Analysis with Examples from Large HEP Packages
.物理,2001-01.
4
Hasan ōzyildirim Husnuye Durmaz.
Using Extraction Experiment as a Tool for Teaching Scientific Process Skills
.教育学,2013-10.
5
Y.Wu;I.C.Legrand;等.
Simulating the Farm Production System Using the MONARC Simulation Tool
.物理,2001-01.
6
SHEN Jian-bing JIN Xiao-gang ZHOU Chuan ZHAO Han-li.
Motion texture using symmetric property and graphcut algorithm
.物理,2006-07.
7
Paula Winke.
Book Review of Testcraft: A Teacher's Guide to Writing and Using Language Test Specifications
.教育学,2011-03.
8
Sun Xiaowen Zhang Linrang Wu Shunjun.
STUDY OF MISMATCHED FILTERING OF PASSIVE RADAR USING TV SIGNAL
.物理电子学,2006-01.
9
AAmorim;R.Jones;等.
Experience Using Different DBMSs in Prototyping a Book—Keeper for ATLAS‘ DAQ Software
.物理,2001-01.
10
Achim Fischer;Peter Eberhard.
Improving the dynamic stability of a workpiece dominated turning process using an adaptronic tool holder
.力学,2013-01.
来源期刊
通讯和计算机:中英文版
2011年4期
相关推荐
Collisionless tool orientation smoothing above blade stream surface using NURBS envelope
An Introductory Embedded Systems Teaching Using Open-Source Hardware and Software Platforms
A New Fuzzing Technique for Software Vulnerability Mining Using Multi-dimension Inputs
Prediction of mechanical property of E4303 electrode using artificial neural network
Reconstructing pre-erosion topography using spatial interpolation techniques: A validation-based approach
同分类资源
更多
[计算机应用技术]
让迷途的系统小组件回家
[计算机应用技术]
北京将实现公共事业缴费一卡通
[计算机应用技术]
分布式防火墙
[计算机应用技术]
Can ICT Help to Solve the Clinical Appropriateness Problem?nAn Experience in the Italian Public Health
[计算机应用技术]
AloofDoof.com和朋友分享涂鸦的乐趣
相关关键词
工具软件
验证
电视
规格
物业
软件开发
返回顶部