文献

J-GLOBAL ID：201102253214425314   整理番号：11A0777296

仕様検査ツールAlloyを用いたUML図の整合性違反検出

著者 (5件)： 仁宮章恵 (岡山県大 大学院情報系工学研究科) ,  横川智教 (岡山県大 大学院情報系工学研究科) ,  宮崎仁 (川崎医療福祉大) ,  佐藤洋一郎 (岡山県大 大学院情報系工学研究科) ,  早瀬道芳 (岡山県大 大学院情報系工学研究科)
資料名： 情報処理学会シンポジウム論文集  (情報処理学会ワークショップ論文集)
巻： 2011  号： 2  ページ： 127-128  発行年： 2011年01月13日 
JST資料番号： Y0978B  ISSN： 1344-0640  資料種別： 会議録 (C)
記事区分： 短報  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 本稿では,状態マシン図およびシーケンス図でモデル化されたソフトウェアシステムの振る舞いを仕様記述ツールAlloyの入力言語で表現し,整合性違反を検出する手法を提案する。(著者抄録)

シソーラス用語： *形式的手法【計算機】 ,  *支援プログラム ,  仕様記述 ,  UML【モデリング言語】 ,  コンシステンシー【計算機】 ,  ソフトウェア設計 ,  状態遷移図 ,  図面 ,  式
準シソーラス用語： UML図 ,  シーケンス図 ,  *ソフトウェアツール ,  整合性 ,  論理式

分類 (2件)： 計算理論  (JB02000A) ,  計算機システム開発  (JD02010R)

タイトルに関連する用語 (5件)： 仕様 ,  検査 ,  ツール ,  UML ,  整合性