「仕様書の統一様式の策定と仕様整合性検証システムの開発」

研究チーム5人の共著論文。論文は　こちら、スライドはこちら。
組込みソフトの仕様書の形式化と、入力を簡単にするツールの開発計画について。発表の出来はそれなり、また色々ご意見をいただく。ありがとうございます。