形式的手法に基づいた構造化ダイアグラムの一貫性検証について (<特集>21世紀のソフトウェア工学)
スポンサーリンク
概要
- 論文の詳細を見る
- 一般社団法人日本ソフトウェア科学会の論文
- 1998-05-15
著者
-
荒木 啓二郎
九州大学
-
張 漢明
財団法人九州システム情報技術研究所:奈良先端科学技術大学院大学
-
張 漢明
奈良先端科学技術大学院大学情報科学研究科
-
河野 勝利
奈良先端科学技術大学院大学
-
河野 勝利
奈良先端科学技術大学院大学:(株)野村総合研究所
関連論文
- 緊密な産学連携に基づく自律的なICT人材育成の実践(情報システム教育コンテスト(3))
- ドメイン知識を用いた検証に向けた状態遷移図の抽象化方法に関する考察
- プロジェクトマネジメント学会九州支部活動報告
- プロジェクトマネジメント学会九州支部活動報告(Mail to PM)
- プロジェクトマネジメント学会九州支部活動報告
- 連想記憶と進化過程
- 相互結合型ニューラルネットワークを用いた連想記憶の記憶容量のGAによる進化
- 大規模な産学連携による高度ICT人材育成に向けての取り組み
- 大規模な産学連携による高度ICT人材教育におけるインターンシップの役割とその効果
- Ada並列プログラムのためのグラフィック表示を用いた実行再演ツール
- 5. 無線による地域ネットワーク実験 : 都市コミュニティの新しいかたち (地域ネットワークの新しい展開)
- 九州ギガポッププロジェクトの概要
- 九州ギガポッププロジェクトの概要
- SSLプロトコルの形式仕様記述と検証
- モデル形成支援のための仕様記述変換技術
- 操作仕様記述におけるシステム状態への制約に関する考察
- SSLプロトコルの形式仕様記述と検証
- モデル形成支援のための仕様記述変換技術
- プログラムスライシングのVRMLへの導入とその改良
- Implementation of the High-level Parallel Programming Language Nano-2
- マルチエージェントシステムにおける動的ドメイン生成とポリシー管理について
- インターネット上の情報の与信システムについて
- OSの自動生成に向けて
- 形式的手法に基づいた構造化ダイアグラムの一貫性検証について (21世紀のソフトウェア工学)
- ソフトウェア開発現場への形式手法導入:形式手法適用の実経験から得られた知見