机译:使用UML和Java将形式化方法集成到软件工程过程中
机译:Reddo-用于嵌入式软件开发的模型驱动工程工具集[扩展的摘要]
机译:将形式化方法集成到医疗软件开发中:ASM方法
机译:桥接方法:使用正式过程方法集成敏捷开发工具和方法的互补步骤
机译:探索在软件应用程序开发方法中集成安全工具的安全过程改进
机译:HOLON / CADSE:集成开放软件标准和正式方法以生成基于准则的决策支持代理。
机译:1994年蒙特利研讨会的论文集,增加了计算机辅助软件开发的正式方法的实际影响:大型软件系统的演化控制,用于集成软件开发环境的技术