Research presentations
Number of published data : 54
No. Classification Title Conference Volume/issue/page Or an announcement number Refereed paper Author Date URL
1 Oral presentation for an academic conference
宣言定数の抽象化による形式的部品の再利用性向上
第82回情報処理学会全国大会
1
No
原野和貴、織田 健
2020/03/07

2 Oral presentation for an academic conference
モジュール構造を考慮した形式的細分化実装の生成手法
第18回情報科学技術フォーラム
1
No
岡安悠、織田健
2019/09/03

3 Oral presentation for an academic conference
リファインメントを考慮した形式的ソフトウェア合成アルゴリズム
第18回情報科学技術フォーラム
1
No
叶野英俊、織田健
2019/09/03

4 Oral presentation for an academic conference
モジュール構造を考慮した形式的細分化実装
第81回情報処理学会全国大会
1
No
岡安 悠、織田 健
2019/03/13

5 Oral presentation for an academic conference
リファインメントを考慮した部品再利用による形式的ソフトウェア合成
第81回情報処理学会全国大会
1
No
叶野英俊、織田 健
2019/03/13

6 Oral presentation for an academic conference
形式手法 B Method の細粒度部品の結合による高信頼ソフトウェアの合成
第17回情報科学技術フォーラム
1
No
高橋宏夢、織田健
2018/09/19

7 Oral presentation for an academic conference
モジュール構造を考慮した形式的細粒度部品の提案
第17回情報科学技術フォーラム
1
No
横山 仁、織田健
2018/09/19

8 Oral presentation for an academic conference
モジュール構造を考慮した形式的細粒度部品の提案
第80回情報処理学会全国大会
1
No
横山 仁、織田 健
2018/03/14

9 Oral presentation for an academic conference
形式的ソフトウェア部品生成のための実装抽出手法
第80回情報処理学会全国大会
1
No
叶野英俊、織田 健
2018/03/14

10 Oral presentation for an academic conference
形式手法 B Method における高信頼細粒度部品の粒度の提案
第80回情報処理学会全国大会
1
No
高橋宏夢、織田 健
2018/03/14

11 Oral presentation for an academic conference
形式的仕様記述における制約条件の欠落推定
第16回情報科学技術フォーラム
1
No
岡野純平、織田健
2017/09/14

12 Oral presentation for an academic conference
状態遷移図と抽象的仕様記述のマッチングによる仕様の誤り検出
第79回情報処理学会全国大会
1
No
岡野純平、織田 健
2017/03/17

13 Oral presentation for an academic conference
形式仕様に基づくソフトウェア部品の結合手法
第79回情報処理学会全国大会
1
No
高橋宏夢、織田 健
2017/03/17

14 Oral presentation for an academic conference
モジュール構造に対応したソフトウェア合成手法
第79回情報処理学会全国大会
1
No
横山 仁、織田 健
2017/03/17

15 Oral presentation for an academic conference
B-Method におけるリファインメントの集約化手法
第15回情報科学技術フォーラム
1
No
福泉真隆、織田健
2016/09/07

16 Oral presentation for an academic conference
形式的ソフトウェア合成手法 MSSS の妥当性評価実験
第78回情報処理学会全国大会講演論文集
1
No
岡野純平、織田健
2016/03/10

17 Oral presentation for an academic conference
B-Method における段階的詳細化を考慮した形式的ソフトウェアのモデル細分化
第78回情報処理学会全国大会講演論文集
1
No
福泉真隆、織田健
2016/03/10

18 Oral presentation for an academic conference
形式的ソフトウェア合成手法におけるモデル細分化システムの設計と構築
第77回情報処理学会全国大会講演論文集,第77回情報処理学会全国大会
1
No
福泉真隆、織田健
2015/03

19 Oral presentation for an academic conference
形式的ソフトウェア合成手法における部品の充足を考慮した合成手順
第77回情報処理学会全国大会講演論文集,第77回情報処理学会全国大会
1
No
熊谷恒、織田健
2015/03

20 Oral presentation for an academic conference
形式的ソフトウェア合成手法における不足部品の要求提示
第13回情報科学技術フォーラム論文集,第12回情報科学技術フォーラム
1
No
熊谷恒、織田健
2014/09

21 Oral presentation for an academic conference
文字列一致による数学的等価性判定可能なモデル分割アルゴリズム
第12回情報科学技術フォーラム論文集,第12回情報科学技術フォーラム
1
No
三鍋孝介、織田健
2013/09

22 Oral presentation for an academic conference
形式的ソフトウェア合成手法における再利用部品群の決定
第75回情報処理学会全国大会講演論文集,第75回情報処理学会全国大会
1
No
熊谷恒、織田健
2013/03

23 Oral presentation for an academic conference
文字列一致による数学的等価性判定可能なモデル分割手法
第75回情報処理学会全国大会講演論文集,第75回情報処理学会全国大会
1
No
三鍋孝介、織田健
2013/03

24 Oral presentation for an academic conference
Model Satisfiable Software Synthesis Method for Formal Development
International Workshop on Modern Science and Technology

Yes
Takehiro Nakamura, Takeshi Oda, Tetsuro Nishino
2012/08

25 Oral presentation for an academic conference
モデルと実装間の整合性に考慮した形式的ソフトウェア分割手法
第74回情報処理学会全国大会講演論文集,第74回情報処理学会全国大会
1
No
三鍋孝介、織田健
2012/03

