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

発表練習、さらに体調を崩したので午前中はホテルで過ごす。発表は午後。夜は研究所の関係者とインドカレーを食べに行く。 つくばはもう秋。