机译:Pamela:基于注释的Java建模框架
ENSTA Bretagne Lab-STICC UMR 6285 Brest France;
ENSTA Bretagne Lab-STICC UMR 6285 Brest France;
ENSTA Bretagne Lab-STICC UMR 6285 Brest France;
ENSTA Bretagne Lab-STICC UMR 6285 Brest France;
IMT Atlantique Lab-STICC UMR 6285 Brest France;
IMT Atlantique Lab-STICC UMR 6285 Brest France;
IMT Atlantique Lab-STICC UMR 6285 Brest France;
IMT Atlantique Lab-STICC UMR 6285 Brest France;
Model driven engineering; Object oriented programming; Metaprogramming;
机译:MCAF:开发用于移动云计算的基于注释的卸载框架
机译:通过Jump利用基于注释的建模
机译:从SBML模型集中提取基于注释的特征
机译:SHIP验证程序:Java应用程序的基于注释的内容验证框架
机译:使用Java 5注释的Java建模语言(JML)的规范语言设计
机译:从SBML模型集中提取基于注释的特征
机译:sHIp验证器:用于Java应用程序的基于注释的内容验证框架
机译:Enterprise JavaBeans(Tm)组件集成框架的形式化建模