Executable UML(xtUML) 図(41)

＜エンジニア夏休み企画>【読書感想文】
https://qiita.com/official-events/6d31965c499a69377c0b

参加記事です。　

Executable UML MDAモデル駆動型アーキテクチャの基礎
https://bookmeter.com/books/216742

>Executable UML 記述 SPINで生成最後はCに #短歌

<この項は書きかけです。順次追記します。>
This article is not completed. I will add some words in order.
## 文献
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

過去行事
https://www.toppers.jp/TOPPERS-USERS/200906/msg00001.html

>日　時： 平成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
 

# 関連資料
' @kazuo_reve 私が効果を確認した「小川メソッド」
https://qiita.com/kazuo_reve/items/a3ea1d9171deeccc04da

' @kazuo_reve 新人の方によく展開している有益な情報
https://qiita.com/kazuo_reve/items/d1a3f0ee48e24bba38f1

' @kazuo_reve Vモデルについて勘違いしていたと思ったこと
https://qiita.com/kazuo_reve/items/46fddb094563bd9b2e1e
## 自己記事一覧
プログラマが知っていると良い「公序良俗」
https://qiita.com/kaizen_nagoya/items/9fe7c0dfac2fbd77a945

逆も真：社会人が最初に確かめるとよいこと。OSEK(69)、Ethernet(59)
https://qiita.com/kaizen_nagoya/items/39afe4a728a31b903ddc

「何を」よりも「誰を」。１０年後のために今見習いたい人たち
https://qiita.com/kaizen_nagoya/items/8045978b16eb49d572b2

Qiitaの記事に３段階または５段階で到達するための方法
https://qiita.com/kaizen_nagoya/items/6e9298296852325adc5e

物理記事　上位100
https://qiita.com/kaizen_nagoya/items/66e90fe31fbe3facc6ff

量子(0) 計算機, 量子力学 
https://qiita.com/kaizen_nagoya/items/1cd954cb0eed92879fd4

数学関連記事１００
https://qiita.com/kaizen_nagoya/items/d8dadb49a6397e854c6d

統計(0)一覧
https://qiita.com/kaizen_nagoya/items/80d3b221807e53e88aba

図(0) state, sequence and timing. UML and お絵描き 
https://qiita.com/kaizen_nagoya/items/60440a882146aeee9e8f

品質一覧 
https://qiita.com/kaizen_nagoya/items/2b99b8e9db6d94b2e971

言語・文学記事　１００
https://qiita.com/kaizen_nagoya/items/42d58d5ef7fb53c407d6

医工連携関連記事一覧
https://qiita.com/kaizen_nagoya/items/6ab51c12ba51bc260a82

自動車　記事　１００
https://qiita.com/kaizen_nagoya/items/f7f0b9ab36569ad409c5

通信記事１００
https://qiita.com/kaizen_nagoya/items/1d67de5e1cd207b05ef7

日本語（０）一欄
https://qiita.com/kaizen_nagoya/items/7498dcfa3a9ba7fd1e68

英語(0) 一覧
https://qiita.com/kaizen_nagoya/items/680e3f5cbf9430486c7d

転職(0)一覧
https://qiita.com/kaizen_nagoya/items/f77520d378d33451d6fe

仮説（0）一覧（目標100現在40）
https://qiita.com/kaizen_nagoya/items/f000506fe1837b3590df

音楽　一覧(0) 
https://qiita.com/kaizen_nagoya/items/b6e5f42bbfe3bbe40f5d

「@kazuo_reve 新人の方によく展開している有益な情報」確認一覧 
https://qiita.com/kaizen_nagoya/items/b9380888d1e5a042646b

Qiita(0)Qiita関連記事一覧（自分）
https://qiita.com/kaizen_nagoya/items/58db5fbf036b28e9dfa6

鉄道（０）鉄道のシステム考察はてっちゃんがてつだってくれる
https://qiita.com/kaizen_nagoya/items/26bda595f341a27901a0

