Department of Computer Engineering Sharif University of Technology-International Branch Kish Island Iran;
Automatic; Code generation; Database; Formal methods;
机译:将Z规范转换为可执行代码:在数据库域中的应用
机译:将编程语言转换为可执行代码
机译:将代数程序翻译成可执行代码
机译:基于规则的可执行代码的规范转换
机译:从通信协议的自然语言规范到可执行的代数规范的转换方法
机译:生物化学系统规范和分析的可执行生物化学空间
机译:需求分析:概念提取和文本规范转换为可执行模型