机译:衡量组件存储库技术滞后的正式框架-及其在npm中的应用
Univ Rey Juan Carlos, GSyC LibreSoft, Madrid, Spain|Univ Mons, Software Engn Lab, Bldg Da Vinci,Ave Maistriau 15, B-7000 Mons, Belgium;
Univ Mons, Software Engn Lab, Bldg Da Vinci,Ave Maistriau 15, B-7000 Mons, Belgium;
Univ Rey Juan Carlos, GSyC LibreSoft, Madrid, Spain;
Univ Mons, Software Engn Lab, Bldg Da Vinci,Ave Maistriau 15, B-7000 Mons, Belgium;
Univ Mons, Software Engn Lab, Bldg Da Vinci,Ave Maistriau 15, B-7000 Mons, Belgium;
Univ Rey Juan Carlos, GSyC LibreSoft, Madrid, Spain;
empirical analysis; semantic versioning; software repository mining; software reuse; technical lag;
机译:在基于正式组件的系统中模块化行为和体系结构横切关注点-应用于行为交互优先级框架
机译:使用基于组件的框架技术的应用程序的正式规范
机译:使用基于组件的框架技术的应用程序的正式规范
机译:评估基于组件的嵌入式系统的正式方法:应用于CSTBox Toolkit的技术选择
机译:在技术评审和审核中实施系统工程措施的框架。
机译:穷举搜索后交互形式测试的正式框架及其在MDR和MDR-PDT中的应用
机译:基于形式的基于组件的系统中的模块化行为和架构横切问题 - 在行为交互优先框架中的应用