中国机械工程学会生产工程分会知识服务平台
主页
文献资源
外文期刊
外文会议
中文期刊
专业机构
生产工程
智能制造
高级检索
关于我们
版权声明
使用帮助
期刊
ISSN
0913-5685
刊名
電子情報通信学会技術研究報告
参考译名
电子信息通信学会技术研究报告:软件企业模式
收藏年代
2001~2017
关联期刊
参考译名
收藏年代
電子情報通信学会技術研究報告
电子信息通信学会技术研究报告:软件接口建模
2022~2023
全部
2001
2002
2003
2004
2006
2007
2009
2010
2011
2012
2013
2014
2015
2016
2017
2010, vol.110, no.184
2010, vol.110, no.302
2010, vol.110, no.427
2010, vol.110, no.70
题名
作者
出版年
年卷期
クラウドコンピューティングトライアルプロジェクトの概要-ソフトウェア産業の繁栄のために
宮西洋太郎
2010
2010, vol.110, no.70
時間制約が存在するUMLの正当性検証
野村将人; 新川芳行
2010
2010, vol.110, no.70
UMLアクティビティ図-クラス図間の整合性検証
堂西祐一; 新川芳行
2010
2010, vol.110, no.70
プロセス代数CCSによるBPELの形式化
山内一馬; 新川芳行
2010
2010, vol.110, no.70
エンタプライズモデル基礎論(その2)
松本正雄
2010
2010, vol.110, no.70
緊急医療における搬送先探索モデルの検討
野地保; 荻野正; 齊藤まゆ子
2010
2010, vol.110, no.70
クラウドコンピューティングとどう向き合うか-クラウドはビジネス系情報システム構築技法の革命となりうるか
宮西洋太郎
2010
2010, vol.110, no.70
UMLアクティビティ図からSPINモデル検査用コードの自動生成とWebアプリケーション設計への適用
山田豊; 和崎克己
2010
2010, vol.110, no.427
CPNによるUMLモデル間整合性検証
野村将人; 安田佳宏; 新川芳行
2010
2010, vol.110, no.427
2010年度クラウドコンピューティングトライアルプロジェクトの総括
宮西洋太郎; 廣瀬修; 坂下善彦; 梶功夫; 須栗裕樹; 片岡信弘
2010
2010, vol.110, no.427
1
2
3
4
国家科技图书文献中心
全球文献资源网
京ICP备05055788号-26
机械工业信息研究院 2018-2024