安全（0）安全工学シンポジウムに向けて: 21
https://qiita.com/kaizen_nagoya/items/c5d78f3def8195cb2409

一覧の一覧( The directory of directories of mine.) Qiita(100)
https://qiita.com/kaizen_nagoya/items/7eb0e006543886138f39

Ethernet 記事一覧　Ethernet(0)
https://qiita.com/kaizen_nagoya/items/88d35e99f74aefc98794

Wireshark 一覧 wireshark(0)、Ethernet(48) 
https://qiita.com/kaizen_nagoya/items/fbed841f61875c4731d0

線網（Wi-Fi）空中線(antenna)(0) 記事一覧(118/300目標)
https://qiita.com/kaizen_nagoya/items/5e5464ac2b24bd4cd001

OSEK OS設計の基礎　OSEK(100)
https://qiita.com/kaizen_nagoya/items/7528a22a14242d2d58a3

Error一覧 error(0)
https://qiita.com/kaizen_nagoya/items/48b6cbc8d68eae2c42b8

C++ Support(0)　
https://qiita.com/kaizen_nagoya/items/8720d26f762369a80514

Coding(0) Rules, C, Secure, MISRA and so on
https://qiita.com/kaizen_nagoya/items/400725644a8a0e90fbb0

coding (101) 一覧を作成し始めた。omake:最近のQiitaで表示しない5つの事象
https://qiita.com/kaizen_nagoya/items/20667f09f19598aedb68

プログラマによる、プログラマのための、統計(0)と確率のプログラミングとその後
https://qiita.com/kaizen_nagoya/items/6e9897eb641268766909

なぜdockerで機械学習するか 書籍・ソース一覧作成中 (目標100)
https://qiita.com/kaizen_nagoya/items/ddd12477544bf5ba85e2

言語処理100本ノックをdockerで。python覚えるのに最適。:10+12
https://qiita.com/kaizen_nagoya/items/7e7eb7c543e0c18438c4

プログラムちょい替え（0）一覧:4件
https://qiita.com/kaizen_nagoya/items/296d87ef4bfd516bc394

Python(0)記事をまとめたい。
https://qiita.com/kaizen_nagoya/items/088c57d70ab6904ebb53

官公庁・学校・公的団体（NPOを含む）システムの課題、官（０）
https://qiita.com/kaizen_nagoya/items/04ee6eaf7ec13d3af4c3

「はじめての」シリーズ　 ベクタージャパン　
https://qiita.com/kaizen_nagoya/items/2e41634f6e21a3cf74eb

AUTOSAR(0)Qiita記事一覧, OSEK(75)
https://qiita.com/kaizen_nagoya/items/89c07961b59a8754c869

プログラマが知っていると良い「公序良俗」
https://qiita.com/kaizen_nagoya/items/9fe7c0dfac2fbd77a945

LaTeX(0) 一覧　
https://qiita.com/kaizen_nagoya/items/e3f7dafacab58c499792

自動制御、制御工学一覧（０）
https://qiita.com/kaizen_nagoya/items/7767a4e19a6ae1479e6b

Rust(0) 一覧　
https://qiita.com/kaizen_nagoya/items/5e8bb080ba6ca0281927

100以上いいねをいただいた記事16選
https://qiita.com/kaizen_nagoya/items/f8d958d9084ffbd15d2a

小川清最終講義、最終講義（再）計画, Ethernet(100) 英語(100) 安全(100)
https://qiita.com/kaizen_nagoya/items/e2df642e3951e35e6a53

＜この記事は個人の過去の経験に基づく個人の感想です。現在所属する組織、業務とは関係がありません。＞
This article is an individual impression based on my individual experience. It has nothing to do with the organization or business to which I currently belong.
### 文書履歴(document history)
ver. 0.01 初稿 　20240707
### 最後までおよみいただきありがとう4ざいました。
いいね　💚、フォローをお願いします。
#### Thank you very much for reading to the last sentence.
Please press the like icon 💚　and follow me for your happy life.