Software Engineering, Swiss Federal Institute of Technology (ETH) CH-8092 Zurich, Switzerland;
design by contract~(TM); library design; reuse; implicit contracts; .NET; metadata; contract wizard; eiffel;
机译:Banach空间中严格伪压缩映射的不动点的内隐和外显方法。
机译:一种新颖的基于节点的顺序隐式枚举方法,用于在多状态流网络中查找所有d-MP
机译:Inclicit and Fractional-Derivative运算符在Integer-Order组件的无限网络中
机译:在.NET组件中找到隐式合同
机译:对个人服务合同教育问题和机会进行定性需求评估,并将调查结果应用于基于网络的个人服务合同的持续学习模块的设计和开发:对国防卫生保健和采购人员进行教育。
机译:模块化度量和模糊度量空间中的隐式压缩映射
机译:在.NET组件中查找隐式合同