ソフトウェア開発現場への形式手法導入:形式手法適用の実経験から得られた知見
スポンサーリンク
概要
- 論文の詳細を見る
近年、システムの機能安全やソフトウェアシステムの不具合が社会に及ぼす影響の大きさに対する認識から、ソフトウェア開発における形式手法について関心が持たれていることを紹介する。しかしながら、我が国では残念なことに、開発現場への導入や適用はあまり進んでいないため、開発現場に導入するための参考となるよう、形式手法適用の実経験を通して得られた知見や教訓を紹介する。
- 独立行政法人 情報処理推進機構 ソフトウェア・エンジニアリング・センターの論文
著者
関連論文
- 緊密な産学連携に基づく自律的なICT人材育成の実践(情報システム教育コンテスト(3))
- ドメイン知識を用いた検証に向けた状態遷移図の抽象化方法に関する考察
- プロジェクトマネジメント学会九州支部活動報告
- プロジェクトマネジメント学会九州支部活動報告(Mail to PM)
- プロジェクトマネジメント学会九州支部活動報告
- 連想記憶と進化過程
- 相互結合型ニューラルネットワークを用いた連想記憶の記憶容量のGAによる進化
- 大規模な産学連携による高度ICT人材育成に向けての取り組み
- 大規模な産学連携による高度ICT人材教育におけるインターンシップの役割とその効果
- Ada並列プログラムのためのグラフィック表示を用いた実行再演ツール
- 5. 無線による地域ネットワーク実験 : 都市コミュニティの新しいかたち (地域ネットワークの新しい展開)
- 九州ギガポッププロジェクトの概要
- 九州ギガポッププロジェクトの概要
- プログラムスライシングのVRMLへの導入とその改良
- Implementation of the High-level Parallel Programming Language Nano-2
- マルチエージェントシステムにおける動的ドメイン生成とポリシー管理について
- インターネット上の情報の与信システムについて
- 形式的手法に基づいた構造化ダイアグラムの一貫性検証について (21世紀のソフトウェア工学)
- ソフトウェア開発現場への形式手法導入:形式手法適用の実経験から得られた知見