Inst. of Autom. Inf. Syst., Tech. Univ. Munchen, Munich, Germany;
Manufacturing Execution Systems; Model-based software development; code generation; formal specifications; standards;
机译:制造执行系统模型驱动工程的基础:啤酒酿造领域的建模元素
机译:制造执行系统模型驱动工程的基础:啤酒酿造领域的建模元素
机译:建立制造执行系统的正式规范框架
机译:使用正式规范的制造执行系统模型驱动工程
机译:在软件规范中结合半正式和正式的符号:一种建模时间受限系统的方法。
机译:WESSBAS:提取概率性工作负载规范以进行负载测试和性能预测-基于模型的基于会话的应用系统的方法
机译:使用模型驱动工程从正式规范生成Qos监视器