プログラミング,何をどう教えているか : 実践プロジェクト形式によるソフトウェア工学教育
スポンサーリンク
概要
著者
関連論文
-
ラベル付き遷移システムに基づくアスペクト指向プログラムのモデル化
-
木オートマトンを用いたXML処理
-
実行履歴に基づくアクセス制御の形式モデルと検証(セキュリティ,フォーマルアプローチ論文)
-
XML文書に対するアクセシビリティガイドライン適合性検証(ソフトウェア,フォーマルアプローチ論文)
-
信用管理における確率モデルに基づく利用者プレゼンスの推定(位置情報とRFID, ホームネットワーク, ヒューマンインタフェース, 情報家電, アクセシビリティ)
-
User Presence Estimation Based on a Stochastic Model in Presence-aware Trust Management (特集:ホームネットワーク,ヒューマンインタフェース,情報家電,アクセシビリティ)
-
D-3-1 HBACプログラムのモデル検査の情報フロー解析への応用(D-3.ソフトウェアサイエンス,一般講演)
-
実行履歴に基づくアクセス制御付きプログラムのモデル検査法による情報フロー解析
-
実行履歴に基づくアクセス制御付きプログラムのモデル検査
-
実行履歴に基づくアクセス制御付き再帰プログラムの形式モデル
-
情報流仕様に基づくアクセス制御文の自動生成
-
信用交渉における公開木戦略の計算量(計算機科学の理論とその応用)
-
アドホックネットワークにおけるPKI証明書連鎖発見問題について(セッション2:セキュリティ)
-
ユーザプレゼンスを利用した信用管理方式
-
信用管理における確率モデルに基づく利用者プレゼンスの推定
-
XMLアクセス制御における木オートマトンを利用した静的解析(システム検証の科学技術)
-
XMLアクセス制御における木オートマトンを用いた静的解析
-
アドホックネットワークにおけるPKI証明書連鎖発見問題について(セッション2:セキュリティ)
-
システムの内部状態を導入した信用管理モデル
-
実行履歴に基づくアクセス制御付き再帰プログラムの形式モデル
-
プログラミング,何をどう教えているか : 実践プロジェクト形式によるソフトウェア工学教育
-
フィジカルコンピューティングのためのスマートフォンを用いた開発環境の提案
-
フィジカルコンピューティングのためのスマートフォンを用いた開発環境の提案
-
フィジカルコンピューティングのためのスマートフォンを用いた開発環境の提案
-
デザインパターン検出ツールを用いた汎化関係の追加に基づくパターン適用可能箇所検出手法(プログラム解析と開発支援)
もっと見る
閉じる
スポンサーリンク