共 50 条
- [2] An integrated requirements specification and validation framework for model-based systems Proceedings of the 10th IASTED International Conference on Software Engineering and Applications, 2006, : 307 - 312
- [3] Model-based simulation of legal policies: framework, tool support, and validation SOFTWARE AND SYSTEMS MODELING, 2018, 17 (03): : 851 - 883
- [4] Formal Validation and Verification Framework for Model-Based and Adaptive Control Systems NASA FORMAL METHODS, NFM 2016, 2016, 9690 : 227 - 233
- [5] Instantaneous PIV/PTV-based pressure gradient estimation: a framework for error analysis and correction Experiments in Fluids, 2017, 58
- [7] Agile Model-Based Integration Framework for Advanced Software Validation and Verification AIAA SCITECH 2023 FORUM, 2023,
- [8] Model-based simulation of legal policies: framework, tool support, and validation Software & Systems Modeling, 2018, 17 : 851 - 883
- [9] SnapMind: A Framework to Support Consistency and Validation of Model-Based Requirements in Agile Development 2014 IEEE 4TH INTERNATIONAL MODEL-DRIVEN REQUIREMENTS ENGINEERING WORKSHOP (MODRE), 2014, : 47 - 56