＜エンジニア夏休み企画>【読書感想文】
参加記事です。
Executable UML MDAモデル駆動型アーキテクチャの基礎
Executable UML 記述 SPINで生成最後はCに #短歌
文献
Model Checkingを適用した実践的非同期制御検証
富士ゼロックス株式会社 オフィスプロダクト事業本部 コントローラソフトウェア開発部
村石 理恵/服部 彰宏/野村 秀樹/山本 訓稔 2007 年 1月30日
https://www.jasst.jp/archives/jasst07e/pdf/D2-3.pdf
ModelChecking技術の専門性の排除とその効用
富士ゼロックス株式会社 オフィスプロダクト事業本部 コントローラソフトウェア開発部
野村 秀樹/服部 彰宏/村石 理恵/山本 訓稔 2008 年 1月30日
https://www.jasst.jp/archives/jasst08e/pdf/B4-2.pdf
過去行事
日 時： 平成21年6月26日（金曜） 13：00 ―16：45
場 所： 名古屋市工業研究所 ホール
参加費：無料
http://www.nmiri.city.nagoya.jp/koutu/koutu.htm
名古屋市熱田区六番３丁目４番４１号（地下鉄六番町駅下車３番出口南）
内 容：
(13:00-13:30)「モデル設計におけるUMLとモデル検証に関する
SPIN、UPPAAL、Z、Bの名古屋市工業研究所の取り組み」
電子情報部情報デバイス研究室 小川清、斉藤直希
(13:30～15:00)「モデル駆動開発へのモデルチェッキング技術の導入」
富士ゼロックス（株） 服部 彰宏氏、山本 訓稔氏
(15:15～16:45) 質疑応答、ライトニングトークス（参加者による簡単な発表）
xtUML
https://xtuml.org
動画
xtUML Days 2021
https://www.youtube.com/watch?v=AcNBUEHAyTs
xtUML Days 2021 - Modeling and Time
https://www.youtube.com/watch?v=vCgn657AMec
xtUML Days 2021 - Nils Paulsson: XTU: Modeling and a C++ Model Compiler
https://www.youtube.com/watch?v=D_KGgufu_Tg
Team Japan on xtUML Education
https://www.youtube.com/watch?v=X2sBNDPGjaY
xtUML Days 2020 - Overview and Preparation
https://www.youtube.com/watch?v=TdxJ647T1eU
HOWTO Access Git Using Eclipse BridgePoint
https://www.youtube.com/watch?v=GpePOf387Yc
HOWTO Install BridgePoint xtUML
https://www.youtube.com/watch?v=Pzyt8mowRUU
xtUML Days 2020 Speaker Preparation
https://www.youtube.com/watch?v=2_OAuDWMyHc
Models Behind the Wheel – xtUML Days 2020
https://www.youtube.com/watch?v=PVnrEszzXqk
Standards-Based Executable UML: Today’s Reality and Tomorrow’s Promise
Andrew Watson, VP of Technology, OMG and Ed Seidewitz, Director of Research and Development, nMeta
Mar 9 2017 | 64 mins
https://www.brighttalk.com/webcast/12231/246845?fbclid=IwAR0OwZIsESCBfauRh2h7h9vMWDcVyLFzL3AoJo80FioraC0yr8pqmH4lljw
UML® (Unified Modeling Language™) and SysML® (Systems Modeling Language™)
Ed Seidewitz, CTO, Model Driven Solutions, co-chair of OMG fUML, Alf and PSCS RTFs, and Model Interchange SIG
Nov 16 2018 | 51 mins
https://www.brighttalk.com/webcast/12231/342615?utm_source=brighttalk-portal&utm_medium=web&utm_content=executable%20UML&utm_term=search-result-1&utm_campaign=webcasts-search-results-feed