机译:可扩展基于组件的系统的正式框架
LIRE Laboratory, University of Constantine2-Abdelhamid Mehri, Constantine, Algeria;
LIRE Laboratory, University of Constantine2-Abdelhamid Mehri, Constantine, Algeria;
LIRE Laboratory, University of Constantine2-Abdelhamid Mehri, Constantine, Algeria;
LIRE Laboratory, University of Constantine 2- Abdelhamid Mehri, Constantine, Algeria;
Component-Oriented Programming; Formal Methods; Maude; Meta-Programming; Software Adaptation;
机译:用于设计健壮的软件系统和度量的基于组件的系统中的动力学的形式概念框架
机译:在基于正式组件的系统中模块化行为和体系结构横切关注点-应用于行为交互优先级框架
机译:BIP框架中基于组件的系统的运行时验证,具有经过正式验证的健全且完整的工具
机译:基于组件的嵌入式系统的正式框架
机译:用于开发可信赖系统的基于组件的正式软件工程方法。
机译:基于组件的扩展框架用于NEURON中的大规模并行仿真
机译:基于形式的基于组件的系统中的模块化行为和架构横切问题 - 在行为交互优先框架中的应用
机译:用于分布式系统的形式化建模,分析和开发的可扩展和可扩展的框架。