KAOS相关论文
需求分析技术和面向Agent软件设计技术都是当前计算机科学研究领域中的热门技术.将Agent思想用于软件建摸,将形成一种新的在更高抽......
摘 要：现有的安全关键系统开发的方法一般是在系统开发后期使用测试的方法对系统需求进行验证，这种方法一方面需要耗费大量时间与人......
