B-013 VDMによる検証支援ツールの開発(ソフトウェア,一般論文)
スポンサーリンク
概要
- 論文の詳細を見る
- FIT(電子情報通信学会・情報処理学会)推進委員会の論文
- 2009-08-20
著者
関連論文
- ディスクレスによるプログラミング演習室システム開発
- プロトタイピング指向言語Brambleの開発
- メタ階層アーキテクチャによるモデリングとリポジトリシステム
- オブジェクト指向モデル記述言語のインタプリタ処理系の開発
- 地域組織に対するプロジェクト支援に関する考察
- 形式手法Alloyを用いた図式モデルのための段階的検証方法(形式手法(2)(学生セッション))
- デザインパターン利用促進のためのモデリング支援ツールの開発(開発支援(学生セッション))
- アクティビティ図主導のモデリング支援ツールの開発(協調開発(学生セッション))
- メタ階層を用いたプロトタイピング手法の提案
- ドメイン情報を利用した要求モデルの生成支援環境
- メタ階層化による図式モデルの形式的記述
- オブジェクト指向設計と実装のつながりに関する考察
- メタ階層モデル記述言語Brambleの分散オブジェクト環境への対応
- イントラネット形態によるソフトウェアリポジトリの構成の検討
- 平成9年度情報工学演習室利用状況
- 学生教育と連動させた地域情報化支援
- ディスクレスによるプログラミング演習室システムの開発
- B-013 YAMLを用いたJavaプログラムコードのリファクタリングの提案(B分野:ソフトウェア,一般論文)
- B-12 顧客によるソフトウェア要求定義のための方法論の考察(開発技術,B.ソフトウェア)
- 保守過程における自然言語を用いた要求記述支援システムの検討
- 顧客による要求分析のための手法とその支援システム
- 要求仕様導出支援システムにおける辞書構築手法
- 安価なPCを用いたアプライアンス指向サーバの構築と運用
- 平成13年茨城工業高等専門学校「インターネット講座『電子メールと家庭内LAN』中級」実施報告
- 茨城高専の"e-college"構想
- 情報制御システム記述モデルの検証項目記述とSPINによる確認
- 情報制御システム記述言語RASYSによるモデル記述の網羅性検査ツールの開発
- 顧客によるソフトウェア要求定義の手順に関する考察
- ソフトウェア保守過程における要求記述の役割に関する考察
- オペレーティングシステムのネットワークブートに関する考察
- 茨城高専における教育用電子計算機演習室の更新について
- Requirement Definition by Customers Using Natural Language
- B-012 SPINによる検証支援ツールの開発(ソフトウェア,一般論文)
- 2ZF-6 ケアプランにおけるアセスメント支援ツールの開発(健康・ケア情報システム,学生セッション,コンピュータと人間社会)
- 5R-2 ウェブクリッピングによる情報収集を支援するアプリケーションの開発(Web応用,学生セッション,データベースとメディア)
- 平成9年度公開講座「マルチメディアパソコン講座」の実施状況報告
- B-013 VDMによる検証支援ツールの開発(ソフトウェア,一般論文)
- 有限Alloy記述の段階的な構築について
- 機能限定ソフトウェアシステムのフレームワーク策定および開発環境に関する考察
- ディスクレスによるプログラミング演習室システムの構築
- 複数の分野の混成グループによるソフトウェア開発の方法論に関する検討
- 複数の分野の混成グループによるソフトウェア設計における開発方法論の導入
- 校内情報ネットワークの構成とその問題点
- 平成10年度情報工学演習室利用状況
- SINETの運用体制と構成
- 機能限定ソフトウェアシステムのフレームワーク策定および開発環境に関する考察
- フレームワークに基づいた機能限定ソフトウェアシステム設計ツールの開発
- 情報制御システムのモデル検査における反例分析支援ツールの開発
- フレームワークに基づいた機能限定ソフトウェアシステム開発環境の構築
- 超音波センサーを用いた4点杖の使用者のコンテキスト推定法の提案
- 福島・茨城両高専における外部電子メールシステムと学内SNS の導入の有効性について