首页期刊浏览 2024年11月25日星期一

登录注册

全文

有本地全文

21篇

出版年度

	2018	1篇
	2014	3篇
	2013	1篇
	2012	1篇
	2009	1篇

	2007	3篇
	2006	2篇
	2004	2篇
	2003	1篇
	2002	3篇
	2001	2篇
	2000	1篇

作者

	中島震	21篇
	大西淳	2篇
	玉井哲雄	2篇
	Burkhart WOLFF	1篇
	David BASIN	1篇

	上田賀一	1篇
	井上克郎	1篇
	佐藤健	1篇
	來間啓伸	1篇
	古川覚	1篇
	宮本衛市	1篇
	本位田真一	1篇
	杉山安洋	1篇
	来間啓伸	1篇
	湯淺太一	1篇
	鯵坂恒夫	1篇
	鵜林尚靖	1篇

来源期刊

コンピュータソフトウェア

21篇

学科主题

计算技术、计算机技术

21篇

语种

日文

21篇

国别/地区

日本

21篇

检索条件:"( ( 高级检索(( ((AU:(("中島震")))) )) ) )"

共 21 条记录

排序：全选导出：

1.Objects,Components,and Frameworks with UML:The Catalysis Approach Desmond F.D’Souza and Alan C.Wills Addison-Wesley,1999

作　　者：中島震

出　　处：コンピュータソフトウェア. 2000 ;17(6):594-598.doi:10.11309/jssst.17.594

出版社：Japan Society for Software Science and Technology

文章 ID：104502374

文章详细全文下载
2.オブジェクト指向デザインと形式手法

作　　者：中島震

出　　处：コンピュータソフトウェア. 2001 ;18(5):499-528.doi:10.11309/jssst.18.499

出版社：Japan Society for Software Science and Technology

文章 ID：104502407

文章详细全文下载
3.SPIN 2001参加報告

作　　者：中島震

出　　处：コンピュータソフトウェア. 2001 ;18(5):537-541.doi:10.11309/jssst.18.537

出版社：Japan Society for Software Science and Technology

文章 ID：104502409

文章详细全文下载
4.特集「ソフトウェア工学の基礎」の編集にあたって

作　　者：大西淳 ;宮本衛市 ;中島震

出　　处：コンピュータソフトウェア. 2002 ;19(2):81.doi:10.11309/jssst.19.81

出版社：Japan Society for Software Science and Technology

文章 ID：104502428

文章详细全文下载
5.EJBコンポーネントアーキテクチャのSPINによる振舞い解析

作　　者：中島震 ;玉井哲雄

出　　处：コンピュータソフトウェア. 2002 ;19(2):82-98.doi:10.11309/jssst.19.82

出版社：Japan Society for Software Science and Technology

文章 ID：104502429

文章详细全文下载
6.特集「ソフトウェア開発を支援する基盤技術」の編集にあたって

作　　者：杉山安洋 ;中島震 ;本位田真一

出　　处：コンピュータソフトウェア. 2002 ;19(5):333.doi:10.11309/jssst.19.333

出版社：Japan Society for Software Science and Technology

文章 ID：104502449

文章详细全文下载
7.特集「ソフトウェア工学の基礎」の編集にあたって

作　　者：井上克郎 ;鯵坂恒夫 ;大西淳等

出　　处：コンピュータソフトウェア. 2003 ;20(5):413.doi:10.11309/jssst.20.413

出版社：Japan Society for Software Science and Technology

文章 ID：104502488

文章详细全文下载
8.コンポーネントフレームワーク振舞い解析への多値遷移システムの応用

作　　者：中島震

出　　处：コンピュータソフトウェア. 2004 ;21(2):114-118.doi:10.11309/jssst.21.114

出版社：Japan Society for Software Science and Technology

文章 ID：104502519

文章详细全文下载
9.The SPIN Model Checker, G. J. Holzmann著

作　　者：中島震

出　　处：コンピュータソフトウェア. 2004 ;21(2):143-151.doi:10.11309/jssst.21.143

出版社：Japan Society for Software Science and Technology

文章 ID：104502522

文章详细全文下载
10.特集「新しいソフトウェアの実現」の編集にあたって

作　　者：玉井哲雄 ;湯淺太一 ;佐藤健等

出　　处：コンピュータソフトウェア. 2006 ;23(2):2_1-2_3.doi:10.11309/jssst.23.2_1

出版社：Japan Society for Software Science and Technology

文章 ID：104502611

文章详细全文下载

1 2 3 下一页尾页

电话：010-85195300

E-mail：cassoa@cass.org.cn

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

扫一扫关注微信

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

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