26 Oral presentation for an academic conference
形式仕様を用いた部品検索における計算量低減
情報処理学会研究報告
vol.2011-SE-173/ No.3
No
中村丈洋, 織田 健
2011/07

27 Oral presentation for an academic conference
B Methodにおける自動コード合成フレームワークの提案
情報処理学会研究報告,ソフトウェア工学研究会
2010-SE-170(18)
No
中村丈洋、織田健
2010/11

28 Oral presentation for an academic conference
Reuse and Auto Code Generation in B Method
Inromation Processing Society of Japan
2009-SE-163
No
Takehiro Nakamura, Takeshi Oda
2009/03

29 Oral presentation for an academic conference
機能に着目したソフトウェア部品の抽象化による特徴抽出
第7回情報科学技術フォーラム論文集,第7回情報科学技術フォーラム
1
No
茅野良洋、織田 健
2008/09

30 Oral presentation for an academic conference
形式的なソフトウェア部品検索のための仕様からの特徴抽出
第70回情報処理学会全国大会講演論文集
1
No
足立智隆, 織田健
2008/03

31 Oral presentation for an academic conference
概念表現を用いたソフトウェア部品の記述と検索
第70回情報処理学会全国大会講演論文集
1
No
中村丈洋, 織田健
2008/03

32 Oral presentation for an academic conference
エンティティの振舞いに着目した Z による仕様記述と状態遷移規則の比較に基づく誤り検出法
第6回情報科学技術フォーラム論文集
1
No
楊洋, 織田健
2007/09

33 Oral presentation for an academic conference
A Software Measurement Validation Method with a Formal Approach
Inromation Processing Society of Japan
2005-SE-150
No
Kunitaka Futatsugi, Takeshi Oda
2005/11

34 Oral presentation for an academic conference
多様な品質要求に応じたソフトウェア部品提供のためのリポジトリシステム
第3回情報科学技術フォーラム
1
No
二木邦尚, 織田 健
2004/09

35 Oral presentation for an academic conference
Zによる仕様記述と状態遷移規則の比較による誤り検出法
第3回情報科学技術フォーラム
1
No
平岡雅也, 織田 健
2004/09

36 Oral presentation for an academic conference
Web学習者支援のための学習者モデル構築について
人工知能学会知的教育システム研究会(第37回)論文集,人工知能学会知的教育システム研究会
SIG-IES-A203
No
渡辺成良、織田健
2003/10

37 Oral presentation for an academic conference
形式的記述に基づくモジュールシグニチャを用いたソフトウェア部品検索
第2回情報科学技術フォーラム
1
No
新井宏文, 織田 健
2003/09

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

No
斎藤修一, 織田 健
2001/09

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

No
二木邦尚,織田 健
2000/10

40 Oral presentation for an academic conference
システム構成要素の状態遷移規則に着目した仕様の妥当性検証法
ソフトウェア科学会第17回大会論文集 CD-ROM

No
小池孝政,織田 健
2000/09

41 Oral presentation for an academic conference
非同期計算モデルによる並列プログラムの誤り検出
近代科学社,ソフトウェア工学の基礎Ⅵ, ソフトウェア科学会FOSE'99

No
中村貴幸,織田 健
1999/11

42 Oral presentation for an academic conference
複数の制約条件の付則を対象とした仕様の誤りの検出
ソフトウェア科学会第16回大会論文集

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

43 Oral presentation for an academic conference
Web-Based Learningのための支援
人工知能学会研究会
SIG-IES-980302
No
渡辺成良,佐藤宏之,織田 健
1998/12

44 Oral presentation for an academic conference
WWW 教材の遠隔地学習者に対する支援システム
平成10年度情報処理教育研究集会論文集,平成10年度情報処理教育研究集会

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

45 Oral presentation for an academic conference
WWW教材の遠隔地学習者に対する支援システム
平成10年度情報処理教育研究集会講演論文集

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

46 Oral presentation for an academic conference
制約条件の不足による仕様の誤りの逐次的検出
日本ソフトウェア科学会第15回大会論文集

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

47 Oral presentation for an academic conference
拡張プロセス代数による非同期型並列プログラムの誤り検出
日本ソフトウェア科学会第15回大会論文集

No
中村貴幸,織田 健
1998/09

48 Oral presentation for an academic conference
ビュー指示機構を用いた広域型ソフトウェアリポジトリ
日本ソフトウェア科学会第15回大会論文集

No
雲切啓太,織田 健
1998/09

49 Oral presentation for an academic conference
HyperClassroom 構想
教育工学関連学協会連合第5回全国大会論文集,教育工学関連学協会連合第5回全国大会

No
織田健
1997

50 Oral presentation for an academic conference
ハイパーティーチャー: 授業・演習における教師支援システム
人工知能学会研究会資料
SIG-J-9601
No
Widjaja Sangtoki、牛山孝雄、織田健、渡辺成良
1996/12

51 Oral presentation for an academic conference
ITS におけるコミュニケーションの階層化
人工知能学会研究会資料
SIG-IES-9601
No
織田健、渡辺成良
1996/05

52 Oral presentation for an academic conference
WWW学習環境における協調学習のためのグループ化手法
人工知能学会研究会資料
SIG-J-9501-17
No
Widjaja Sangtoki, 織田健, 渡辺成良
1995

53 Oral presentation for an academic conference
インターネット環境におけるコンピュータリテラシの教育
電子情報通信学会技術研究報告
ET95-59
No
織田健、渡辺成良
1995/06

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

No
中村丈洋、織田健
2009/12