Mukogawa Women's University · Faculty of Social Informatics · 教授

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

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

• 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
• 実在・仮想データを用いた議論の論理に基づく紛争分析支援

• Official profile