机译:使用操作改进来逐步开发UML规范
Incremental specification; Refinement; UML; B;
机译:使用操作改进来逐步开发UML规范
机译:从Z和UML的规范到精炼再到Java的实现:关系使用的比较研究
机译:从UML类图生成操作规范:一种模型转换方法
机译:用于敏捷开发的增量UML:在源代码中嵌入UML类模型
机译:ENCOMPASS:一种使用可执行的基于逻辑的规范进行增量软件开发的环境。
机译:将气候变化适应力功能整合到现有海洋公园的逐步完善中
机译:MTLA和移动UML中移动系统的规范和完善
机译:在规模上实现增量迭代开发:实践中的质量属性细化和分配。