第0回 モデルベースソフトウェア開発コミュニティ キックオフ (2015/02/07 14:00〜)アジェンダ モデルベースソフトウェア開発コミュニティの説明 モデルベースソフトウェア開発の分析・設計 モデルベースソフトウェア開発（UML モデルからの自動生成） モデルベースソフトウェア開発（Xtext による自動生成＋α） 休憩 ディスカッション 1.モデルベースソフトウェア開発コミュニティの説明 概要 モデル（UML だけでなく DSL も含む）ベースソフトウェア開発に必要な標準仕様やオープン実装がかなり揃ってきたと認識しています。 また開発すべきソフトウェアを考えると、頻繁に作り出される新技術もあり、今後も増加が見込まれます。 限られた開発者でより多くのソフトウェアを開発するのに、モデリング技術の活用を考えるのは自然なことではないでしょうか。 我々は次のように考えます。 ・業務仕様をきちんとモデル表現することは本質的に重要なことです。 ・きちんと作成したモデルは（印刷して眺めるので
情報処理推進機構：ソフトウェア高信頼化
先進的な設計・検証技術の適用事例紹介 ～安全・安心なIT社会実現に向けたソフトウェア高信頼化の取組み～情報処理推進機構：ソフトウェア高信頼化
ソフトウェア品質シンポジウム 2024
