茨城高専における教育用電子計算機演習室の更新について
スポンサーリンク
概要
- 論文の詳細を見る
- 2010-08-27
著者
関連論文
- ディスクレスによるプログラミング演習室システム開発
- プロトタイピング指向言語Brambleの開発
- メタ階層アーキテクチャによるモデリングとリポジトリシステム
- オブジェクト指向モデル記述言語のインタプリタ処理系の開発
- 形式手法Alloyを用いた図式モデルのための段階的検証方法(形式手法(2)(学生セッション))
- デザインパターン利用促進のためのモデリング支援ツールの開発(開発支援(学生セッション))
- アクティビティ図主導のモデリング支援ツールの開発(協調開発(学生セッション))
- メタ階層を用いたプロトタイピング手法の提案
- ドメイン情報を利用した要求モデルの生成支援環境
- メタ階層化による図式モデルの形式的記述
- オブジェクト指向設計と実装のつながりに関する考察
- メタ階層モデル記述言語Brambleの分散オブジェクト環境への対応
- イントラネット形態によるソフトウェアリポジトリの構成の検討
- ディスクレスによるプログラミング演習室システムの開発
- B-013 YAMLを用いたJavaプログラムコードのリファクタリングの提案(B分野:ソフトウェア,一般論文)
- 安価なPCを用いたアプライアンス指向サーバの構築と運用
- 情報制御システム記述モデルの検証項目記述とSPINによる確認
- 情報制御システム記述言語RASYSによるモデル記述の網羅性検査ツールの開発
- 茨城高専における教育用電子計算機演習室の更新について
- B-012 SPINによる検証支援ツールの開発(ソフトウェア,一般論文)
- 2ZF-6 ケアプランにおけるアセスメント支援ツールの開発(健康・ケア情報システム,学生セッション,コンピュータと人間社会)
- 5R-2 ウェブクリッピングによる情報収集を支援するアプリケーションの開発(Web応用,学生セッション,データベースとメディア)
- B-013 VDMによる検証支援ツールの開発(ソフトウェア,一般論文)
- 有限Alloy記述の段階的な構築について
- ディスクレスによるプログラミング演習室システムの構築
- 複数の分野の混成グループによるソフトウェア開発の方法論に関する検討
- 情報制御システムのモデル検査における反例分析支援ツールの開発
- 福島・茨城両高専における外部電子メールシステムと学内SNS の導入の有効性について