理学 软件工程管理 释 design verification 设计验证 通过设计评审、模拟仿真和实际验证等一系列控制手段，证实设计输出符合设计输入的预期要求。
软件工程 释文 design verification 设计验证
- Aleksandrov,Pavel Sergeyevich
- Aleksandrov problem
- Aleksandrov space
- Aleksandrov theorem
- Aleksandrov uniqueness theorem
- Aleksandrov-čech cohomology
- Aleksandrov-čech homology
- Aleksandr PavlovichLensky
- Aleksandr Petrovich Dovzhenko
- Aleksandr PetrovichSumarokov
- Aleksandr Pushkin
- Aleksandr Romanovich Luria
- Aleksandr Sergeyevich Griboyedov
- Aleksandr Sergeyevich Pushkin
- Aleksandr Sergeyevich Yakovlev
- Aleksandr Stepanovich Popov
- Aleksandr Terentievich Matveev
- Aleksandr Trifonovich Tvardovsky
- Aleksandr Valentinovich Vampilov
- Aleksandr Vasilyevich Karaganov
- Aleksandr Vasilyevich Sukhovo-Kobylin
- Aleksandr Yakovlevich Golovin
- Aleksandr Yakovlevich Orlov
- Aleksandr Yakovlevich Tairov
- Aleksandr Yevdokimovich Kornejchuk