スポンサーリンク
日本ソフトウェア科学会 ; 1984- | 論文
- FOSE 2012 ソフトウェア再利用に向けた共通ゴール判別手法の提案
- 創立30周年へのメッセージ フォーラム この10年で何が変わったか? (特集 日本ソフトウェア科学会30周年)
- Event-B : リファインメントに基づくシステム・モデリング
- ソフトウェア紹介 Lifelog Viewer(ライフログビューア)
- OpenFlow技術とその応用 (特集 ネットワーク技術)
- プロダクトライン開発における検証 (特集 ソフトウェア工学)
- WISS 2010とWISS 2011での改革
- 国際シンポジウムFLOPS 2012開催報告
- POPL2013/PEPM2013/PLMW2013報告
- パイオニア 計算機科学および計算科学の発展を考えて
- WISS 2012 注視していないことを利用したポインティング高速化手法とその評価
- チュートリアル 『計算機科学者のためのゲーム理論入門』シリーズ(第4回)メカニズムデザイン(応用編)