形式手法の統合によるシームレスなソフトウェア開発手法の提案

青木利晃 - 2015 - dspace.jaist.ac.jp
本研究では, 複数の形式手法を統合し, システム開発の上流工程から下流工程までをシームレスに
接続する手法を提案した. また, 実際の車載オペレーティングシステムの事例に適用し …