@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00214679,
 author = {中村, 雄一郎 and 辻尾, 良太 and 松浦, 陽平},
 book = {第83回全国大会講演論文集},
 issue = {1},
 month = {Mar},
 note = {ウォーターフォール型のオンプレシステム開発におけるのインフラ環境構築では、上流設計での検討漏れや担当者間の認識齟齬による設計ミス・設定誤りが原因で後工程で手戻りが発生し、工程遅延や人的リソースの追加によるコスト増が問題となる。本発表では、形式手法のモデル検査ツールであるAlloyを使用し、WEBサーバとファイアウォールを用いた通信についてモデル化を行い、設計時点での仕様の正当性を検証する方式を報告する。},
 pages = {139--140},
 publisher = {情報処理学会},
 title = {Alloyを活用したインフラ設計段階における正当性検証},
 volume = {2021},
 year = {2021}
}