DSWデモ・ポスター

DSWデモ・ポスターの内容を紹介します.

発表者による宣伝,ご議論などには以下のハッシュタグをご利用下さい.
#jssst2013 #jssst2013dsw


DSWデモ・ポスター: 9月12日 16:00〜18:00,工学部2号館中庭

1. 仮想AMTを用いた仮想マシンとPCの一元管理 (大薗弘記,光来健一)
2. Java PathFinderを使用したOpenFlowコントローラのモデル検査 (穂浪勇利,田辺良則,萩谷昌己)

rePiTポスター

rePiTポスターの内容を紹介します.

発表者による宣伝,ご議論などには以下のハッシュタグをご利用下さい.
#jssst2013 #jssst2013repit


rePiTポスター: 9月12日 16:00〜18:00,工学部2号館中庭

1. 全国調査を通じた実践的な情報教育の実態と課題の明確化 (吉岡信和,櫻井浩子,西村一彦)
2. 模擬案件と実案件を組み合せたシステム構築PBLカリキュラムの開発 (伊藤恵,木塚あゆみ,奥野拓,大場みち子)
3. Cloud Spiral の取り組み (中村匡秀,井垣宏,佐伯幸郎,まつ本真佑,楠本真二,上原邦昭,井上克郎)
4. Hardware and Software Design of a Mini Cloud for Experiments with Virtualization in Classes (ザニケエフ・マラット,小出洋)
5. 筑波大学における enPiT-BizApp への取り組み (早瀬康裕,嵯峨智,渡辺知恵美,河辺徹,北川博之,三末 和男)

一般デモ・ポスター

一般デモ・ポスターの内容を紹介します.

発表者による宣伝,ご議論などには以下のハッシュタグをご利用下さい.
#jssst2013 #jssst2013一般


一般デモ・ポスター: 9月12日 16:00〜18:00,工学部2号館中庭

1. Simplifying the Implementation of Fast Java EDSLs by Using Metaprogramming Techniques (Maximilian Pascal Scherr,千葉滋)
2. 高速な多次元配列操作のための型検査方式の検討 (八杉昌宏)
3. Coq によるセキュリティプロトコルの実装の検証 (アフェルトレナルド,坂口和彦)
4. 分散処理向けXMLパースライブラリ開発 (川村高之,前田秀樹,松崎公紀)
5. JavaScriptのプログラム可視化を用いたデバッガ (徐駿剣,脇田建)
6. OCamlのシェルプログラミングのための安全な領域特化言語の提案 (朝倉泉,青谷知幸,増原英彦)
7. TT-liftingによる模倣関係・双模倣関係 (佐藤哲也)