Kanagawa University · Faculty of Informatics · 教授

Research keywordsspecification description・要求分析・Requirements analysis・仕様記述・セキュリティパターン・トレーサビリティ・プライバシー要求工学

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

• Applying a model checker to check regulatory compliance of use case models
• Requirements Refinement and Exploration of Architecture for Security and Other NFRs
• Towards A Knowledge Base for Software Developers to Choose Suitable Traceability Techniques
• 要求変更によるソースコードへのインパクトを分析するシステムの開発と評価.

• ゴール指向分析を用いたJavaセキュリティポリィシィの確認法
• ソフトウェア分散開発における協調作業モデルとその支援環境
• セキュリティとプライバシーの知識を成果物に関連付ける根拠モデルに基づく学習環境
• 分散ソフトウェア開発における共同作業阻害要因の検出モデルに関する研究

• Official profile