Software specification; Tabular expression; Relational methods; Formal semantics;
机译:表格表达式及其关系语义
机译:Gaia活动规则和表达式的形式语义
机译:OCL 1.4 / 5与2.0表达式形式语义和表达
机译:你是什么意思“你是什么意思”?在对话中的Meta表达式的正式表示及其动态语义
机译:表格表达式的形式语义和软件成本降低方法。
机译:如何限制和维护用于逐步进行语义命名不足的词汇:形式语义疗法的项目选择原则
机译:关于表格表达式的形式语义