研究発表
公開件数:51件
No. 研究発表種別 タイトル 会議名/掲載誌名 巻号頁
または発表番号
査読の有無 講演者 開催年月日 URL
1 学会口頭発表
モジュール構造を考慮した形式的細分化実装
第81回情報処理学会全国大会
1

岡安 悠、織田 健
2019/03/13

2 学会口頭発表
リファインメントを考慮した部品再利用による形式的ソフトウェア合成
第81回情報処理学会全国大会
1

叶野英俊、織田 健
2019/03/13

3 学会口頭発表
形式手法 B Method の細粒度部品の結合による高信頼ソフトウェアの合成
第17回情報科学技術フォーラム
1

高橋宏夢、織田健
2018/09/19

4 学会口頭発表
モジュール構造を考慮した形式的細粒度部品の提案
第17回情報科学技術フォーラム
1

横山 仁、織田健
2018/09/19

5 学会口頭発表
モジュール構造を考慮した形式的細粒度部品の提案
第80回情報処理学会全国大会
1

横山 仁、織田 健
2018/03/14

6 学会口頭発表
形式的ソフトウェア部品生成のための実装抽出手法
第80回情報処理学会全国大会
1

叶野英俊、織田 健
2018/03/14

7 学会口頭発表
形式手法 B Method における高信頼細粒度部品の粒度の提案
第80回情報処理学会全国大会
1

高橋宏夢、織田 健
2018/03/14

8 学会口頭発表
形式的仕様記述における制約条件の欠落推定
第16回情報科学技術フォーラム
1

岡野純平、織田健
2017/09/14

9 学会口頭発表
状態遷移図と抽象的仕様記述のマッチングによる仕様の誤り検出
第79回情報処理学会全国大会
1

岡野純平、織田 健
2017/03/17

10 学会口頭発表
形式仕様に基づくソフトウェア部品の結合手法
第79回情報処理学会全国大会
1

高橋宏夢、織田 健
2017/03/17

11 学会口頭発表
モジュール構造に対応したソフトウェア合成手法
第79回情報処理学会全国大会
1

横山 仁、織田 健
2017/03/17

12 学会口頭発表
B-Method におけるリファインメントの集約化手法
第15回情報科学技術フォーラム
1

福泉真隆、織田健
2016/09/07

13 学会口頭発表
形式的ソフトウェア合成手法 MSSS の妥当性評価実験
第78回情報処理学会全国大会講演論文集
1

岡野純平、織田健
2016/03/10

14 学会口頭発表
B-Method における段階的詳細化を考慮した形式的ソフトウェアのモデル細分化
第78回情報処理学会全国大会講演論文集
1

福泉真隆、織田健
2016/03/10

15 学会口頭発表
形式的ソフトウェア合成手法におけるモデル細分化システムの設計と構築
第77回情報処理学会全国大会講演論文集,第77回情報処理学会全国大会
1

福泉真隆、織田健
2015/03

16 学会口頭発表
形式的ソフトウェア合成手法における部品の充足を考慮した合成手順
第77回情報処理学会全国大会講演論文集,第77回情報処理学会全国大会
1

熊谷恒、織田健
2015/03

17 学会口頭発表
形式的ソフトウェア合成手法における不足部品の要求提示
第13回情報科学技術フォーラム論文集,第12回情報科学技術フォーラム
1

熊谷恒、織田健
2014/09

18 学会口頭発表
文字列一致による数学的等価性判定可能なモデル分割アルゴリズム
第12回情報科学技術フォーラム論文集,第12回情報科学技術フォーラム
1

三鍋孝介、織田健
2013/09

19 学会口頭発表
形式的ソフトウェア合成手法における再利用部品群の決定
第75回情報処理学会全国大会講演論文集,第75回情報処理学会全国大会
1

熊谷恒、織田健
2013/03

20 学会口頭発表
文字列一致による数学的等価性判定可能なモデル分割手法
第75回情報処理学会全国大会講演論文集,第75回情報処理学会全国大会
1

三鍋孝介、織田健
2013/03

21 学会口頭発表
Model Satisfiable Software Synthesis Method for Formal Development
International Workshop on Modern Science and Technology


Takehiro Nakamura, Takeshi Oda, Tetsuro Nishino
2012/08

22 学会口頭発表
モデルと実装間の整合性に考慮した形式的ソフトウェア分割手法
第74回情報処理学会全国大会講演論文集,第74回情報処理学会全国大会
1

三鍋孝介、織田健
2012/03

23 学会口頭発表
形式仕様を用いた部品検索における計算量低減
情報処理学会研究報告
vol.2011-SE-173/ No.3

中村丈洋, 織田 健
2011/07

24 学会口頭発表
B Methodにおける自動コード合成フレームワークの提案
情報処理学会研究報告,ソフトウェア工学研究会
2010-SE-170(18)

中村丈洋、織田健
2010/11

25 学会口頭発表
再利用による自動コード生成を目的とした B Method におけるソフトウェアの部品化
情報処理学会研究報告書,ソフトウェア工学研究会
2009-SE-163

中村丈洋、織田健
2009/03

