吉富

Memo†

論文†

TitleAuthorConferencePresentationStar
不具合履歴に基づくソフトウェア IV&V 活動の定量的見える化手法まつ本 真佑 他電子情報通信学会論文誌 D Vol.J92–D No. 12 pp. 2195〜2206 電子情報通信学会 2009[添付]☆☆☆
モデル検査による設計検証吉岡 信和 他コンピュータソフトウェア, Vol31, No.4(2014), pp.40~65.[添付]
ソフトウェアの品質向上のための開発現場におけるモデル検査技術を用いたソースコード検証の研究青木 善貴芝浦工業大学大学院 博士学位論文 2014[添付]
コンポーネント指向フレームワークを用いたSPAの画面遷移を対象とするモデル検査手法大嶋 乃斗 他研究報告ソフトウェア工学(SE)2018-03-02 情報処理学会[添付]
モデル検査を用いたFRAMモデルの解析青木 善貴ウィンターワークショップ2019・イン・福島飯坂[添付]
Statistical Errors in Software Engineering Experiments: A Preliminary Literature ReviewRolando P. Reyes Ch. 他ICSE 2018filep1195-reyes.pdf
[添付]
[添付]
[添付]

Schedule†

Mon Tue    Wed    Thu    Fri    
1              
2        生活環境システムA
3グループウェア論     グループウェア論研究室輪講  大ゼミ
4   ユビキタスコンピューティング論               
5ユビキタスコンピューティング論知的ロボティクス               
 

Goal†

研究のイメージ†

本研究によって解決される問題†

興味あり用件†

M1ミーティング†

研究会参加†

研究会参加目標†

過去録†

活動報告†

テンプレ†

Done†

Todo†

論文メモ†


トップ   新規 一覧 検索 最終更新   ヘルプ   最終更新のRSS