hypermedia markup languages; formal specification; object-oriented methods; formal verification; software engineering; traceability; UML design specification; source code; XML; software life-cycle; object-oriented design;
机译:通过使用度量和机器学习在面向对象的程序源代码中检测设计模式
机译:通过使用度量和机器学习在面向对象的程序源代码中检测设计模式
机译:天线设计的免费和开源软件代码:初步数值实验
机译:使用XML进行实验以增强面向对象的设计规范和源代码之间的可追溯性
机译:代码生成器,用于集成仓库XML数据源。
机译:组织微阵列数据交换规范:用于验证和增强XML数据的文档类型定义
机译:使用XML增强面向对象的设计规范和源代码之间的可跟踪性的实验