astah in 5 min
Skip to content
  • 新着TIPS
  • 図で選ぶ
    • クラス図
    • シーケンス図
    • ステートマシン図
    • ユースケース図
    • アクティビティ図
    • ER図
    • 合成構造図
    • マインドマップ
  • シーンで選ぶ
    • 素早く描く
    • 綺麗に描く
    • 検索する
    • チーム開発
    • ドキュメント生成
    • コードリバース
    • 大きな図を編集する
    • 印刷
    • インストール/起動
    • ショートカットキー
    • API
  • プラグイン
    • API
    • サンプルスクリプト集
    • 図の一覧表示/出力
    • モデルビューの拡張
    • ソースコードを生成する
  • デベロッパー/開発手法
    • モデル検査の利用例
    • astah*開発を支える技術、ツール群の紹介
    • safeML
    • ConML
  • 不具合情報
    • astah* professional
    • astah* UML
    • astah* System Safety
    • astah* SysML
    • astah* GSN
    • astah* Viewer
    • トラブルシューティング
  • お知らせ
    • リリース情報
    • ETロボコン
    • セミナー
  • About
  • ENGLISH

methods

ソフトウェア開発におけるモデル検査の利用例などのご紹介

モデル検査のユースケース

  • by Satomi Joba
  • Posted on September 12, 2017September 12, 2017
  • methods

モデル検査の解説の第二回目です!今回は、モデル検査が活用できる利用場面の紹介です。

Read More

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

  • by Satomi Joba
  • Posted on July 31, 2017March 15, 2020
  • methods

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

Read More

Popular Posts

  • スクリプトエディタを使ってみよう – その1 –

    July 18, 2018
  • astah* ver7.2 の開発秘話

    April 18, 2018
  • UML無料セミナー報告:2017年4月26日、5月10日 チェンジビジョン@秋葉原『実装に活かせるモデル図の使い方~知っているのにUMLを使えていない方へ~』

    May 23, 2017
  • astahチームの開発を支える技術(開発ツール編)

    April 21, 2015
  • STAMP/STPA向けモデリングツール「STAMP Workbench」リリース

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

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

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

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

    August 14, 2015
  • Visioのようなアイコンを使って図の表現力を高めよう

    March 14, 2018

Social

  • Facebook
  • Twitter
  • YouTube

Top Posts & Pages

  • アクティビティ図を素早く綺麗に描くコツ
  • astah*で描いた図をPlantUMLやmermaid用に変換
  • クラス図
  • シーケンス図のメッセージ番号を非表示にする
  • スクリプトエディタで、すぐに使えるサンプル集
  • 図要素を最背面に移動するショートカットキーを設定する
  • クラス図やER図を自動で作成する方法
  • シーケンス図でReplyメッセージを複数作成する
  • astah*でPDF出力できますか?
  • フォント・文字サイズの設定

Follow me on Twitter

My Tweets

About

Tags

Activity Diagram ai astah astah*関西 astah professional Classdiagram Classes CSV d-case erd ER図 ETロボコン fram GSN INCOSE IoT IPA Java JCOSE LED-camp MBSE MDD mindmapping model driven development plugin SCDL SE sequence daigaram sequence diagram sotif STAMP STPA sysml SystemsEngineering UML お正月 お正月休み アクティビティ図 クラス図 シーケンス図 ソースコード生成 ツールチップ ツールバー テンプレートファイル マインドマップ モデル駆動開発 休業案内 勉強会 年末年始 強制終了
Follow astah in 5 min on WordPress.com

Blog at WordPress.com.
Privacy & Cookies: This site uses cookies. By continuing to use this website, you agree to their use.
To find out more, including how to control cookies, see here: Cookie Policy