张茂林 何华灿 刘超 王华 杨峰 晏海华

软件测试 数理逻辑革命 实无穷 自然数集 软件工程 连续统假设 泛逻辑学 图灵机 群体协同工作 柔性逻辑学 希尔伯特问题 软件集成测试 不确定性 新自然法则 无穷编码的不变性 软件质量保证

北京航空航天大学软件工程研究所