机译:软件:人造智能软件可用于小型机和大型机,美国国防部转换为Ada并推动生产安全系统
机译:强大的大型机安全软件提供经济有效的保护
机译:软件“医生”规定了补救措施:通过专家系统,人工智能可以诊断从大型计算机到石油钻机的各种设备中的疾病。
机译:软件破坏对大型系统的影响以及保护方法
机译:通过统一的软件完整性保护来构建受信任的计算机系统
机译:基于知识的系统。开发和评估专家系统的方法:交互式图形辐射治疗模拟系统的软件设计
机译:1994年蒙特利研讨会的论文集,增加了计算机辅助软件开发的正式方法的实际影响:大型软件系统的演化控制,用于集成软件开发环境的技术