小野 康一 | 早稲田大学理工学部情報学科

スポンサーリンク

概要

• 同名の論文著者
• 早稲田大学理工学部情報学科の論文著者

関連著者

• 小野 康一

  早稲田大学理工学部情報学科

• 深澤 良彰

  早稲田大学

• 深澤 良彰

  早稲田大学大学院基幹理工学研究科:国立情報学研究所

• 門倉 敏夫

  早稲田大学理工学部

• 小野 康一

  日本アイ・ビー・エム株式会社 東京基礎研究所

• 丸山 勝久

  早稲田大学理工学部電気工学科(NTTソフトウェア研究所)

• 新井 浩志

  千葉工業大学工学部

• 新井 浩志

  千葉工業大学大学院

• 山本 剛

  富士通

• 深沢 良彰

  早稲田大学 理工学部

• 黒田 隆一

  早稲田大学理工学部情報学科

• 山本 修

  早稲田大学工学部

• 新井 浩志

  早稲田大学 理工学部

• 松並 邦拓

  早稲田大学理工学部

• 河野 誠一

  早稲田大学理工学部電気工学科

• 山本 剛

  早稲田大学 理工学部

• 所 洋一

  NHK 富山放送局

• 孫 家勇

  早稲田大学理工学部

• 白 貞元

  早稲田大学理工学部

• 深沢 良彰

  早稲田大学

もっと見る 閉じる

著作論文

• 標準的実装からの逸脱度によるフレームワークの設計評価
• プログラム変更に対する正当性検証技法と分割技法の適用
• 論理型仕様の理解支援のための一手法
• 実行時仕様の導入による形式的仕様の実行
• プログラム変更に対する正当性検証技法の適用
• 表現形式の変換による仕様のデバッグ
• 要求仕様の変更における影響分析の支援方法について
• 大規模ソフトウェアの保守における形式的仕様の適用
• オブジェクト指向に基づく分析結果とプログラムからの設計上の決定抽出

スポンサーリンク