武庫川女子大学 · 社会情報学部 · 教授

研究キーワード項書換系・アシュアランスケース・エンタープライズエンジニアリング・クリーニ代数・システムアシュアランス・システムズエンジニアリング・安全分析・議論学

ここは公開データのプレビューです。個別の適合理由、連絡角度、保存機能はログイン後に利用できます。

• Case Study Applying GQM+Strategies with SysML for IoT Application System Development.
• A method to generate formulas for temporal logic satisfiability checkers
• Prioritizing Scenarios based on STAMP/STPA Using Statistical Model Checking
• A supplemental notation of GSN aiming for dealing with changes of assurance cases

• 議論学を応用したソフトウェアインテグリティレベルの提案
• DevOpsアシュアランスケースによる機械学習システムのディペンダビリティ保証
• 複雑システムに対応する保証付き階層化安全分析手法STPA-Refine
• 実在・仮想データを用いた議論の論理に基づく紛争分析支援

• 公式プロフィール