formal specification; specification languages; object-oriented programming; object-oriented methods; programming language semantics; generic OO architecture language; semantics analysis; formal specification; model checking; object-oriented method;
机译:CH2OO CRiegee中间体UV吸收横截面和动力学CH2OO + CH2OO和CH2OO + I作为压力的函数
机译:ICH2OO自由基和Criegee中间体CH2OO的同时红外检测:CH2I + O-2反应中CH2OO产率的压力依赖性
机译:在2OO7年位于斯洛伐克的TIAVNI-CA HILLs保护区选择的地区中的野生蜜蜂和蜜蜂的研究及其在2OO2-2OO7之间完成的民族学研究
机译:用于OO规范的语义分析的通用OO架构语言
机译:用于多媒体显示规范的SQL扩展:其语法,体系结构和语义基于非马尔可夫行为语言
机译:catena-Poly diacrylato-κ4 OO-钕(III)-di-μ-acrylato-κ3 OO:O;κ3 O:OO-三a(III)-di-μ-acrylato-κ3 OO:O;κ3 O:OO三水合物
机译:面向对象的行为语义学-着重于大型OO业务规范的语义学
机译:pOOsL的语义:面向对象的硬件/软件系统分析和设计规范语言