期刊


ISSN0913-5685
刊名電子情報通信学会技術研究報告
参考译名电子信息通信学会技术研究报告：知识软件工程
收藏年代2000～2018

关联期刊参考译名收藏年代
電子情報通信学会技術研究報告电子信息通信学会技术研究报告：知识软件工程2022～2023


全部

2000 2001 2002 2003 2004 2006
2007 2008 2009 2010 2011 2012
2013 2014 2015 2016 2017 2018

2010, vol.110, no.158 2010, vol.110, no.305 2010, vol.110, no.386 2010, vol.110, no.468 2010, vol.110, no.61

题名作者出版年年卷期
Rewriting Logic Approach to Separating Policy Rules from Behavioral SpecificationXiaoxi DONG; Shin NAKAJIMA20102010, vol.110, no.61
税業務の階層性に基づく共同化システムの知識表現形式と処理系の構築長村篤記; 吉岡俊輔; 深見尚平; 上仲良幸; 金田重郎20102010, vol.110, no.61
XMLによるプログラムの表現とそれに基づく統合テスト支援環境の提案：（1）ミューテーションテストのためのミュータントオペレータの実装末広暁久; 佐々木亮太; 芳賀博英20102010, vol.110, no.61
セキュリティ要件定義のためのゴール指向モデリング手法斯波万恵; 佐々木尚一; 田口研治; 吉岡信和20102010, vol.110, no.61
遷移確率距離を用いた類似文字列検索勝俣彰文; 三浦孝夫20102010, vol.110, no.61
シナリオ部品とその組合せによるシナリオの生成支援西村眞人; 大西淳20102010, vol.110, no.61
類似メソッドの集約のための差分抽出支援政井智雄; 吉田則裕; 松下誠; 井上克郎20102010, vol.110, no.61
空間の概念を持つコスト付き確率時間オートマトンの記号的検証手法畠中克也; 鎌澤浩司; 山根智20102010, vol.110, no.61
確率時間REGARの実装と評価清水隆也; 高橋正樹; 山根智20102010, vol.110, no.61
プログラム構造から見た再帰プログラムの基本形大段雅典; 佐藤匡正20102010, vol.110, no.61
12



制造业外文文献服务平台