共 50 条
- [2] Model-Based Transition from Requirements to High-Level Software Design PRODUCT-FOCUSED SOFTWARE PROCESS IMPROVEMENT, 2013, 7983 : 367 - 369
- [3] Model-Based Transition from Requirements to High-Level Software Design 2013 20TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2013), VOL 2, 2013, : 81 - 82
- [4] Extracting High-Level Functional Design from Software Requirements APSEC 09: SIXTEENTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2009, : 35 - +
- [5] EFFICIENT HIGH-LEVEL ITERATION WITH ACCUMULATORS ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1989, 11 (02): : 194 - 211
- [6] Learning High-Level Policies for Model Predictive Control 2020 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), 2020, : 7629 - 7636
- [7] Suitability of Requirements Abstraction Model (RAM) Requirements for High-Level System Testing PROCEEDINGS OF WORLD ACADEMY OF SCIENCE, ENGINEERING AND TECHNOLOGY, VOL 28, 2008, 28 : 68 - +
- [9] Formal Modeling of Airborne Software High-Level Requirements Based on Knowledge Graph KNOWLEDGE SCIENCE, ENGINEERING AND MANAGEMENT, KSEM 2014, 2014, 8793 : 258 - 269
- [10] The GRAVITY instrument software/High-level software OPTICAL AND INFRARED INTERFEROMETRY IV, 2014, 9146