WEKO3
アイテム
Alloyを活用したインフラ設計段階における正当性検証
https://ipsj.ixsq.nii.ac.jp/records/214679
https://ipsj.ixsq.nii.ac.jp/records/2146790ee1a9bc-84ed-4b94-89d5-d29086e585e4
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-Z83-5B-03.pdf (334.4 kB)
|
Copyright (c) 2021 by the Information Processing Society of Japan
|
| Item type | National Convention(1) | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2021-03-04 | |||||||||||
| タイトル | ||||||||||||
| タイトル | Alloyを活用したインフラ設計段階における正当性検証 | |||||||||||
| 言語 | ||||||||||||
| 言語 | jpn | |||||||||||
| キーワード | ||||||||||||
| 主題Scheme | Other | |||||||||||
| 主題 | ソフトウェア科学・工学 | |||||||||||
| 資源タイプ | ||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||||||
| 資源タイプ | conference paper | |||||||||||
| 著者所属 | ||||||||||||
| 三菱 | ||||||||||||
| 著者所属 | ||||||||||||
| 三菱 | ||||||||||||
| 著者所属 | ||||||||||||
| 三菱 | ||||||||||||
| 著者名 |
中村, 雄一郎
× 中村, 雄一郎
× 辻尾, 良太
× 松浦, 陽平
|
|||||||||||
| 論文抄録 | ||||||||||||
| 内容記述タイプ | Other | |||||||||||
| 内容記述 | ウォーターフォール型のオンプレシステム開発におけるのインフラ環境構築では、上流設計での検討漏れや担当者間の認識齟齬による設計ミス・設定誤りが原因で後工程で手戻りが発生し、工程遅延や人的リソースの追加によるコスト増が問題となる。本発表では、形式手法のモデル検査ツールであるAlloyを使用し、WEBサーバとファイアウォールを用いた通信についてモデル化を行い、設計時点での仕様の正当性を検証する方式を報告する。 | |||||||||||
| 書誌レコードID | ||||||||||||
| 収録物識別子タイプ | NCID | |||||||||||
| 収録物識別子 | AN00349328 | |||||||||||
| 書誌情報 |
第83回全国大会講演論文集 巻 2021, 号 1, p. 139-140, 発行日 2021-03-04 |
|||||||||||
| 出版者 | ||||||||||||
| 言語 | ja | |||||||||||
| 出版者 | 情報処理学会 | |||||||||||
