共 5 条
- [1] Sarch-Checks: A Method for Checking Software Architecture Security Properties using a Knowledge Graph IEEE 21ST INTERNATIONAL CONFERENCE ON SOFTWARE ARCHITECTURE COMPANION, ICSA-C 2024, 2024, : 135 - 142
- [2] Formal Modeling of Airborne Software High-Level Requirements Based on Knowledge Graph KNOWLEDGE SCIENCE, ENGINEERING AND MANAGEMENT, KSEM 2014, 2014, 8793 : 258 - 269
- [3] Modeling the Interactions between Decisions within Software Architecture Knowledge SOFTWARE ARCHITECTURE, ECSA 2014, 2014, 8627 : 33 - 40