サクサク読めて、アプリ限定の機能も多数!
タグをすべて表示
タグの絞り込みを解除
協働ロボットCOROの開発において形式的仕様記述を適用した事例について解説した資料です。 2016年6月30日(木)国立情報学研究所において開催された『第1回 ソフトウェア工学勉強会』で発表しました。
ランキング
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く