Component-based Petri nets; Feature modelling and evolution; Software product lines; rewriting logic;
机译:产品线模型驱动的工程方法,用于生成基于功能的移动应用程序
机译:基于STEP的功能识别和按功能设计的集成,用于并行工程环境中的制造应用
机译:简单组合CA动力学的规律性和随机性及其应用
机译:在并发产品线应用程序中验证和动态调整和编写功能
机译:在德克萨斯州南部社区学生的非概率样本中,对德克萨斯州高等教育评估(THEA)和计算机自适应安置评估与支持系统(COMPASS)进行并发验证。
机译:适应并发电机任务时执行控制中的多重术动力学
机译:在并行产品线应用程序中验证和动态调整和组合功能