software product families; aspect-oriented software development; early aspects; formal methods; formal specification languages;
机译:产品家族规范的面向方面的语言
机译:一系列用于体系结构约束规范的语言
机译:面向方面的视觉本体编辑器(Avoned):视觉语言,面向方面的编辑概念和实现
机译:以产品系列规范为面向方面的语言
机译:构建基于状态的正式规范,以进行复用和产品系列的开发。
机译:系统生物学标记语言(SBML):3级版本2核心发行版2的语言规范
机译:产品家族规范的面向方面的语言
机译:用于统一产品数据交换规范(pDEs)的信息建模语言的规划模型