Skip to content

新着TIPS
図で選ぶ
シーンで選ぶ
プラグイン
お知らせ
デベロッパー
- astah*開発を支える技術、ツール群の紹介
- safeML
不具合情報
About
ENGLISH

statemachine diagram

ステートマシン図の設計品質の向上の一手法の紹介

by Satomi Joba
Posted on July 31, 2017July 31, 2017
statemachine diagram

モデル検査技術を用いてステートマシン図を自動検証する手法のご紹介

ステートマシン図の状態を構造ツリーに表示する

by Satomi Joba
Posted on March 1, 2014May 29, 2017
statemachine diagram

ステートマシン図の状態を構造ツリーに表示する

Search for:

Popular Posts

ETロボコン提出モデルをブラッシュアップ【りりぃメソッド：フォント編】

July 30, 2015
図の一覧をCSVファイルに出力するプラグイン – 0.9.1公開

March 12, 2015
シーケンス図一覧をCSVに出力する

March 5, 2015
astahチームの開発を支える技術(プロジェクトの様々なことを自働化するロボット Hubot編)

April 27, 2015
TODO – [タスク]ビューを追加できるようになりました

May 19, 2015
Gitのデータモデル

July 16, 2015
ETロボコン提出モデルをブラッシュアップ【りりぃメソッド：まとめ】

August 28, 2015
ETロボコン提出モデルをブラッシュアップ【りりぃメソッド：強調のテクニック】

August 20, 2015
クラス図とシーケンス図のトレーサビリティを保ちながら設計する

August 18, 2015
ETロボコン提出モデルをブラッシュアップ【りりぃメソッド：ひと手間編】

August 14, 2015

Social

Facebook
Twitter
YouTube

Top Posts & Pages

アクティビティ図を素早く綺麗に描くコツ
クラス図やER図を自動で作成する方法
クラス図とシーケンス図のトレーサビリティを保ちながら設計する
Scriptプラグインで、すぐに使えるサンプル集
クラス図
クラス図を素早く描く
ステートマシン図の設計品質の向上の一手法の紹介
シーケンス図のメッセージ番号を非表示にする
シーケンス図
組み込みソフトウェア開発でUMLを使おう - "UML2C"プラグインのご紹介!

Follow me on Twitter

About

Tags

Activity Diagram align alignment astah astah professional C# Classdiagram Classes combinedfragment CSV design design thinking erd ER図 ETロボコン fileexport Gojko Adzic IAthinking IA thinking impactmapping Information Architecture Java Java Day LED-camp loop MDD mindmapping model driven development nicely plugin release reverse engineering seminar sequence daigaram sequence diagram snapshot Specification by Example stickers UML アクティビティ図クラス図シーケンス図ソースコード生成ツールチップツールバーテンプレートファイルデブサミマインドマップモデル駆動開発強制終了

Follow astah in 5 min on WordPress.com

Follow this blog

Create a free website or blog at WordPress.com.