机译:使用静态分析从SDL手写生成C代码和自动生成C代码之间的比较
Dipartimento di Sistemi e Informatica, Universita di Firenze, Via di S. Marta, 3, Firenze 1-50139, Italy;
automatic code generation; SDL; software metrics; static analysis;
机译:自动将结构化流程图转换为问题分析图以生成代码
机译:自动将结构化流程图转换为问题分析图以生成代码
机译:海绵宝宝:以响应静态代码分析警告自动生成修复建议
机译:具有集成的静态运行时错误检查和代码分析的自动飞行代码生成
机译:验证基于SDL的体系结构设计模型:自动生成测试和新的覆盖标准
机译:使用无监督聚类和有限手动标记的半自动地面真相生成:在手写字符识别中的应用
机译:CHASM-静态分析和自动代码生成,以改善Fortran 90和C的互操作性
机译:鸿沟:用于改进Fortran 90和C ++互操作性的静态分析和自动代码生成