机译:认证Delta导向的计划
Univ Turin Turin Italy;
Univ Turin Comp Sci Dept Turin Italy;
Univ Turin Comp Sci Dept Turin Italy;
Model-driven development; Delta-oriented programming; Safety properties; Proof-carrying code; Runtime systems;
机译:验证面向增量的程序
机译:面向动态增量编程的核心演算
机译:本科课程中基于能力的教育,由卫生管理学会协会认证
机译:评估不断发展的软件产品线的面向Delta的编程
机译:可选择认证和传统认证的中学数学师生在密苏里州评估计划上的成功
机译:探索与用户相关的驱动程序以便早日接受德国认证的数字压力预防程序
机译:动态的面向delta的编程
机译:计划手册:经认可的认证代理和认证操作的指导和说明