软件架构语言论文

OCL-JML转换方法的研究及其在软件开发过程中的应用
论文摘要UML是在多种面向对象建模方法的基础上发展起来的建模语言，被广泛地用于软件系统的分析与设计。但是，UML缺少对下层实现的支持。在编码阶段，尽管很多的UML建模工具支持代...