...
机译:基于AoURN的软件产品线建模和分析
School of Electrical Engineering and Computer Science (EECS), University of Ottawa, 800 King Edward, Ottawa, ON KIN 6N5, Canada;
Departamento de Informatica, CITI/FCT, Universidade Nova de Lisboa, 2829-516 Caparica, Portugal;
Departamento de Informatica, CITI/FCT, Universidade Nova de Lisboa, 2829-516 Caparica, Portugal;
School of Electrical Engineering and Computer Science (EECS), University of Ottawa, 800 King Edward, Ottawa, ON KIN 6N5, Canada;
software product lines; goal-based requirements engineering; scenario-based requirements engineering; aspect-oriented modeling; user requirements notation; feature interactions;
机译:DRAMA:用于软件产品线中的领域需求分析和建模架构的框架
机译:基于状态建模的软件产品线安全性分析
机译:基于自动模型的不确定性软件产品线的性能分析
机译:第三届软件产品线工程模型驱动方法国际研讨会和第三届软件产品线可扩展建模技术研讨会的联合研讨会(MAPLE / SCALE 2011)
机译:基于状态建模和成分模型检查的软件产品线安全性分析
机译:基因表达途径用于表达重组抗体的实验和在计算机芯片上分析建模和副产物生产在Ns0细胞系
机译:用统计模型检查对软件产品线概率模型进行定量分析