formal specification; multi-agent systems; software agents; Prometheus design tool; Prometheus development methodology; agent systems incremental development; system specification;
机译:支持代理系统增量开发的优先机制
机译:矿化剂对牙釉质侵蚀的预防作用:系统综述矿化剂对牙釉质侵蚀的预防作用:系统综述
机译:通过集成Protégé和Prometheus支持多代理系统生命周期
机译:使用Prometheus进行系统的代理系统增量开发
机译:使用分析增量估算和自适应在线校正全球预测系统(GFS)系统错误的在线校正
机译:分子吸附剂再循环系统和普罗米修斯装置对急性慢性酒精性肝衰竭患者全身血流动力学和血管活性剂的影响
机译:使用普罗米修斯进行代理系统的系统增量开发