机译:将Gaia和AUML应用于柔性制造系统的基于多代理的控制软件的开发:解决方法和实施问题
机译:验证软件需求:需求跟踪方法及其软件工具/ spl minus / RADIX
机译:无线传感器网络中基于物联网软件执行平台的基于动态地址转换的高效远程软件管理方法
机译:系统地址跟踪的软件方法
机译:操作系统范围的活动跟踪,用于生成和分析软件教程
机译:基于知识的系统。开发和评估专家系统的方法:交互式图形辐射治疗模拟系统的软件设计
机译:1994年蒙特利研讨会的论文集,增加了计算机辅助软件开发的正式方法的实际影响:大型软件系统的演化控制,用于集成软件开发环境的技术
机译:系统地址跟踪的软件方法