摘要
摘要
【ACC86】 急性腹痛的计算机辅助诊断：一项多中心研究 英国医学杂志 1986 293 800 804 10.1136/bmj.293.6550.800 谷歌学者 
交叉引用 
[克罗地亚74] 医学诊断中的数学方法 安。生物识别。 工程 1974 2 69 89 2007年10月10日/BF02368087 谷歌学者 交叉引用 [DBS77] 生产规则作为基于知识的咨询计划的代表 Artif公司。 智能 1977 8 15 45 10.1016/0004-3702(77)90003-0 344.68027 谷歌学者 数字图书馆 
[域名91] 计算机辅助诊断急性腹痛：全球展望 安·契尔 1991 45 273 277 谷歌学者 [枪91] 急性腹部：计算机辅助诊断的作用 Baillières诊所。 胃肠病学 1991 5 639 665 10.1016/0950-3528(91)90046-4 谷歌学者 [HaB88] 基于解释的泛化=部分求值 Artif公司。 智能 1988 36 401 412 10.1016/0004-3702(88)90088-4 655.68106 谷歌学者 数字图书馆 【KiK91】 决策理论咨询系统中的解释：公理方法 应用Artif。 智能 1991 5 393 409 10.1080/08839519108927935 谷歌学者 数字图书馆 [LaM68] 判别分析中的错误率估计 Technomet公司 1968 10 1 11 10.1080/00401706.1968.10490530 223016 谷歌学者 交叉引用 【MKK86】 基于解释的泛化：一个统一的观点 机器学习 1986 1 47 80 谷歌学者 数字图书馆 [Moo93] Mooney，R.J.：EGGS中的解释概括， 调查基于解释的学习 DeJong，G.F.（编辑），Kluwer学术出版社，第20–59页，1993年。 谷歌学者 [参考第85页] 基于贝叶斯分类的医疗决策支持系统中的答案推理 计算。 生物医学 1985 15 161 167 10.1016/0010-4825(85)90057-5 谷歌学者 交叉引用 [SaB85] 医学专家系统：生物医学工程的视角 批评。 生物识别版本。 工程 1985 12 95 129 谷歌学者 [SpK84] 临床决策支持系统的统计和基于知识的方法 J.罗伊。 统计Soc.A 1984 147 35 77 10.2307/2981737 559.62089 谷歌学者 交叉引用 [Spi88] 斯皮维，J.M.： Z符号：参考手册 普伦蒂斯·霍尔，1988年。 谷歌学者 [标准92] Stamper，R.、Todd，B.S.和Macpherson，P.M.：设计医学专家系统的软件工程方法， 程序。 4 第个 软件工程与知识工程国际会议 ，第341–348页，1992年。 谷歌学者 【STM94】 以妇科为例对医学诊断程序进行基于案例的解释 方法Inf.Med 1994 33 205 213 谷歌学者 交叉引用 [瑞典88] 测量诊断系统的准确性 科学类 1988 240 1285 1293 10.1126/科学3287615 1226.92048 965496 谷歌学者 交叉引用 【TeS81】 医生对基于计算机的临床咨询系统的态度分析 计算。 生物识别。 雷斯 1981 14 542 558 10.1016/0010-4809(81)90012-4 谷歌学者 交叉引用 【ToS93】 Todd，B.S.和Stamper，R.：各种医疗诊断程序的形式化设计和评估，技术专著PRG-109，牛津大学计算实验室，1993年。 谷歌学者 【TSM94】 医学仿真模型的设计与构建 计算。 生物识别方法程序 1993 42 77 91 10.1016/0169-2607(94)90044-2 谷歌学者 交叉引用 【YCP90】 医生，展现自我 英国J.Healthcare Comput 1990 7 16 21 谷歌学者
建议
ASTRAL级内证明义务的形式化框架 ASTRAL是一种用于实时系统的正式规范语言。 它旨在支持正式的软件开发，因此已被正式定义。 本文主要讨论如何形式化证明ASTRAL算法的数学正确性。。。 形式化开发方法和Ina-Jo规范语言的形式化基础 计算机安全和隐私专题 在执行SDC的形式化开发方法时，需要用Ina Jo™规范语言编写设计中系统的规范，并证明该规范满足系统的要求。 本文开发了一种抽象机器。。。
