Alloy_Analyzerとは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > Alloy_Analyzerの意味・解説 

Alloy Analyzer

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/08/26 06:40 UTC 版)

ナビゲーションに移動 検索に移動

軽量形式手法の一つ。仕様をモデルとして記述し検証するシステム。定義したデータの関係がどうなるか、模擬試験した結果を順に表示する仕組みがある。 設計者が想定していない関係が現れたら、仕様記述の不具合の可能性がある。 UML記述システムとAlloy Analyzeとの連携ソフトウェアがあり、UMLの記述ができる技術者が容易に利用できるようになっている。[1]

脚注

  1. ^ http://www.sparxsystems.jp/products/EA/tech/Alloy.htm UML記述システムとAlloy Analyzerとの連携

参考文献

  • 抽象によるソフトウェア設計−Alloyではじめる形式手法 ,Daniel Jackson, オーム社,2011年 ISBN 978-4274068584
  • 在庫管理プログラムに対するAlloy Analyzerを用いた検証事例, 森 恵弥佳, 岡野浩三, 楠本真二,大阪大学, コンピュータソフトウェア, volume 30, number 3, pages 187-193 2013年8月.日本ソフトウェア科学会 http://sdl.ist.osaka-u.ac.jp/pman/pman3.cgi?DOWNLOAD=201
  • 独立行政法人情報処理推進機構 委託 2013 年度ソフトウェア工学分野の先導的研究支援事業 「形式仕様とテスト生成の部分的・段階的な活用 ~探索を通したコード中心インクリメンタル型開発の支援」 成果報告書 平成 27 年 2 月 情報・システム研究機構 国立情報学研究所 https://www.ipa.go.jp/files/000045270.pdf
  • 演習コースII 形式手法と仕様記述 Bチーム 2015/2/27 発表資料 蛸島 昭之, 日本科学技術連盟, http://juse-sqip.jp/workshop/seika/2014/attachs/20150227-II-B.pdf

外部リンク




英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「Alloy_Analyzer」の関連用語

Alloy_Analyzerのお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



Alloy_Analyzerのページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアのAlloy Analyzer (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。

©2025 GRAS Group, Inc.RSS