理学 软件工程管理 释 automated verification system 自动验证系统 根据某个或者某些规范、属性或原则，证明验证对象（软件、需求、规约和设计等）的正确性或非正确性的自动化系统。
软件工程 释文 automated verification system 自动验证系统
- Jean-Georges Noverre
- Jean Giono
- Jean Gottmann
- Jean Goujon
- Jean-Henri Casimir Fabre
- Jean-Henri D'Anglebert
- Jean-Henri Fabre
- Jean-Jacques Beineix
- Jean-Jacques Bernard
- Jean-Jacques Regis de Cambaceres
- Jean-Jacques Rousseau
- Jean Joseph Marie Amiot
- Jean Le Rond d'Alembert
- Jean le Rond dˊAlembert
- Jean le Rond d’Alembert
- Jean-Louis Barrault
- Jean-Louis Baudry
- Jean-Louis Duport
- Jean-Louis-Ernest Meissonier
- Jean-Louis-Marie Poiseuille
- Jean Louis Rodolphe Agassiz
- Jean-Louis Trintignant
- Jeanloup Sieff
- Jean Louvet
- Jean-Luc Godard