Recommended
PPTX
PDF
PDF
What should you shift left
PDF
Agile Quality アジャイル品質パターン (QA2AQ)
PDF
パターン QA to AQ: 伝統的品質保証(Quality Assurance)からアジャイル品質(Agile Quality)へ
PPTX
PDF
「事実にもとづく管理」によるソフトウェア品質の改善 ー ヒンシツ大学 Evening Talk #04
PDF
PDF
アジャイル品質パターンによる伝統的な品質保証(Quality Assurance)からアジャイル品質(Agile Quality)への変革
PDF
Is No More QA Idealist Practical and Something Tasty?
PDF
メトリクスによるソフトウェア品質評価・改善および製品品質実態
PDF
鷲崎 メトリクスの基礎とGQM法によるゴール指向の測定 2014年12月18日 日本科学技術連名SQiP研究会 演習コースI ソフトウェア工学の基礎
PDF
PDF
メトリクスによるソフトウェア品質把握と改善- 演習を交えた品質測定評価の落とし穴とコツの習得 -
PDF
PDF
UXデザインの資格ってどんなの? HCD-Net認定 人間中心設計スペシャリスト・人間中心設計専門家
PDF
Redmineをちょっと便利に! プログラミング無しで使ってみるREST API
PDF
Lychee Redmine最新機能紹介とLycheeの未来について
PDF
PDF
PPTX
PDF
PDF
「Redmine」、「Trac」から「Atlassian JIRA」への移行紹介
PDF
オブジェクト指向プログラミングのためのモデリング入門
PDF
演題:価値のデザインからはじめるビジネス企画(前編解説)
PPTX
モデルベースドテスト入門 -テスト詳細設計を自動化しよう- #stac2013
PDF
PPTX
PDF
ソフトウェアエンジニアリングとEssenceの広がり
PDF
米国修士課程ベストセラーに学ぶ体系的ソフトウェアエンジニアリングの必要性 ~DX, AI, MaaS, …に惑わされない実践的エンジニアリングアプローチ~
More Related Content
PPTX
PDF
PDF
What should you shift left
PDF
Agile Quality アジャイル品質パターン (QA2AQ)
PDF
パターン QA to AQ: 伝統的品質保証(Quality Assurance)からアジャイル品質(Agile Quality)へ
PPTX
PDF
「事実にもとづく管理」によるソフトウェア品質の改善 ー ヒンシツ大学 Evening Talk #04
PDF
What's hot
PDF
アジャイル品質パターンによる伝統的な品質保証(Quality Assurance)からアジャイル品質(Agile Quality)への変革
PDF
Is No More QA Idealist Practical and Something Tasty?
PDF
メトリクスによるソフトウェア品質評価・改善および製品品質実態
PDF
鷲崎 メトリクスの基礎とGQM法によるゴール指向の測定 2014年12月18日 日本科学技術連名SQiP研究会 演習コースI ソフトウェア工学の基礎
PDF
PDF
メトリクスによるソフトウェア品質把握と改善- 演習を交えた品質測定評価の落とし穴とコツの習得 -
PDF
PDF
UXデザインの資格ってどんなの? HCD-Net認定 人間中心設計スペシャリスト・人間中心設計専門家
PDF
Redmineをちょっと便利に! プログラミング無しで使ってみるREST API
PDF
Lychee Redmine最新機能紹介とLycheeの未来について
PDF
PDF
PPTX
PDF
PDF
「Redmine」、「Trac」から「Atlassian JIRA」への移行紹介
PDF
オブジェクト指向プログラミングのためのモデリング入門
PDF
演題:価値のデザインからはじめるビジネス企画(前編解説)
PPTX
モデルベースドテスト入門 -テスト詳細設計を自動化しよう- #stac2013
PDF
PPTX
Similar to 第3回SEMAT勉強会 SEMATエッセンス解説
PDF
ソフトウェアエンジニアリングとEssenceの広がり
PDF
米国修士課程ベストセラーに学ぶ体系的ソフトウェアエンジニアリングの必要性 ~DX, AI, MaaS, …に惑わされない実践的エンジニアリングアプローチ~
PDF
ソフトウェアエンジニアリングとEssenceの広がり
PDF
Semat - a Japanese introduction
PPT
PDF
PDF
More from Hironori Washizaki
PDF
鷲崎弘宜, "AI/LLM時代のソフトウェエンジニアリング", 情報学科・専攻協議会 総会・研究会, 早稲田大学, 2025年7月26日
PDF
『生成AIによるソフトウェア開発』(鷲崎弘宜, 鵜林尚靖, 中川尊雄, 増田航太, 徳本晋, 近藤将成, 石川冬樹, 竹之内啓太, 小川秀人, スマートエ...
PDF
LLM/生成AI&エージェントによるソフトウェア開発の実践と展望(SES2025チュートリアル)
PDF
鷲崎弘宜, "高品質なAIシステムの開発・運用のための"フレームワーク", eAIシンポジウム 2025年1月16日
PDF
書籍紹介『生成AIによるソフトウェア開発: 設計からテスト、マネジメントまでを全て変革するLLM活用の実践体系』
PDF
鷲崎弘宜, "機械学習システムの多面的モデリング・パイプライン統合フレームワーク", 第6回 AI/IoTシステム安全性シンポジウム, 2024
PDF
SWEBOK: the software engineering body of knowledge (SC25 Workshop Research So...
PDF
コンピューティングおよびソフトウェア工学の潮流: IEEE-CS技術予測&SWEBOK Guideに基づくAI・アジャイル・サステナビリティの展望
PDF
IEEE Computer Society 2025 Vision and Future
PDF
AI Software Engineering based on Multi-view Modeling and Engineering Patterns
PDF
Impact of IEEE Computer Society in Advancing Software Engineering and Emergin...
PDF
Opening, 1st International Workshop on Patterns and Practices of Reliable AI ...
PDF
Impact of IEEE Computer Society in Advancing Emerging Technologies including ...
PDF
SWEBOK Guide and Software Services Engineering Education
PDF
AI/IoTをベースにしたDX人材育成の産学連携育成, 愛媛県デジタル人材育成シンポジウム, 2024年12月20日
PDF
IEEE-CS Tech Predictions, SWEBOK and Quantum Software: Towards Q-SWEBOK
PDF
IEEE Software Testing Technology Development Trend
PDF
Landscape of Requirements Engineering for/by AI through Literature Review
PDF
The Global Impact of IEEE Computer Society in Advancing Software Engineering ...
PDF
Overview of ISO/IEC/JTC1 SC7/WG20: Certification of software and systems engi...
第3回SEMAT勉強会 SEMATエッセンス解説 1. 2013年10月29日 第3回SEMATカーネル勉強会
SEMAT: ソフトウェアエンジニアリ
ングのエッセンス
鷲崎 弘宜
SEMAT Japan Chapter Chair
Twitter: @Hiro_Washi washizaki@waseda.jp
http://www.washi.cs.waseda.ac.jp/
(ベース資料)
I. Jacobsonほか: Tutorial: Essence - Kernel and Language for Software Engineering
Practices, ICSE'13
I. Jacobsonほか: ソフトウェアエンジニアリングのエッセンス: SEMAT カーネル,
http://www.semat.jp/publications
山本 修一郎: SEMATの概要 Business Communication, 2013
http://www.bcm.co.jp/site/youkyu/youkyu103.html
2. 3. 4. 5. 6. 20年前 オブジェクト指向
15年前 UML、RUP
12年前 CMMI
数年前 XP
現在 Scrum, リーン、かんばん
明日は?
どれも優れているが、我々の求める全てではない!
6
I. Jacobson, et al.: Tutorial: Essence - Kernel and Language for Software Engineering Practices, ICSE'13
7. 8. 9. 10. Software Engineering
Methods and Theory
• 2009年9月 創設 http://semat.org/
Ivar Jacobson Bertrand Meyer Richard Soley
• 堅固な理論、実証原則・ベストプラクティスに基づ
くソフトウェアエンジニアリング再建(共通理解)
– 理論的基礎の定義
– 広く受け入れられた要素によるカーネル
10
11. 理論がない「わけではない」
• Boehm: COCOMO
• Parnas: 情報隠蔽
• Constantine: 凝集度、結合度
• Conwayの法則
• Dijkstra: 構造化、Goto文撲滅
• Wirth: ステップワイズリファインメント
• Meyer: 契約による設計
などなど
しかし、いずれも共通基盤ではない
SEMATが、より具体的な理論が立脚する共通の理論基
盤を与える
11
I. Jacobson, et al.: Tutorial: Essence - Kernel and Language for Software Engineering Practices, ICSE'13
12. 13. 14. 15. 16. 17. 18. 19. 20. 21. 22. 23. 24. 25. 26. 27. 28. タスクかんばん
目的
To Do
Doing
Done
タスク 1
タスク 2 テスト環境セットアップ
タスク 3 要求項目Aの完了
タスク4
要求項目Bの完了
タスク 5 要求項目Cの完了
タスク 7
タスク 8
タスク 9
より多くの要求項目
の完了
タスク 6
I. Jacobson, et al.: Tutorial: Essence - Kernel and Language for Software Engineering Practices, ICSE'13
29. 30. カーネルの特徴と留意
• ソフトウェア「以外」の事柄大切、アジャイル宣言支持
• 状態指向(NOT プロセス指向)
• 留意
– プラクティス・手法定義の難しさ
– アルファ状態遷移の複雑さ
– ソフトウェア開発以外への応用可能性
原則
SEMATカーネル
従来
アクション可能
アルファで活動の進行状態と 文書などの成果
健全性把握
物
拡張可能
アルファ追加やプラクティス
定義可、様々な開発に適用
実践的
あらゆる担当者を支援、カー プロセス・品質エ
ド
ンジニアの支援
方法論の総取り
替え
山本 修一郎, SEMATの概要, Business Communication, 2013 http://www.bcm.co.jp/site/youkyu/youkyu103.html
Ivar Jacobson, et al.著, ソフトウェアエンジニアリングのエッセンス: SEMAT カーネル, http://www.semat.jp/publications
30
31. 32. Moving forward - その先へ!
• プラクティス
– エッセンス利用ガイド、プラクティスライブラリ
– ツール、教育
• 理論
– ソフトウェアエンジニアリングの「一般性理論」
– プラクティスに特化した研究
• コミュニティ
– US 法人設立、支部拡大
– 出版(Essence本、論文誌特集号)
32
33. • 2013年4月設立 http://www.semat.jp/
鷲崎弘宜 石川冬樹 川口恭伸
久保秋真 小林展英
高橋一貴 平鍋健児 森崎修司 吉村健太郎
•
•
•
•
SEMATのアイディア啓蒙・検証・拡張
コミュニティ醸成(250名超)、データ収集、プラクティス・理論
勉強会開催 6/20, 8/1, 10/29
山本修一郎先生講演「SEMATと保証ケース」 KBSE研究会
33