Flexible Business Processes; Controlled Software Experiment; Comparative Study; Declarative Languages;
机译:势在必行与陈述约束规范语言:受控实验
机译:声明式业务流程建模:原理和建模语言
机译:在线性时间逻辑,事件处理语言和属性规范模式中对合规性规范进行建模:关于可理解性的受控实验
机译:宣言与势在必行的业务流程语言一个受控实验
机译:LAMBDA-NU-CS转换的计算:指令式高阶编程语言中控制和状态的句法理论。
机译:非线性频率压缩与助听器常规处理的随机对照试验:3岁儿童的语音和语言
机译:声明式与命令式过程建模语言:可理解性问题