机译:在基于正式组件的系统中模块化行为和体系结构横切关注点-应用于行为交互优先级框架
Univ Grenoble Alpes, CNRS, INRIA, Grenoble INP,LIG, F-38000 Grenoble, France;
Univ Grenoble Alpes, CNRS, INRIA, Grenoble INP,LIG, F-38000 Grenoble, France;
Amer Univ Beirut, Beirut, Lebanon;
机译:TMiner方面:基于TMiner组件的数据挖掘框架中的横切关注点
机译:工业设备之间交互行为的形式化方法的集成框架
机译:使用OSEK / VDX操作系统的正式行为模式的可配置V&V框架
机译:实时应用领域中嵌入式系统设计行为和体系结构规范的正式规范重用
机译:在软件中模块化横切关注点。
机译:行为涉及伊朗青少年男孩父母和教师的优先事项:报告改良德尔福的结果
机译:基于形式的基于组件的系统中的模块化行为和架构横切问题 - 在行为交互优先框架中的应用
机译:基于agent的信息安全系统模型:协调智能代理行为规范的体系结构和形式框架。