26 学会口頭発表
機能に着目したソフトウェア部品の抽象化による特徴抽出
第7回情報科学技術フォーラム論文集,第7回情報科学技術フォーラム
1

茅野良洋、織田 健
2008/09

27 学会口頭発表
形式的なソフトウェア部品検索のための仕様からの特徴抽出
第70回情報処理学会全国大会講演論文集
1

足立智隆, 織田健
2008/03

28 学会口頭発表
概念表現を用いたソフトウェア部品の記述と検索
第70回情報処理学会全国大会講演論文集
1

中村丈洋, 織田健
2008/03

29 学会口頭発表
エンティティの振舞いに着目した Z による仕様記述と状態遷移規則の比較に基づく誤り検出法
第6回情報科学技術フォーラム論文集
1

楊洋, 織田健
2007/09

30 学会口頭発表
ソフトウェア測定形式化による妥当性検証手法
情報処理学会研究報告書,ソフトウェア工学研究会
2005-SE-150

二木邦尚、織田健
2005/11

31 学会口頭発表
多様な品質要求に応じたソフトウェア部品提供のためのリポジトリシステム
第3回情報科学技術フォーラム
1

二木邦尚, 織田 健
2004/09

32 学会口頭発表
Zによる仕様記述と状態遷移規則の比較による誤り検出法
第3回情報科学技術フォーラム
1

平岡雅也, 織田 健
2004/09

33 学会口頭発表
Web学習者支援のための学習者モデル構築について
人工知能学会知的教育システム研究会(第37回)論文集,人工知能学会知的教育システム研究会
SIG-IES-A203

渡辺成良、織田健
2003/10

34 学会口頭発表
形式的記述に基づくモジュールシグニチャを用いたソフトウェア部品検索
第2回情報科学技術フォーラム
1

新井宏文, 織田 健
2003/09

35 学会口頭発表
「状態遷移規則を知識とした形式的仕様における制約条件の欠落検出法」
ソフトウェア科学会第18回大会論文集 CD-ROM


斎藤修一, 織田 健
2001/09

36 学会口頭発表
階層的モジュール管理に基づくソフトウェアリポジトリにおける変更伝搬制御
情報処理学会第61回全国大会講演論文集 CD-ROM


二木邦尚,織田 健
2000/10

37 学会口頭発表
システム構成要素の状態遷移規則に着目した仕様の妥当性検証法
ソフトウェア科学会第17回大会論文集 CD-ROM


小池孝政,織田 健
2000/09

38 学会口頭発表
非同期計算モデルによる並列プログラムの誤り検出
近代科学社,ソフトウェア工学の基礎Ⅵ, ソフトウェア科学会FOSE'99


中村貴幸,織田 健
1999/11

39 学会口頭発表
複数の制約条件の付則を対象とした仕様の誤りの検出
ソフトウェア科学会第16回大会論文集


山本賢太郎,織田 健
1999/09

40 学会口頭発表
Web-Based Learningのための支援
人工知能学会研究会
SIG-IES-980302

渡辺成良,佐藤宏之,織田 健
1998/12

41 学会口頭発表
WWW 教材の遠隔地学習者に対する支援システム
平成10年度情報処理教育研究集会論文集,平成10年度情報処理教育研究集会


渡辺成良, 織田健, 竹内章
1998/10

42 学会口頭発表
WWW教材の遠隔地学習者に対する支援システム
平成10年度情報処理教育研究集会講演論文集


渡辺成良,織田 健,竹内 章
1998/10

43 学会口頭発表
制約条件の不足による仕様の誤りの逐次的検出
日本ソフトウェア科学会第15回大会論文集


山本賢太郎,織田 健
1998/09

44 学会口頭発表
拡張プロセス代数による非同期型並列プログラムの誤り検出
日本ソフトウェア科学会第15回大会論文集


中村貴幸,織田 健
1998/09

45 学会口頭発表
ビュー指示機構を用いた広域型ソフトウェアリポジトリ
日本ソフトウェア科学会第15回大会論文集


雲切啓太,織田 健
1998/09

46 学会口頭発表
HyperClassroom 構想
教育工学関連学協会連合第5回全国大会論文集,教育工学関連学協会連合第5回全国大会


織田健
1997

47 学会口頭発表
ハイパーティーチャー: 授業・演習における教師支援システム
人工知能学会研究会資料
SIG-J-9601

Widjaja Sangtoki、牛山孝雄、織田健、渡辺成良
1996/12

48 学会口頭発表
ITS におけるコミュニケーションの階層化
人工知能学会研究会資料
SIG-IES-9601

織田健、渡辺成良
1996/05

49 学会口頭発表
WWW学習環境における協調学習のためのグループ化手法
人工知能学会研究会資料
SIG-J-9501-17

Widjaja Sangtoki, 織田健, 渡辺成良
1995

50 学会口頭発表
インターネット環境におけるコンピュータリテラシの教育
電子情報通信学会技術研究報告
ET95-59

織田健、渡辺成良
1995/06

51 シンポジウム
B Method における部品再利用による自動コード生成のための仕様細分化
第6回ディペンダブルシステムシンポジウム


中村丈洋、織田健
2009/12