首页期刊浏览 2025年05月25日星期日

登录注册

全文

	有本地全文	3篇
	有全文链接	1篇

出版年度

	2011	3篇
	2005	1篇

作者

	David Streader	4篇
	Mark Utting	2篇
	Rick Mugridge	2篇
	Steve Reeves	2篇

文章类型

Research Article

1篇

来源期刊

	Future Internet	2篇
	Electronic Proceedings in Theoretical Computer Science	1篇
	Journal of Universal Computer Science	1篇

学科主题

计算技术、计算机技术

4篇

语种

英文

4篇

国别/地区

	瑞士	2篇
	奥地利	1篇
	澳大利亚	1篇

检索条件:"( ( 高级检索(( ((AU:(("David Streader")))) )) ) )"

共 4 条记录

排序：全选导出：

1.Refinement for Probabilistic Systems with Nondeterminism

作　　者：Steve Reeves ;David Streader

出　　处：Electronic Proceedings in Theoretical Computer Science. 2011 ;55:84-100.doi:10.4204/EPTCS.55.6

出版社：Open Publishing Association

文章 ID：83120179

文章详细全文下载
2.Evolving Web-Based Test Automation into Agile Business Specifications

作　　者：Rick Mugridge ;Mark Utting ;David Streader

出　　处：Future Internet. 2011 ;3(2):159-174.doi:10.3390/fi3020159

出版社：MDPI Publishing

文章 ID：90264689

文章详细全文下载
3.Evolving Web-Based Test Automation into Agile Business Specifications

作　　者：Rick Mugridge ;Mark Utting ;David Streader

出　　处：Future Internet. 2011 ;3(2):159-174.

出版社：MDPI Publishing

文章 ID：75906149

文章详细全文下载
4.Constructing Programs or Processes

作　　者：Steve Reeves ;David Streader

出　　处：Journal of Universal Computer Science. 2005 ;11(12):2034-2045.

出版社：Graz University of Technology and Know-Center

文章 ID：186875556

文章详细

1

电话：010-85195300

E-mail：cassoa@cass.org.cn

地址：中国北京建国门内大街5号中国社会科学院1#楼

扫一扫关注微信

联系我们|关于我们|网站声明

国家哲学社会科学文献中心版权所有